Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • Arvores de Refutação (Tablôs Semânicos) - Exercícios

    Enviado por

    Mauro Braga
    82 visualizações1 página
    (1) A afirmação é correta, pois se A é verdadeiro, então B é verdadeiro e (C ou D) é verdadeiro. Como D é falso, então C deve ser verdadeiro. (2) A afirmação é falsa, pois se A e B forem verdadeiros, então C é verdadeiro, mas C implica que D é falso e B implica que D é verdadeiro, o que é um contradição. (3) A afirmação é correta, pois A implica B e C, e C implica D, que implica A ou B, port

    Descrição original:

    artigo

    Título original

    Arvores de refutação (tablôs semânicos)_exercícios

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PPTX, PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    (1) A afirmação é correta, pois se A é verdadeiro, então B é verdadeiro e (C ou D) é verdadeiro. Como D é falso, então C deve ser verdadeiro. (2) A afirmação é falsa, pois se A e B forem verdadeiros, então C é verdadeiro, mas C implica que D é falso e B implica que D é verdadeiro, o que é um contradição. (3) A afirmação é correta, pois A implica B e C, e C implica D, que implica A ou B, port

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PPTX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    82 visualizações1 página

    Arvores de Refutação (Tablôs Semânicos) - Exercícios

    Enviado por

    Mauro Braga
    (1) A afirmação é correta, pois se A é verdadeiro, então B é verdadeiro e (C ou D) é verdadeiro. Como D é falso, então C deve ser verdadeiro. (2) A afirmação é falsa, pois se A e B forem verdadeiros, então C é verdadeiro, mas C implica que D é falso e B implica que D é verdadeiro, o que é um contradição. (3) A afirmação é correta, pois A implica B e C, e C implica D, que implica A ou B, port

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PPTX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 1

    Exercícios

    Usando o método das árvores de refutação, diga


    se as afirmações abaixo são corretas:

    (1)A  B, B  (C  D), ~D ╞ A  C
    (2)(A  B)  C, B  D, C  ~D ╞ ~ A
    (3)A  (B  C), D  (B  A), C  D╞ A  C
    (4)A  ( C  E), B  D ╞ (A  B)  (C  (D  E))

    Você também pode gostar