Regras/Propriedades Implicação Lógica Regras de Inferência

p ⇒ (p ∨ q) p
Adição q ⇒ (p ∨ q)
Adição
p∨q
(p ∧ q) ⇒ p p∧q
Simplificação (p ∧ q) ⇒ q
Simplificação
p
Silogismo (p ∨ q) ∧ ∼p ⇒ q p
Disjuntivo (p ∨ q) ∧ ∼q ⇒ p Conjunção q
Silogismo p∧q
(p → q) ∧ (q → r) ⇒ (p →
Hipotético r) p→q
Absorção
Modus p → (p ∧ q)
(p → q) ∧ p ⇒ q
Ponens Modus p→q
Modus p
(p → q) ∧ ∼q ⇒ ∼p Ponens
Tollens q
Princípio da Modus p→q
p ∧ ∼p ⇒ q
Inconsistência ∼q
Tollens ∼p
Silogismo p∨q
∼p
Disjuntivo q
Regras/Propriedades Equivalência Lógica
Silogismo p→q
p ∧ p ⇔ p - Idempotente
p∧q⇔q∧p- q→s
Hipotético
Comutativa p→s
Conjunção
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) - Associativa p→q
Dilema
p ∧ T ⇔ p - Identidade (T = Tautologia) r→s
p ∧ C ⇔ C - Identidade (C = p∨r
Construtivo q∨s
Contradição)
p ∨ p ⇔ p - Idempotente p→q
Dilema
p∨q⇔q∨p- r→s
Comutativa ∼q ∨ ∼s
Disjunção
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) - Associativa Destrutivo ∼p ∨ ∼r
p ∨ T ⇔ T - Identidade (T = Tautologia)
p ∨ C ⇔ p - Identidade (C = Contradição)
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
Distributiva
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
p ∧ (p ∨ q) ⇔ p
Absorção
p ∨ (p ∧ q) ⇔ p
∼(p ∧ q) ⇔ ∼p ∨ ∼q
Morgan
∼(p ∨ q) ⇔ ∼p ∧ ∼q
Dupla
∼(∼p) ⇔ p
Negação
Condicional p → q ⇔ ∼p ∨ q