Principais* propriedades e regras de inferência da implicação e da equivalência lógica. Principais* propriedades e regras de inferência da implicação e da equivalência lógica.

Adição p => p ˅ q Idempotente p˄pp Adição p => p ˅ q Idempotente p˄pp

q => p ˅ q p˅p p q => p ˅ q p˅p p
Simplificação p ˄ q => p Comutativa p˄qq˄p Simplificação p ˄ q => p Comutativa p˄qq˄p
p ˄ q => q pvqqvp p ˄ q => q pvqqvp
Silogismo p ˅ q ˄ ~p => q Associativa (p ˄ q) ˄ r  p ˄ (q ˄ r) Silogismo p ˅ q ˄ ~p => q Associativa (p ˄ q) ˄ r  p ˄ (q ˄ r)
Disjuntivo p ˅ q ˄ ~q => p (p ˅ q) ˅ r  p ˅ (q ˅ r) Disjuntivo p ˅ q ˄ ~q => p (p ˅ q) ˅ r  p ˅ (q ˅ r)
Modus Ponens (p → q) ˄ p => q Identidade p˅tt Modus Ponens (p → q) ˄ p => q Identidade p˅tt
p˅cp p˅cp
p˄tp p˄tp
p ˄ c c p ˄ c c
Modus Tollens (p → q) ˄ ~q => ~p Distributiva p ˄ (q ˅ r)  (p ˄ q) ˅ (p ˄ r) Modus Tollens (p → q) ˄ ~q => ~p Distributiva p ˄ (q ˅ r)  (p ˄ q) ˅ (p ˄ r)
p ˅ (q ˄ r)  (p ˅ q) ˄ (p ˅ r) p ˅ (q ˄ r)  (p ˅ q) ˄ (p ˅ r)
Silogismo (p → q) ˄ (q → r) => (p → Absorção p ˄ (p ˅ q)  p Silogismo (p → q) ˄ (q → r) => (p → Absorção p ˄ (p ˅ q)  p
Hipotético r) p ˅ (p ˄ q)  p Hipotético r) p ˅ (p ˄ q)  p
DE MORGAN ~(p ˄ q)  ~p ˅ ~q Dupla Negação p  ~~p DE MORGAN ~(p ˄ q)  ~p ˅ ~q Dupla Negação p  ~~p
~(p ˅ q)  ~p ˄ ~q ~(p ˅ q)  ~p ˄ ~q
Condicional p → q  ~p ˅ q Bicondicional p ↔ q  (p → q) ˄ (q → p) Condicional p → q  ~p ˅ q Bicondicional p ↔ q  (p → q) ˄ (q → p)

*faltam as propriedades Reflexiva e Transitiva para as implicações, e Reflexiva, Simétrica e
Transitiva para as equivalências lógicas.
Forma Diz-se que uma proposição está na FNC se e somente se:
Normal 1. Contém, quando muito, os conectivos ~, ˄ e ˅;
Conjuntiva 2. ~ não aparece repetido (como ~~) e não tem alcance sobre ˄ e ˅;
3. ˅ não tem alcance sobre ˄, como exemplo, p ˅ (q ˄ r).
Como resolver
a) Usar as regras da implicação, bi-implicação, dupla negação e DE
MORGAN;
b) Substituir p ˅ (q ˄ r) por (p ˅ q) ˄ (p ˅ r)
*faltam as propriedades Reflexiva e Transitiva para as implicações, e Reflexiva, Simétrica e
Transitiva para as equivalências lógicas.
Forma Diz-se que uma proposição está na FNC se e somente se:
Normal 1. Contém, quando muito, os conectivos ~, ˄ e ˅;
Conjuntiva 2. ~ não aparece repetido (como ~~) e não tem alcance sobre ˄ e ˅;
3. ˅ não tem alcance sobre ˄, como exemplo, p ˅ (q ˄ r).
Como resolver
a) Usar as regras da implicação, bi-implicação, dupla negação e DE
MORGAN;
b) Substituir p ˅ (q ˄ r) por (p ˅ q) ˄ (p ˅ r)

Forma Diz-se que uma proposição está na FND se e somente se: Forma Diz-se que uma proposição está na FND se e somente se:
Normal 1. Contém, quando muito, os conectivos ~, ˄ e ˅; Normal 1. Contém, quando muito, os conectivos ~, ˄ e ˅;
Disjuntiva 2. ~ não aparece repetido (como ~~) e não tem alcance sobre ˄ e ˅; Disjuntiva 2. ~ não aparece repetido (como ~~) e não tem alcance sobre ˄ e ˅;
3. ˄ não tem alcance sobre ˅, como exemplo, 3. ˄ não tem alcance sobre ˅, como exemplo,
p ˄ (q ˅ r). p ˄ (q ˅ r).
Como resolver: Como resolver:
a) Usar as regras da implicação, bi-implicação, dupla negação e DE a) Usar as regras da implicação, bi-implicação, dupla negação e DE
MORGAN; MORGAN;
b) Substituir p ˄ (q ˅ r) por (p ˄ q) ˅ (p ˄ r) b) Substituir p ˄ (q ˅ r) por (p ˄ q) ˅ (p ˄ r)