Bem vou tentar explicar como funciona a tabela verdade e dar algumas dicas de como

montar, primeiramente quero falar que a grande parte do material foi retirado do site http://
www.colegioweb.com.br mais presisamente aqui.

Conectivos Lógicos
Vamos pelos conectivos lógicos.

Embora nois iremos usar o Não(~) que pode ser como ( ‘ ) uma aspa.
O conectivo e ( ^ ) que ( * ) sinal de multiplicação.
O conectivo se... então ( ---> ) ou emplicação.
O conectivo se e somente se ( <-----> ) ou bi emplicação.

material da pagina Conectivos lógicos

símbolos
Vamos identificar os símbolos. vejamos:

Formula 1 ( p * q’ )’ quantos símbolos?

Formula 2 [ p - -> { q * r } ] * s quantos símbolos?

Formula 3 ( p + q) * q’ + r [ q + r( p * r ) ] quantos símbolos?

Formula 4 ( p * s ) + ( q + r )

resposta:

Formula 1 = 2 símbolos = p, q
Formula 2 = 3 símbolos = p, q, r, s
Formula 3 = 3 símbolos = p, q, r
Formula 4 = 4 símbolos = p, q, r, s

Veja que a formula 3 é bem maior que a formula 4, então tamanho não é documento.

Montando Tabela

Já sabemos os conectivos vamos agora montar a nossa tabela.

Sabemos que em uma tabela lógica só pode entrar valores do tipo VERDADEIRO ( V ) ou
FALSO ( F ), pois então para saber quantos valores de V e F minha tabela vai ter precisamos
identificar os símbolos da minha tabela.

Após ter identificado os símbolos da formula iremos calcular quantos valores teremos de V e F
na nossa tabela, a formula é 2 n. vejamos:

(p * q) +p

sabemos que temos 2 símbolos então usando a formula iremos ter 4 elementos em cada
símbolos.
p q

V V

V F
F V

F F

OBS: temos que colocar todas as possibilidades possiveis de V e F.

Se você não sabe fazer isso vou explicar detalhadamente ^^.

veja que na tabela a cima temos dois valores V e dois valores F certo, então pegamos o total
de elementos que tínhamos calculado antes que foi 4 e dividimos por 2, então ( 4 / 2 ) = 2
que é justamente a quantidade de V que nós temos no inicio ta tabela, já que temos 2 V e
são 4 elementos de cada símbolos então colocamos mais 2 F, e em q segue a mesma regra
pegamos o resultados que acabamos de calcular que foi 2 e dividimos por 2 novamente que ( 2
/ 2 ) = 1. então vai ser um V e um F, como ainda falta mais dois elementos colocamos mais um
V e um F.

EX:
2n que é 23 = 8

Resultado da formula

Sempre divide por dois para sabe quantidades de elementos V ou F

Resultado de cada operação realizada

Valor do resultado anterior

tabela com 3 elementos

(8/2)=4 (4/2)=2 (2 / 2 ) = 1

p q r

V V V

V V F

V F V

V F F

F V V

F V F
 F F V

F F F

Tabela com 4 elementos

24 = 16
( 16 / 2 ) = 8 ( 8 / 2) = 4 (4/2)=2 (2/2)=1

p p r s

V V V V

V V V F

V V F V

V V F F

V F V V

V F V F

V F F V

V F F F

F V V V

F V V F

F V F V

F V F F

F F V V

F F V F

F F F V

F F F F

OBS: É com sempre colocar em ordem por questão de organização veja que na tabela de 3
elementos eu coloquei primeiros os 4 V depois os 4 F, para q coloquei os 2 V e depois 2 F siga
sempre essa sequencia ficara melhor pra visualizar e colocar todas as possibilidades possíveis
O conectivo e e a conjunção
O conectivo e e a conjunção de duas proposições p e q é outra proposição que tem como
valor lógico V se p e q forem verdadeiras, e F em outros casos. O símbolo p Λ q (p e q)
representa a conjunção, com a seguinte tabela-verdade:

Exemplo

p = 2 é par
q = o céu é rosa

p Λ q = 2 é par e o céu é rosa

p=9<6
q = 3 é par

p Λ q: 9 < 6 e 3 é par

p = O número 17 é primo
q = Brasília é a capital do Brasil

