Equivalência Lógica e Negação Lógica

Equivalência Lógica e Negação Lógica

1. Equivalência

   • Condicional Regra 1 "Volta negando"
     • Se beber, não dirija.
       • Dirija então não beba.
     • Condicional Regra 2"Nega a 1ª OU copia 2ª
       • Se beber, não dirija.
         • Não beba ou não dirija.
       • Se não saio, estudo.
         • Saio ou estudo.
   • Disjunção (OU)
     • Se negar uma, então copia a outra.
       • Não brinco ou danço.
         • Brinco, então danço.
         • Não danço, então não brinco.

2. Negação

   • LEIS DE MORGAN
     • Negação do "E" e do "OU"
       • Troca tudo!
         • ~(P ou Q) = ~P e ~Q
           • ~(P e Q) = ~P ou ~Q
   • Condicional
     • Mantém a 1ª E nega a 2ª.
       • Não é verdade que se almoço não janto.
         • Almoço E janto.