Tabela-verdade

Origem: Wikipdia, a enciclopdia livre.

Ir para: navegao, pesquisa

Tabela-verdade, tabela de verdade ou tabela veritativa um tipo de tabela
matemtica usada em Lgica para determinar se uma frmula vlida ou se um
sequente correto.
As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da
dcada de 1880, e tomaram a forma atual em 1922 atravs dos trabalhos de Emil Post e
Ludwig Wittgenstein. A publicao do Tractatus Logico-Philosophicus, de
Wittgenstein, utilizava as mesmas para classificar funes veritativas em uma srie. A
vasta influncia de seu trabalho levou, ento, difuso do uso de tabelas-verdade.

Conceitos iniciais da lgica

A lgica proposicional. Um dos ramos da lgica o estudo das proposies. Tais proposies
seriam qualquer orao que possa ser classificada como verdadeira(V) ou falsa(F).
Por exemplo:
5 < 8 (V)
4 um nmero primo(F)
Normalmente, as proposies so representadas por letras minsculas (p, q, r, etc).
Exemplo:
p:2 um nmero primo(V)
Como poderamos negar esta afirmao?
~p:2 no um nmero primo(F)
Como podem ver,o smbolo da negao "~".
Observe que, como a afirmao p verdadeira(V), a sua negao ~p automaticamente
falsa(F). Caso, pelo contrrio, a afirmao p fosse falsa(F), a sua negao seria verdadeira.
Existe uma tabela que pode ser montada com todos os resultados possveis de uma sentena.
Essa tabela em que voc analisa os valores lgicos da sentena chamada de tabela-verdade.

p
V
F

~p
F
V

Vamos ver agora como montar proposies usando conectivos.

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Conectivos
Conectivo (E) Conjuno, " ^ ",

L-se: "... e ..."

Uma sentena composta pelo "e" vai ser verdadeira quando ambas as sentenas forem
verdadeiras.

p^q

Como isso poderia cair numa prova?

Se tivssemos que, por exemplo, julgar a frase abaixo como verdadeira ou falsa:
Ex: O elefante voa e 2+2 = 4.
A primeira coisa a ser feita converter a frase acima em letras e smbolos. Em questes mais
fceis como essa pode ser que isso no seja necessrio. No entanto, existem muitas questes
que apresentam frases utilizando os mais diversos conectivos, e cujo objetivo da questo
justamente verificar se o aluno sabe converter a mesma para smbolos da lgica e vice-versa.
Logo, teramos o seguinte:
O elefante voa e 2+2 = 4.

p
(F)

^Q
(V)

Na tabela-verdade vemos que o nico caso no qual o "e" verdadeiro quando ambas as
oraes tambm o so. Como no foi o que aconteceu neste exemplo, temos que a frase
falsa.

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Conectivo (OU), Disjuno, "V", L-se:"...ou...".

L-se:"...ou..." p

pVq

Quando construmos uma sentena com o conectivo "ou" temos a idia de escolha, de opo,
ou seja, se uma das oraes for correta, a sentena inteira tambm o ser, no precisando
nem mesmo que analisemos o valor lgico da outra.
Exemplo: 2 < 7 ou a girafa azul.
(V) V (F)
Reparem que na tabela do "ou", o importante que o candidato perceba que a nica linha no
qual o resultado ser falso a ltima, sendo as demais verdadeiras.
So essas as "manhas" que o candidato deve ter para que ele decore com mais facilidade as
tabelas-verdade.
Embora no seja muito habitual, algumas provas cobram um outro tipo de "ou", que o "ou
exclusivo"...como ? no estou entendendo mais nada....
Pois ...reparem como o ou da tabela acima tambm verdadeiro para o caso em que ambas
as oraes so verdadeiras... como se no exemplo acima eu tambm pudesse falar:
2 < 7 e /ou a girafa azul.
Se as proposies p e q forem representadas como conjuntos por meio de um diagrama, a
disjuno "p ou q" corresponder unio do conjunto p com o conjunto q.

Reparem nas frases abaixo:

Vou ganhar uma bicicleta ou vou ganhar uma bola.

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Ou vou ganhar uma bola ou vou ganhar uma bicicleta.

Na primeira frase, o fato de eu ganhar uma bicicleta no impede que eu tambm ganhe uma
bola. A diferena entre as duas sentenas bem sutil... Na segunda sentena, apenas uma
das duas afirmaes poder ser verdadeira, ou eu ganharei a bola ou eu ganharei a bicicleta,
no podendo ganhar as duas ao mesmo tempo.

Conectivo (OU Exclusivo), Disjuno Exclusiva, "V", L-se:"...ou

exclusivo...".
cuja tabela-verdade ficaria:

p
V
V
F
F

q
V
F
V
F

pVq
F
V
V
F

