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

Questões de Lógica 2

Questões de Lógica 2

Sistemas Dedutivos e Tablôs Analíticos

Adolfo Neto

May 14, 2018
Tweet

More Decks by Adolfo Neto

Other Decks in Education

Transcript

  1. Quando temos um sequente A, (A→B), (C→D) (B D) ⊢

    ∨ podemos dizer que: 1) As fórmulas do lado direito são conclusões e a do lado direito é a premissa. 2) As fórmulas do lado direito são premissas e a do lado direito é a premissa conclusiva. 3) As fórmulas do lado direito são premissas e a do lado direito é a conclusão. 4) Nenhuma das anteriores
  2. Quando temos um sequente A, (A→B), (C→D) (B D) ⊢

    ∨ podemos dizer que: 1) As fórmulas do lado esquerdo são conclusões e a do lado direito é a premissa. 2) As fórmulas do lado esquerdo são premissas e a do lado direito é a premissa conclusiva. 3) As fórmulas do lado esquerdo são premissas e a do lado direito é a conclusão. 4) Nenhuma das anteriores
  3. Para uma fórmula (A→B) temos, na sistema de Tablôs Analíticos

    com Fórmulas Marcadas para LCP: 1) Três fórmulas marcadas: T (A→B), F (A→B) e I (A→B) 2) Duas fórmulas marcadas: T (A→B) e F (A→B) 3) Duas fórmulas marcadas: T (A→B) e T (B→A) 4) Duas fórmulas marcadas: (A→B) e ¬(A→B)
  4. Ao converter o sequente ¬¬A A ⊢ em fórmulas marcadas

    no sistema TAFM o resultado é: 1) T A, F A 2) T ¬¬A, T A 3) T ¬A, F ¬A 4) T ¬¬A, F A
  5. Ao converter o sequente A, (A B) B ∨ ⊢

    em fórmulas marcadas no sistema TAFM o resultado é: 1) T A, T (A B), T B ∨ 2) T A, F (A B), F B ∨ 3) F A, F (A B), F B ∨ 4) T A, T (A B), F B ∨
  6. Ao converter o sequente A, (A→B), (C→D) (B D) ⊢

    ∨ em fórmulas marcadas no sistema TAFM o resultado é: 1) F A, F (A→B), F (C→D), T (B D) ∨ 2) T A, T (A→B), T (C→D), T (B D) ∨ 3) T A, T (A→B), F (C→D), F (B D) ∨ 4) T A, T (A→B), T (C→D), F (B D) ∨
  7. Ao converter o sequente (A→B), (C→D), ¬(C D) (B D)

    ∧ ⊢ ∨ em fórmulas marcadas no sistema TAFM o resultado é: 1) T (A→B), T (C→D), F (C D), F (B D) ∧ ∨ 2) T (A→B), T (C→D), T ¬(C D), F (B D) ∧ ∨ 3) T (A→B), T (C→D), T ¬(C D), T (B D) ∧ ∨ 4) T (A→B), F (C→D), T ¬(C D), F (B D) ∧ ∨
  8. Quais regras devem ser escolhidas para as seguintes fórmulas: (A)

    F (A B) ∧ (B) T ¬¬A (C) F (¬¬C D) ∨ (D) F ¬(D E) ∧ 1) (A) T ∧ (B) T ¬ (C) F (D) F ∨ ∧ 2) (A) F ∧ (B) T ¬¬ (C) F (D) F ∨ ∧ 3) (A) F ∧ (B) T ¬ (C) F (D) F ¬ ∨ 4) (A) F ∧ (B) T ¬ (C) F (D) F ¬ ∨ ∧
  9. Quais regras devem ser escolhidas para as seguintes fórmulas: (A)

    T (A→B) (B) F ¬¬A (C) T (¬¬C D) ∨ (D) F D 1) (A) T → (B) F ¬ (C) T ¬ (D) nenhuma 2) (A) nenhuma (B) F ¬ (C) T (D) nenhuma ∨ 3) (A) T → (B) F ¬¬ (C) T (D) T ¬ ∨ 4) (A) T → (B) F ¬ (C) T (D) nenhuma ∨
  10. Qual deve ser a próxima fórmula a ser escolhida para

    se aplicar uma regra, e qual é esta regra? 1) T (A B) ∨ T ∨ 2) F (C D) ∨ T ∨ 3) T (A B) ∨ F ∨ 4) F (C D) ∨ F ∨
  11. Qual pode ser a próxima fórmula a ser escolhida para

    se aplicar uma regra, e qual é esta regra? 1) T (A B) ∨ T ∨ 2) F (C D) ∨ F ∨ 3) T (A→C) F → 4) T (B→D) T →
  12. 1) T A, T B T A, F B T

    A F A, F B 2) T A, F B T A, F B T A F A, F B 3) T A, T B T A, T B T A F A, F B 4) T A, T B T A, F B F A F A, F B
  13. 1) T (A|B); T B T A; T B F

    !A; F (!(C|B)->B) 2) F !(A|B); T B T A, T B F C; F (!(A|B)->B) 3) F !(A|B); T B T A; T B F (C&(!(A|B)); F B 4) F !(A|B); T B T A; T B F C; F (!(A|B)->B)
  14. Quais ramos são fechados? 1) A) No B) No C)

    No 2) A) No B) Yes C) No 3) A) No B) Yes C) Yes 4) A) Yes B) Yes C) Yes C) B) A)
  15. Quais dos ramos acima são abertos e saturados? 1) Somente

    A 2) Somente B 3) Somente C 4) B e C C) B) A)
  16. Qual é o resultado de expandir todas as lineares do

    ramo acima, incluindo repetidas? 1) T A, F C, T A, F C, F !B, T B 2) F A, T C, T A, F C, T !B, T B 3) F A, F C, F A, T C, F !B, T B 4) F A, F C, T A, F C, F !B, T B
  17. Na demonstração abaixo, podemos dizer que: 1) Todos os ramos

    estão fechados e o sequente é válido. 2) Um ramo está aberto e saturado, e o sequente é válido. 3) Um ramo está aberto. 4) Um ramo está aberto e o sequente não é válido.
  18. Um sistema dedutivo... 1) Nos permite inferir, derivar ou deduzir

    as equivalências lógicas de um conjunto de fórmulas, chamado de teoria. 2)Nos permite inferir, derivar ou deduzir as consequências lógicas de um conjunto de fórmulas, chamado de sequente. 3)Nos permite inferir, derivar ou deduzir as consequências lógicas de um conjunto de teorias. 4)Nos permite inferir, derivar ou deduzir as consequências lógicas de um conjunto de fórmulas, chamado de teoria.
  19. Por quem, ao converter um sequente em fórmulas marcadas no

    sistema TAFM o resultado como vimos nas questões anteriores? 1) Por se tratar de um sistema dedutivo. 2) Por se tratar de um sistema dedutivo implicacional. 3) Por se tratar de um sistema dedutivo refutacional. 4) Por se tratar de um sistema dedutivo afirmacional.
  20. Em um sistema dedutivo refutacional (baseado em refutação): 1) Afirmamos

    a veracidade da conclusão e a falsidade das premissas na esperança de derivar uma contradição. 2) Afirmamos a veracidade das premissas e a falsidade da conclusão na esperança de derivar uma contradição. 3) Afirmamos a veracidade das premissas e a falsidade da conclusão na esperança de derivar uma confirmação. 4) Afirmamos a veracidade das premissas e a veracidade da conclusão na esperança de derivar uma contradição.