p Λ q = O número 17 é primo e Brasília é a capital do Brasil

O conectivo não e a negação
O conectivo não e a negação de uma proposição p é outra proposição que tem como valor
lógico V se p for falsa e F se p é verdadeira. O símbolo ~p (não p) representa a negação de p
com a seguinte tabela-verdade:

Exemplo:

p = 7 é ímpar
~p = 7 não é ímpar

q = 24 é múltiplo de 5
~q = 24 não é múltiplo de 5

O conectivo ou e a disjunção
O conectivo ou e a disjunção de duas proposições p e q é outra proposição que tem como
valor lógico V se alguma das proposições for verdadeira e F se as duas forem falsas. O
símbolo p ∨ q (p ou q) representa a disjunção, com a seguinte tabela-verdade:
Exemplo:

p = 2 é par
q = o céu é rosa
p ν q = 2 é par ou o céu é rosa

p=9<6
q = 3 é par
p ν q: = 9 < 6 ou 3 é par

p = O número 17 é primo
q = Brasília é a capital do Brasil
p ν q = O número 17 é primo ou Brasília é a capital do Brasil

p = O número 9 é par
q = O dobro de 50 é 100
p ν q: O número 9 é par ou o dobro de 50 é 100
O conectivo se e somente se a
bicondicional
A bicondicional p se e somente se q é outra proposição que tem como valor lógico V se p e q
forem ambas verdadeiras ou ambas falsas, e F nos outros casos.

O símbolo representa a bicondicional, com a seguinte tabela-verdade:

Exemplo

p = 24 é múltiplo de 3
q = 6 é ímpar
= 24 é múltiplo de 3 se, e somente se, 6 é ímpar.

p = 25 é quadrado perfeito
q=8>3
= 25 é quadrado perfeito se, e somente se, 8 > 3

p = 27 é par
q = 6 é primo
= 27 é par se, e somente se, 6 é primo
O conectivo se... então... e a condicional
A condicional se p então q é outra proposição que tem como valor lógico F se p é verdadeira e
q é falsa. O símbolo p → q representa a condicional, com a seguinte tabela-verdade:

Exemplo:

P: 7 + 2 = 9
Q: 9 – 7 = 2
p → q: Se 7 + 2 = 9 então 9 – 7 = 2

p=7+5<4
q = 2 é um número primo
p → q: Se 7 + 5 < 4 então 2 é um número primo.

p = 24 é múltiplo de 3
q = 3 é par
p → q: Se 24 é múltiplo de 3 então 3 é par.

p = 25 é múltiplo de 2
q = 12 < 3
p → q: Se 25 é múltiplo de 2 então 2 < 3.
Tabela-Verdade
A tabela-verdade é usada para determinar o valor lógico de uma proposição composta, sendo
que os valores das proposições simples já são conhecidos. Pois o valor lógico da proposição
composta depende do valor lógico da proposição simples.

A seguir vamos compreender como se constrói essas tabelas-verdade partindo da árvore das
possibilidades dos valores lógicos das preposições simples, e mais adiante veremos como
determinar o valor lógico de uma proposição composta.

Proposição composta do tipo P(p, q)

Proposição composta do tipo P(p, q, r)

Proposição composta do tipo P(p, q, r, s)

A tabela-verdade possui 24 = 16 linhas e é formada igualmente as anteriores.

Proposição composta do tipo P(p1, p2, p3,..., pn)

A tabela-verdade possui 2n linhas e é formada igualmente as anteriores.

Tabela-verdade de uma proposição

composta
Veja como se procede a construção de uma tabela-verdade da proposição composta P(p, q) =
((p ⋁ q) → (~p)) → (p ⋀ q), onde p e q são duas proposições simples.
Resolução

Uma tabela-verdade de uma proposição do tipo P(p, q) possui 24 = 4 linhas, logo:

Agora veja passo a passo a determinação dos valores lógicos de P.

a) Valores lógicos de p ν q

b) Valores lógicos de ~p

c) Valores lógicos de (p ν q) → (~p)

d) Valores lógicos de p Λ q
e) Valores lógicos de P(p, q) = ((p ν q) → (~p)) → (p Λ q)

Bibliografia:

http://www.colegioweb.com.br/matematica