Equivalências Lógicas30-44

Regra de Clavius

Absorção

Condicional*

Equivalências Fundamentais

Equivalências Notáveis

Associação a Condicional 30-18

Negação de Proposição Composta 30-6

~p->p<=>p

p->p^q<=>p->q

p->q<=>~pvq

Simetria

p^q<=>q^p

Distribuição(^/v)

Idempotência(^/v)

Contraposição(-->)

Associação(^/v)

Bicondicional

Exportação-importação

p^(qvr)<=>(p^q) v (p^r)

p^(q^r)<=>(p^q) ^(p^r)

p<=>p^/vp

(p->q)<=>(~q->~p)

p<->q<=>(p->q)^(q->p)

p<->q<=>(p^q)v(~p^~q)

[(p^q)->r]<=>[p->(q->r)]

Proposições recíprocas

Proposição contrária

Proposição contrapositiva

q->p

~p->~q

~q -> ~p

Dupla Negação 30-6

Teoria da Involução

Negação de Conjunção

Negação de Disjunção

Negação de Disjunção Exclusiva

Negação de Condicional

Negação de Bicondicional

Lei de Morgan

Lei de Morgan

~(p^q) ... ~pv~q

~(pvq)...~p^~q

~(pv_q)...p<->q

~(p->q)...p^~q

~(p<->q)...~[(p->q) ^ (q->p)]...[(p^~q) v (q^~p)]