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

2 / 20 Lógica Clássica Proposicional

3 / 20 Sintaxe

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

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

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 / 20 Lohic (Elixir) 1) Yes 2) No

8 / 20 Semântica

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

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 / 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 / 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 / 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 / 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 / 20 Linguagens de Programação

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 / 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 / 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 / 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 Elixir Qual será o resultado? 1) true 2) false