Tabela Verdade

Prévia do material em texto

Tabela Verdade
	A
	B
	Ã
	~B
	A^B
	AvB
	A+B
	A->B
	AB
	V
	V
	F
	F
	V
	V
	F
	V
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	F
	V
	V
	F
	F
	V
	V
	V
	F
	F
	F
	V
	V
	F
	F
	F
	V
	V
Silogismo Hipotético
	MISTO
	PURO
	DISJUNTIVO
	Modo Positivo (Modus Ponens)
Se A então B.
Ora A.
Portanto B.
	Se A então B.
Se B então C.
Logo, se A então C.
	Modo Positivo- negativo(P. Tollens) 
Ora A ou B.
Ora, A.
Logo, não B.
	Modo Negativo (Modus Tollens)
Se A então B.
Ora não B.
Portanto não A.
	
	Modo Negativo-Positivo (T. Pones)
Ou A ou B.
Ora, não A.
Logo, não B.
Proposições e conectivos 
Negação da Conjunção - (p^q) = (~p v ~q) 
Negação da Disjunção - (p v q) = (~p^ ~q)
Negação da Condicional - (p->q) = (p^~q)
N. da Bicondicional - (p q) = (p^~q) v (~p^q)
Equivalências
~ (A ^ B) ~A v ~B A -> B ~A v ~B
~ (A v B) ~A ^ ~B A -> B ~B -> Ã
~ ( A -> B) A ^ ~B
~ (A + B) (A B)