Buscar

Material de Apoio I Equivalências notáveis

Prévia do material em texto

CURSO DE MATEMÁTICA – FAEL 
 
LÓGICA MATEMÁTICA 
 
 
EQUIVALÊNCIAS NOTÁVEIS 
 
 
 
 
Idempotência (ID) 
ppp 
 
ppp 
 
 
Comutativa (COM) 
pqqp 
 
pqqp 
 
 
Associativa (ASSOC) 
r)qp()rq(p 
 
r)qp()rq(p 
 
 
Distributiva (DIST) 
)rp()qp()rq(p 
 
)rp()qp()rq(p 
 
 
Dupla negação (DN) 
p~~p
 
 
De Morgan (DM) 
q~p~)qp(~ 
 
q~p~)qp(~ 
 
 
Condicional (COND) 
qp~qp 
 
 
Contrapositiva (CP) 
p~q~qp 
 
 
Bicondicional (BC) 
)q~p(~)qp(qp 
 
)pq()qp(qp 
 
 
Exportação e importação (EI) 
)rq(prqp 

Continue navegando