Questões de Lógica

Questões não necessariamente conceituais de lógica

Transcript

1. 1 / 20
   Questões de Lógica
   Adolfo Neto (UTFPR)
   

   View Slide

2. 2 / 20
   Lógica Clássica
   Proposicional
   

   View Slide

3. 3 / 20
   Sintaxe
   

   View Slide

4. 4 / 20
   Tamanho
   Qual o tamanho de ((p∧q)→r)?
   1) 3
   2) 9
   3) 5
   4) 6
   

   View Slide

5. 5 / 20
   Tamanho
   Qual o tamanho de ((p∧¬¬q)→r)?
   1) 3
   2) 11
   3) 7
   4) 8
   

   View Slide

6. 6 / 20
   Subfórmulas
   I. ¬(p∧q) é subfórmula de (¬p∧q)
   II. p é subfórmula de ¬¬p
   III. (p∨p) é subfórmula de (p∨p)
   IV. (p∨q) é subfórmula de (q∨p)
   São verdadeiras apenas:
   1) II e III
   2) III e IV
   3) III e I
   4) II
   

   View Slide

7. 7 / 20
   Lohic (Elixir)
   1) Yes
   2) No
   

   View Slide

8. 8 / 20
   Semântica
   

   View Slide

9. 9 / 20
   Tabela-verdade
   Quantas linhas tem a tabela-verdade de
   ((p∧¬p)→q)?
   1) 2
   2) 4
   3) 6
   4) 8
   

   View Slide

10. 10 / 20
    Classifcação
    A fórmula ((p∧q)→r) é?
    1) Satisfazível e falsifcável
    2) Satisfazível e válida
    3) Falsifcável e válida
    4) Falsifcável e insatisfazível
    

    View Slide

11. 11 / 20
    Consequência Lógica
    I. p ⊨ (p∨q)
    II. p ⊨ (p∧q)
    III. (p∨q) ⊨ (p∧q)
    IV. (p∧q) ⊨ (p∨q)
    São verdadeiras apenas:
    1) I e II
    2) II e III
    3) III e IV
    4) I e IV
    

    View Slide

12. 12 / 20
    Consequência Lógica
    I. ¬p ⊨ (p∨q)
    II. p ⊨ (¬p∧q)
    III. (p∨¬q) ⊨ ¬(p∧q)
    IV. (p∧q) ⊨ ¬(¬p∨¬q)
    São verdadeiras apenas:
    1) I
    2) II e III
    3) III e IV
    4) IV
    

    View Slide

13. 13 / 20
    Consequência Lógica
    I. (p∧(q∧r)), (q→r) ⊨ (r→q)
    II. (p∧¬q), (q→r), ¬r ⊨ (¬r→q)
    São verdadeiras apenas:
    1) I
    2) I e II
    3) II
    4) Nenhuma das duas.
    

    View Slide

14. 14 / 20
    Consequência e
    Equivalência Lógica
    I. Quando A ≡ B, então B ≡ A
    II. Quando A ⊨ B, então B ⊨ A
    III. Se A, B ⊨ C, então (A∧B) ⊨ C
    IV. Se ¬A ⊨ B, então ¬B ⊨ A
    São verdadeiras apenas:
    1) I, II e IV
    2) I e III
    3) I, III e IV
    4) I e IV
    

    View Slide

15. 15 / 20
    Linguagens de
    Programação
    

    View Slide

16. 16 / 20
    Elixir
    O resultado da expressão
    p and (q and not r)
    após
    p = true
    q = false
    r = true
    é:
    1) true
    2) false
    

    View Slide

17. 17 / 20
    Elixir
    O resultado da expressão
    p and (q or not r)
    após
    p = true
    q = false
    r = true
    é:
    1) true
    2) false
    

    View Slide

18. 18 / 20
    Elixir
    O resultado da expressão
    p and (q and not not r)
    após
    p = true
    q = false
    r = true
    é:
    1) true
    2) false
    

    View Slide

19. 19 / 20
    Elixir
    O resultado da expressão
    p and (q or not not r)
    após
    p = true
    q = false
    r = true
    é:
    1) true
    2) false
    

    View Slide

20. 20 / 20
    Elixir
    Qual será o resultado?
    1) true
    2) false
    

    View Slide