A conjuno verdadeira se, e somente se, apenas um dos operandos for verdadeiro.

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Condicionais

Condicional (Se... Ento), Implicao, "qp"

(L-se :"Se...ento...")
Este condicional o mais importante de todos. Aqui iremos fazer o contrrio. Iremos partir do
exemplo e, a partir dele, iremos montar a tabela-verdade. Imaginem que eu me dirijo a vocs e
digo:
"Se amanh fizer Sol, ento eu vou praia".
Chegou o dia de amanh, fez Sol e eu estou na praia. A sentena verdadeira. Ou seja,
antecedente V e conseqncia V, a sentena verdadeira.
Imaginem que deu Sol e eu no fui praia. Eu menti. A sentena falsa. Ou seja,
antecedente verdadeiro e conseqncia falsa, a sentena falsa.
Agora, faamos o seguinte: e se choveu e mesmo assim eu fui praia?(!) Eu menti?No!
(????)
Reparem que, fazendo Sol, eu disse que eu obrigatoriamente iria praia.

Sol praia

Ou seja, chover tambm poderia ser um dos motivos que me levariam a ir praia. Ou no.
Ou seja, se choveu e eu no fui praia, tal sentena tambm seria verdadeira, pois eu no
entrei em contradio em relao frase original.
Ou seja, antecedente falso e conseqncia verdadeira, sentena verdadeira.
E antecedente falso e conseqncia falsa, sentena verdadeira.
Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a
proposio condicional "Se p ento q" corresponder incluso do conjunto p no
conjunto q (p est contido em q):
Ufa!

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Ufa! Caramba! Depois dessa voc pode estar achando a lgica muito complicada ou, espero
eu, algo muito mais tranqilo...
De qualquer maneira, existem duas coisas que voc tem realmente que perceber:
1) Viram como nesse caso foi meio complicado fazer a anlise "crua" da sentena?
2) Muitas vezes isso ir acontecer e justamente para isso que temos que entender e decorar
as tabelas-verdade, para evitar que percamos muito tempo analisando as sentenas, o que
pode dar origem a muitos erros ou, na melhor das hipteses, fazer com que percamos muito
tempo numa questo que seria quase imediata com a tabela.
Como ficaria a tabela neste caso? Utilizando o desenvolvimento que fizemos acima, teramos:

pq

Ex: Se 2 x 3 = 7 ento 3 divisor de 6.

F
V
A situao acima corresponde terceira linha da tabela e, sendo assim, a sentena
verdadeira.

Tabela do condicional "se e somente se"

Bicondicional (Se e somente se), Equivalncia, "pq":

L-se: "Se...e somente se..."
Esta ltima tabela-verdade relativamente fcil de decorar, o problema como fazer o aluno
entender a sua montagem. Na realidade, precisamos saber alguma coisa sobre tabelas

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

equivalentes para justificar a forma pela qual esta nossa tabela ser preenchida. Mas ns ainda
no vimos equivalncia! Isso mesmo... irei agora dar a tabela, explicar o que decorar nela e,
mais a frente, quando falarmos sobre equivalncias, voltaremos a ela.

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Repare como a bicondicional (como tambm chamada esta tabela) ser verdadeira
somente quando ambas as afirmaes forem verdadeiras ou quando ambas forem
falsas.
Exemplo:
1) O elefante voa se, e somente se, 2+1=6
Como ambas as afirmaes so falsas, temos que a sentena ser classificada como
verdadeira.
2)O elefante voa se, e somente se, 2+1=3.
Como a primeira afirmao falsa e a segunda verdadeira, temos que a sentena ser
classificada como falsa.
At agora vimos que uma tabela-verdade que contm duas proposies apresentar
exatamente um nmero de quatro linhas! Mas, e se estivermos analisando uma proposio
composta com trs ou mais proposies componentes? Como ficaria a tabela-verdade neste
caso?
Generalizando para qualquer caso, teremos que o nmero de linhas de uma tabela-verdade
ser dado por:
N de proposies

N de Linhas da Tabela-Verdade = 2
Ou seja, se estivermos trabalhando com duas proposies p e q, ento a tabela-verdade
2

ter 4 linhas, j que 2 =4.

E se estivermos trabalhando com uma proposio composta que tenha trs componentes p,q e
r? Quantas linhas a tabela-verdade ir possuir?
3

Ter 8 linhas, uma vez que 2 =8.

Ficou confuso?Vamos l... vamos dar um exemplo em que teremos que montar a tabelaverdade de uma sentena composta por mais que duas proposies
.
Exemplo: Construa a tabela-verdade da seguinte proposio composta:
(p ^ ~q) v (q V ~p)

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Em primeiro lugar, quantas linhas? Vejamos, temos apenas duas proposies: p e q no

