Ministério da Educação

Universidade Tecnológica Federal do Paraná

Câmpus Toledo
Licenciatura em Matemática
REGRAS DE IMPLICAÇÃO:

Abreviação Nome Implicação

AD Adição p ⇒ p∨q
q ⇒ p∨q
SIM Simplicaçao p∧q ⇒ p
p∧q ⇒ q
CONJ Conjunção p∧q ⇒ p∧q
MP Modus Ponens (p → q) ∧ p ⇒ q
MT Modus Tollens (p → q) ∧ ∼ q ⇒ ∼ p
SD Silogismo Disjuntivo (p ∨ q)∧ ∼ p ⇒ q
(p ∨ q)∧ ∼ q ⇒ p
SH Silogismo Hipotético (p → q) ∧ (q → r) ⇒ p → r
DC Dilema Construtivo (p → q) ∧ (r → s) ∧ (p ∨ r) ⇒ q ∨ s
DD Dilema Destrutivo (p → q) ∧ (r → s) ∧ (∼ q ∨ ∼ s) ⇒ ∼ p ∨ ∼ r

REGRAS DE EQUIVALÊNCIA:

Abreviação Nome Equivalência

IDEM Idempotente p∧p⇔p

p∨p⇔p
COM Comutativa p∧q ⇔q∧p
p∨q ⇔q∨p
ASS Associativa (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
DIST Distributiva p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
p → (q ∧ r) ⇔ (p → q) ∧ (p → r)
p → (q ∨ r) ⇔ (p → q) ∨ (p → r)
DM De Morgan ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q
COND Condicional p→q ⇔ ∼p∨q
CP Contra-positiva p→q ⇔∼q→∼p
ABS Absorção p → q ⇔ p → (p ∧ q)
RA Redução ao Absurdo p → q ⇔ (p ∧ ∼ q) → c
NCOND Negação da Condicional ∼ (p → q) ⇔ p ∧ ∼ q
BICOND Bicondicional p ↔ q ⇔ (p → q) ∧ (q → p)
NBICOND Negação da Bicondicional ∼ (p ↔ q) ⇔ (p ∧ ∼ q) ∧ (∼ p ∧ q)
DN Dupla Negação ∼∼ p ⇔ p
ID Identidade p∧t⇔p
p∨c⇔p
TAUT Tautologia p∨∼p⇔t
p∨t⇔t
∼c⇔t
CONTR Contradição p∧∼p⇔c
p∧c⇔c
∼t⇔c
EXP Exportação p ∧ q → r ⇔ p → (q → r)