Tabela verdade

LÓGOCA MATEMÁTICA
Conectivos lógico: Para as proposições compostas usa-se os conectivos lógicos abaixo:
^:E
٧ : OU
→ : Se...Então
↔ : Se e somente se
~ : Não ( Negação)

Tabela Verdade
Utilizada para determinar o valor lógico da proposições compostas, conhecidos os valores das proposições simples que as compõem.
Proposição Simples p Ex.: p:2+3=5 ( V )
~p:2+3≠5 ( F ) s: Paulo é mecânico
~s: Não é verdade que paulo é mecânico.
Obs.: Na tabela verdade da negação, será o contrário da outra proposição. Se o valor lógico for V a negação será F, ou vise-versa.
II- Tabela Verdade da Conjunção: ( ^ ) = e p q p^q v v

v

v

f

f

f

v

f

f f f
Obs.: Na tabela verdade da conjunção, a proposição só será verdadeira quando as duas forem verdadeiras.
III – Tabela Verdade da Disjunção ( ٧ ) = ou p q p٧q

v f p. f Proposição Composta
Possíveis variáveis p q

v

v

v

v

f

v

f

v

v

v

f f f
Obs.: Na tabela Verdade da disjunção, a proposição só será falsa quando as 2 proposições forem falsas.
IV – Tabela Verdade da Implicação ( → )
(condicional)
p q p→ q

v

v

v

f

f

v

v

v

f

f

v

f

f

v

v v .q
p.

f v f

.q

f f Obs.: Na tabela verdade da Implicação, quando a 1ª proposição for verdadeira e 2ª for falsa, o valor lógico será falso.
V – Tabela da Verdade da Bi Implicação ( ↔ ) (bi condicional) p q p↔q v I – Tabela Verdade da negação:( ~ ) p ~p v f

f

v

v

v

f

f

f

f

v v f

f f v
Obs.: Na Tabela Verdade da Bi Implicação, o valor lógico só será verdadeiro, quando a 1ª e a 2ª proposição estiverem o mesmo valor lógico.