importa quantas vezes cada letra foi repetida, temos que contar com quantas letras diferentes
estamos trabalhando... so duas letras.
2

Sendo assim, nossa tabela ter exatamente 2 = 4 linhas. Isso tambm pode ser cobrado como
nmero de valoraes. Isso pode nos confundir muito.
Ao perguntar quantas valoraes possveis existem, muitos responderiam: duas! Verdadeiro ou
falso!
No, no, muito cuidado pessoal...
nmero de valoraes a mesma coisa que nmero de linhas da tabela-verdade!!!
Bom, sabemos que a tabela ter que possuir quatro linhas. Vamos, agora, passo-a-passo,
montar as suas colunas:
Como h dois parnteses, vamos primeiramente montar as colunas correspondentes a eles e
no final, juntar os dois resultados.

a) Negao de q:

p
V
V
F
F

q
V
F
V
F

q
V
F
V
F

~q
F
V
F
V

~q
F
V
F
V

b) Conectivo "e":

p
V
V
F
F

p ^~q
F
V
F
F

c) Negao de p:

p
V
V
F
F

q
V
F
V
F

~q
F
V
F
V

p ^~q
F
V
F
F

~p
F
F
V
V

d) Conectivo "ou":

p
V
V
F
F

q
V
F
V
F

~q
F
V
F
V

p ^~q
F
V
F
F

~p
F
F
V
V

q V ~p
V
F
V
V

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

e) Agora vamos montar a coluna final,que aquela na qual realmente estamos

interessados:

p
V
V
F
F

q
V
F
V
F

~q
F
V
F
V

p ^~q
F
V
F
F

~p
F
F
V
V

q V ~p
V
F
V
V

(p ^ ~q) v (q V ~p)
V
V
V
V

Reparem que sempre iremos comear montando as colunas correspondentes aos parnteses.
Calma! Essas tabelas podem parecer muito complicadas num primeiro momento mas, com um
pouco de treino, o seu preenchimento se torna bem tranqilo e imediato.
Alm disso, nem todas as questes exigem a montagem de tal tabela. Muitas questes, por
exemplo, exigem que o aluno julgue como verdadeira ou falsa a transformao da sentena em
letras e vice-versa.
Exemplo:
Sendo p: Pedro foi praia; q: Marina foi ao cinema; e r: Joo foi pescar, julgue a
afirmativa a seguir:
A proposio "Se Pedro foi praia ou Marina no foi ao cinema, ento Joo no foi
pescar" pode ser corretamente representada por:

(p V ~q ) ~ r (V)
A sentena est correta! Sendo q a proposio "Marina foi ao cinema", "Marina no foi" ser
a sua negao ~q. Idem para Joo, sendo "Joo foi pescar" representado por r, "Joo no foi
pescar ser a sua negao ~r.
Vale lembrar: caso fssemos montar a tabela-verdade desta sentena, quantas linhas ela iria
possuir?
Temos trs proposies:
3
2 = 8 linhas.

p, q e r. Logo, o nmero de linhas da tabela-verdade ser igual a

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Consideraes finais
Ao trabalhar com a lgica proposicional, no vamos estar realmente trabalhando com frases,
mas sim com VARIVEIS PROPOSICIONAIS, que vo representar as proposies simples e
smbolos para representar os conectivos lgicos.

^
v

NO
E
OU
SE, ENTO
SE, E SOMENTE SE
Smbolos auxiliares

( )

Toda varivel proposicional uma sentena, portanto se Q uma sentena ento Q uma
sentena tambm. E se P e Q so sentenas ento: PvQ, P^Q, P
Q e P Q, tambm
sero.
Partindo disso podemos ter expresses mais complexas em lgica proposicional:

(P^Q) v (P^P)
(PvQ) v (P^Q)

A semntica das sentenas dada pela funo v, chamada funo de atribuio, se tivermos 3
variveis proposicionais, existem 2 possibilidades de resposta para v.
P

v=(PvQ)^R

Ordem de precedncia dos conectivos

Para a resoluo da funo da tabela anterior, devemos levar em conta uma ordem de
precedncia dos conectivos:

1.
2. ^
3. v
4.
5.

10

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Propriedades
1. Tautologia
Uma frmula P uma tautologia (ou vlida) se e somente se, para qualquer interpretao
I, I[P] = V.
Por exemplo, uma frmula (P

v P) pode ter duas interpretaes possveis, I ou J.

I[P] = V, neste caso I[P v P] = V

J[P] = F, neste caso J[P v P] = V
Cada linha em uma tabela verdade uma interpretao possvel, se todas as
interpretaes tem o valor V, ento a frmula uma tautologia.

2. Contraditria
Uma frmula P contraditrio (ou insatisfatvel) se e somente se, para qualquer interpretao I,
I[P] = F.
A frmula P^P pode ter duas interpretaes possveis (I ou J) onde:

