Questões de Lógica 2

Sistemas Dedutivos e Tablôs Analíticos

Transcript

1. Questões de
   Lógica
   

   View Slide

2. Sistemas Dedutivos
   

   View Slide

3. 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
   

   View Slide

4. 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
   

   View Slide

5. Tablôs Analíticos
   com Fórmulas Marcadas
   

   View Slide

6. Siglas
   LCP = Lógica Clássica
   Proposicional
   TAFM = Tablôs Analíticos com Fórmulas
   Marcadas
   

   View Slide

7. 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)
   

   View Slide

8. 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
   

   View Slide

9. 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
   ∨
   

   View Slide

10. 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)
    ∨
    

    View Slide

11. 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)
    ∧ ∨
    

    View Slide

12. 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 ¬
    ∨ ∧
    

    View Slide

13. 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
    ∨
    

    View Slide

14. 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 ∨
    

    View Slide

15. 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 →
    

    View Slide

16. 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
    

    View Slide

17. 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)
    

    View Slide

18. 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)
    

    View Slide

19. 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)
    

    View Slide

20. 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
    

    View Slide

21. 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.
    

    View Slide

22. 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.
    

    View Slide

23. 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.
    

    View Slide

24. 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.
    

    View Slide