Ficha-Resumo de Lógica

Professor Douglas Maioli

Regras De Equivalência
Equivalência Nome / Abreviatura

𝐴⋀𝐵 ⇔ 𝐵⋀𝐴 Comutatividade / com

𝐴⋁𝐵 ⇔ 𝐵⋁𝐴
(𝐴⋀𝐵)⋀𝐶 ⇔ 𝐴⋀(𝐵⋀𝐶) Associatividade / ass
(𝐴⋁𝐵)⋁𝐶 ⇔ 𝐴⋁(𝐵⋁𝐶)
𝐴⋁(𝐵⋀𝐶) ⇔ (𝐴⋁𝐵)⋀(𝐴⋁𝐶) Distributividade / dist
𝐴⋀(𝐵⋁𝐶) ⇔ (𝐴⋀𝐵)⋁(𝐴⋀𝐶)
𝐴⋀1 ⇔ 𝐴 Elementos neutros
𝐴⋁0 ⇔ 𝐴
𝐴⋀0 ⇔ 0 Outras propriedades do 0 e 1
𝐴⋁1 ⇔ 1
𝐴⋀¬𝐴 ⇔ 0 Complementares
𝐴⋁¬𝐴 ⇔ 1
 Equivalência Nome / Abreviatura

¬(𝐴⋀𝐵) ⇔ ¬𝐴⋁¬𝐵 Lei de Morgan / De Morgan

¬(𝐴⋁𝐵) ⇔ ¬𝐴⋀¬𝐵
(𝐴 ⇒ 𝐵)⋀(𝐵 ⇒ 𝐴) ⇔ (𝐴 ⇔ 𝐵) Definição de Equivalência / que
(𝐴 ⇒ 𝐵) ⇔ ¬𝐴⋁𝐵 Condicional / cond
(𝐴 ⇒ 𝐵) ⇔ (¬𝐵 ⇒ ¬𝐴) Contraposição / cont
¬(¬𝐴) ⇔ 𝐴 Dupla Negação / dn
𝐴 ⇔ 𝐴⋀𝐴 Idempotência / id
𝐴 ⇔ 𝐴⋀𝐴

Regras De Inferência
De Deduzimos Nome / Abreviatura

𝐴
𝐵 Modus ponens / mp
𝐴⇒𝐵
¬𝐵
¬𝐴 Modus Tollens / mt
𝐴⇒𝐵
𝐴
𝐴⋀𝐵 Conjunção / conj
𝐵
𝐴⋀𝐵 𝐴 Simplificação / simp

𝐴⋀𝐵 𝐵 Simplificação / simp

𝐴 𝐴⋁𝐵 Adição / ad
𝐴⇒𝐵
𝐴⇒𝐶 Silogismo Hipotético / sh
𝐵⇒𝐶
¬𝐴
𝐵 Silogismo Disjuntivo / sd
𝐴⋁𝐵
(𝐴⋀𝐵) ⇒ 𝐶 𝐴 ⇒ (𝐵 ⇒C) Exportação / exp