Proposição lógica

1. Conjunção

   Annotations:

   • VERDADEIRO
   1. Toda proposição tem que ser V
2. Disjunção inclusiva

   Annotations:

   • VERDADEIRO
   1. Basta apenas uma verdadeira
3. Disjunção exclusiva

   Annotations:

   • VERDADEIRO
   1. Apenas uma V
4. Condicional

   Annotations:

   • FALSO
   1. De V para F
5. Bi-condicional

   Annotations:

   • VERDADEIRO
   1. Se todas forem V ou todas F

1. P → Q

   Annotations:

   • SE...ENTÃO 
   1. ~Q → ~P

      Annotations:

      • VOLTA NEGANDO 
   2. ~P V Q

      Annotations:

      • NEGA A PRIMEIRA OU COPIA A SEGUNDA 
   3. P suficiente pára Q
   4. Q NECESSÁRIO PARA P
2. P V Q

   Annotations:

   • DISJUNÇÃO 
   1. ~P → Q

      Annotations:

      • SE NEGAR UMA...ENTÃO COPIA A OUTRA 
3. P ↔ Q
   1. P necessário /suficiente para Q

Annotations:

• LEIS DE MORGAN 

1. P ^ Q
   1. ~ P v ~ Q

      Annotations:

      • TROCA TUDO E POR OU 
2. P v Q
   1. ~ P ^ ~Q

      Annotations:

      • TROCA TUDO E POR OU
3. P→ Q
   1. P ^ ~ Q

      Annotations:

      • COPIA A PRIMEIRA E NEGA A SEGUNDA 
4. P ↔ Q
   1. P + Q

      Annotations:

      • P OU OU Q 

1. Tautologia
   1. Qd o resultado é sempre V
2. Contradição
   1. Qd o resultado é sempre F
3. Contigência
   1. Qd o resultado é sempre V e F

1. Negação
   1. Todo
      1. Algum....não
   2. Algum
      1. Pelo menos um...
      2. Existe....
   3. Nenhum
      1. Algum....é...