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