logica tabela verdade

Prévia do material em texto

Conjunção 
	 E 
 Mas 
 Porém
	 ^ 
 & 
 ∙ 
	Só é “V” quando for todas for “V” Exemplo V ^ V = F
	Disjunção inclusiva
	 Ou ... ou 
 Seja ... seja 
	 
 v
	Só é “F” quando todas for “F”
Exemplo F v F = F
	Condicional 
	 
 Se ... então ... 
 
 ...caso...
	 
 
 →
	Só é “F” quando a primeira for “V” e a segunda for “F”
Exemplo V→F = F
	Equivalência
 ou Bicondicional 
	Se e somente se ... somente se ... a menos que ...,
	 
 ≡
 ↔
	Só e “V” quando os valores forem iguais
Exemplo 
V↔V = V
 F↔F = V
	Negação 
	A frase precede pelo “NÃO” 
	 ~ 
 ¬
	Troca o que é “V” por “F” 
E troca o que é “F” por “V” 
	~ (P ^ Q)
	Negação de proposição “^” vira proposição “v” e se nega os enunciados 
	 
 ~P v ~Q
	~ (P v Q)
	Negação de proposição “v” vira proposição “^” e se nega os enunciados
	
 ~P ^ ~Q
	~ (P →Q) 
	Negação de proposição “→” vira “^” repete o primeiro enunciado e nega o segundo 
	 
 P ^ ~Q
	 ~ (P↔Q) = 
 
 ~ [(P→Q) ^ (Q→P)] 
	Negação de proposição “↔” vira duas proposições “→” ligadas por “^” enquanto aos enunciados usar regra anterior 
	 
 P ^ ~Q v Q ^ ~P