Please enable JavaScript.
Coggle requires JavaScript to display documents.
Equivalências Lógicas30-44 (Equivalências Notáveis (Bicondicional (p<…
Equivalências Lógicas30-44
Regra de Clavius
~p->p<=>p
Absorção
p->p^q<=>p->q
Condicional*
p->q<=>~pvq
Equivalências Fundamentais
Simetria
p^q<=>q^p
Equivalências Notáveis
Distribuição(^/v)
p^(qvr)<=>(p^q) v (p^r)
Idempotência(^/v)
p<=>p^/vp
Contraposição(-->)
(p->q)<=>(~q->~p)
Associação(^/v)
p^(q^r)<=>(p^q) ^(p^r)
Bicondicional
p<->q<=>(p->q)^(q->p)
p<->q<=>(p^q)v(~p^~q)
Exportação-importação
[(p^q)->r]<=>[p->(q->r)]
Associação a Condicional 30-18
Proposições recíprocas
q->p
Proposição contrária
~p->~q
Proposição contrapositiva
~q -> ~p
Negação de Proposição Composta 30-6
Negação de Conjunção
Lei de Morgan
~(p^q) ... ~pv~q
Negação de Disjunção
Lei de Morgan
~(pvq)...~p^~q
Negação de Disjunção Exclusiva
~(pv_q)...p<->q
Negação de Condicional
~(p->q)...p^~q
Negação de Bicondicional
~(p<->q)...~[(p->q) ^ (q->p)]...[(p^~q) v (q^~p)]
Dupla Negação 30-6
Teoria da Involução