Scribd Logo
Importer

Bienvenue sur Scribd !

  • Algebra Proposicional

    Transféré par

    adm_andresouzaramos
    148 vues3 pages
    1) Apresenta as propriedades comutativa e distributiva da lógica proposicional; 2) Explica as Leis de Morgan para negação de conjunção e disjunção; 3) Discute a negação da proposição condicional p → q, equivalente a p ∧ ~q, ou seja, manter a causa e negar o efeito.

    Description originale:

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Formats disponibles

    DOCX, PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document
    1) Apresenta as propriedades comutativa e distributiva da lógica proposicional; 2) Explica as Leis de Morgan para negação de conjunção e disjunção; 3) Discute a negação da proposição condicional p → q, equivalente a p ∧ ~q, ou seja, manter a causa e negar o efeito.

    Droits d'auteur :

    Attribution Non-Commercial (BY-NC)
    Téléchargez comme DOCX, PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    148 vues3 pages

    Algebra Proposicional

    Transféré par

    adm_andresouzaramos
    1) Apresenta as propriedades comutativa e distributiva da lógica proposicional; 2) Explica as Leis de Morgan para negação de conjunção e disjunção; 3) Discute a negação da proposição condicional p → q, equivalente a p ∧ ~q, ou seja, manter a causa e negar o efeito.

    Droits d'auteur :

    Attribution Non-Commercial (BY-NC)
    Téléchargez comme DOCX, PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 3

    ALGEBRA PROPOSICIONAL

    Propriedade Comutativa pqqp pqqp pqqp pqq p Observao: No se aplica a propriedade comutativa condicional: pqqp

    proposio

    Propriedade Distributiva p ( q r) ( p q ) ( p r ) p ( q r ) ( p q) ( p r )

    Leis de Morgan Conjuo Disjuno exclusiva ~(~p ~q) p q ~(~p q ) p ~q ~(p ~q) ~p q ~(~p q) p ~q ~(p ~p) ~p q

    Negao de outras proposies compostas Lembre-se de que s de aplica as Leis de Morgan nas negaes de: Conjuno Disjuno inclusiva

    Negao da proposio condicional Para a negao de uma condio, lana-se mo da seguinte equivalncia notvel: p q ~(p ~q) Algebricamente, vamos negar ambos os membros da equivalncia acima: ~(p q) ~~(p q) No segundo membro da equivalncia, tem-se uma dupla-negao. Lembre-se de que: ~~p p Desse modo: ~( p q ) p ~q Na proposio condicional, a proposio p denominada proposio antecedente, ou causa, e a proposio q denominada proposio consequente. Assim, uma leitura para a negao da proposio condicional seria: Manter a Causa e Negar o Efeito.

    Vous aimerez peut-être aussi