I[P] = V, neste caso I[P ^ P]=F

J[P] = F, neste caso J[P ^ P]=F
Ao contrrio da tautologia em cada linha da tabela verdade contraditria o valor resultante da
frmula F.

3. Satisfatvel
Uma frmula P satisfatvel se e somente se existir pelo menos uma interpretao I tal que I[P]
= V.
Logo, se uma frmula tem um valor V em pelo menos uma das linhas, essa frmula
satisfatvel.
Relao entre as propriedades:

Se tautologia ento satisfatvel.

Se no tautologia ento pode ser satisfatvel ou pode ser contraditria.
Se satisfatvel ento no contradio e pode ser tautologia.
Se no satisfatvel ento uma contradio e no tautologia.
Se contraditria ento no satisfatvel e no tautologia.
Se no contraditria ento satisfatvel e pode ser tautologia.
Se no tautologia e nem contraditria ento satisfatvel.

Podemos transformar essas proposies em formulas da seguinte maneira,

TAUTOLOGIA

= T, SATISFATVEL = S e CONTRADITRIA = C.
a)
b)
c)
d)
e)
f)
g)

11

T
S
T
(S v C)
S (C v T)
S (C ^ T)
C
(S ^ T)
C
(S v T)
(T ^ C)
S
Lgica Tabela Verdade Reviso 02 JG- 13/09/11

Alguns Exemplos
1. Utilizando o mtodo da Tabela Verdade, classifique se as Frmulas seguir so vlidas,
satisfatveis ou insatisfatveis:
a) (P v ~P) (Q ^ ~Q)

Insatisfatvel (Contradio)
b) P v ~P

Vlida (Tautologia)
c) A (B C)

Satisfatvel

12

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

2. Determine se as frmulas so equivalentes:

a) (~P v ~Q) e (~PvQ)

No Equivalentes, pois, os resultados das linhas 1 e 2 diferem.

b) (~PvQ) e (P ^ Q)

No Equivalentes, pois, os resultados das linhas 3 e 4 diferem.

3. Considere as frmulas H e G, que so formadas utilizando os smbolos proposicionais
P e Q e a tabela associada:

a) Como deve ser a relao entre as colunas de H e G para que H seja equivalente a G ?
Para cada linha ambas tem de possuir o mesmo valor de avaliao, ou seja as colunas
tem de ser idnticas.
b) Como deve ser a relao entre as colunas de H e G para que H implique G ?
Para cada valor T (true) na coluna H, obrigatoriamente dever haver um valor T na coluna
G.

13

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

4. Considere as frmulas A, B , C, D.
Demonstre que {A,B,C,D} insatisfatvel ~(A^B^C^D) tautologia.

{A, B, C, D} insatifatvel Para toda interpretao, (A^B^C^D) = F

Para toda interpretao, ~(A^B^C^D) = T
~(A^B^C^D) uma tautologia.
Sendo assim, iremos construir a tabela verdade para mostrar que ~(A^B^C^D) uma
tautologia.

Conclumos pela anlise da tabela que ~(A^B^C^D), no uma tautologia, por conseqncia
(A^B^C^D) no insatisfatvel.
5. Considere os conjuntos de argumentos indicados a seguir. Determine se os conjuntos
de argumentos so satisfatveis ?
a) Marcos no est feliz ou se Slvia foi ao baile, ento Marcos tambm foi ao baile. Se Marcos
est feliz, ento Slvia no foi ao baile. Se Marcos foi ao baile, ento Slvia tambm foi ao baile.
Formalizando:
M Marcos est feliz,
S Silvia foi ao baile,
B Marcos foi ao Baile.
{M v (S B), ~M ~S, B S}

Como as linhas 1, 5, 6 e 8 so verdadeiras para (M v (S B)) ^ (~M ~S) ^ (B S) o

conjunto de argumentos satisfatvel.

14

Lgica Tabela Verdade Reviso 02 JG- 13/09/11

b)Um casamento feliz se e somente se os noivos tm objetivos comuns. Os noivos tm

objetivos comuns se e somente se os noivos cursam disciplinas em reas comuns. H divorcio
se e somente se o casamento infeliz. H divorcio se e somente se os noivos no cursam
disciplinas em reas comuns.
Formalizando:
F Casamento feliz,
O Noivos tem objetivos comuns,
C Noivos cursam disciplinas em reas comuns,
D H divorcio.
{F O, O C, D ~F, D ~C}

Como as linhas 5 e 12 so verdadeiras para (F O)^ (O C)^(D ~F) ^(D ~C) o conjunto
de argumentos satisfatvel.

Fonte: www.editoraferreira.com.br - Alexandre Azevedo, UFCG - Joseluce Farias Cunha

15

Lgica Tabela Verdade Reviso 02 JG- 13/09/11