Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Questões de Lógica

Questões de Lógica

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

4c9eb59511967739f6792e9577d620a8?s=128

Adolfo Neto

April 11, 2018
Tweet

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