Equivalências de proposições

Question	Answer
Equivalência de conjunção (^)	Recíproca p^q= q^p
Equivalência de disjunção (v)	Recíproca p v q= q v p
Equivalência de disjunção EXCLUSIVA(v_)	Recíproca (p v_ q= q v_ p) Contrária (p v_ q= ~p v_ ~q) Contra-positiva (p v_ q= ~q v_ ~p) p v_q = (p ^ ~q) v (~p ^ q)
Equivalência bicondicional (<->)	Recíproca (p <-> q= q <-> p) Contrária (p <-> q= ~p <-> ~q) Contra-positiva (p <-> q= ~q <-> ~p) p <-> q = (p -> q) ^ (q -> p)
Equivalência condicional (->)	Contra-positiva (p->q= ~q -> ~p ) p -> q = ~p v q
LEIS DE MORGAN Negação de conjunção	~(p^q) = ~p v ~q
LEIS DE MORGAN Negação de disjunção	~(p v q)= ~p ^ ~q
Negação da disjunção exclusiva	~ (p v_ q) = ~p v_ q ~ (p v_ q) = p v_ ~q ~ (p v_ q) = p <-> q
Negação do bicondicional	~(p <-> q) = ~p <-> q ~(p <-> q) = p <-> ~q ~(p <-> q) = p v_ q

Resource summary

	Created by Fernanda Guimarães over 6 years ago