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)]