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)
2. 2 / 20 Lógica Clássica Proposicional
3. 3 / 20 Sintaxe
4. 4 / 20 Tamanho Qual o tamanho de ((p∧q)→r)? 1) 3 2) 9 3) 5 4) 6
5. 5 / 20 Tamanho Qual o tamanho de ((p∧¬¬q)→r)? 1) 3 2) 11 3) 7 4) 8
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
7. 7 / 20 Lohic (Elixir) 1) Yes 2) No
8. 8 / 20 Semântica
9. 9 / 20 Tabela-verdade Quantas linhas tem a tabela-verdade de ((p∧¬p)→q)? 1) 2 2) 4 3) 6 4) 8
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
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
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
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.
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
15. 15 / 20 Linguagens de Programação
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
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
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
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
20. 20 / 20 Elixir Qual será o resultado? 1) true 2) false