Anda di halaman 1dari 30

FUNDAMENTOS DE LGICA

PARA ADMINISTRAO
Andr Luiz Galdino

SUMRIO
1. Noes de Lgica Matemtica

1.1 Clculo Proposicional


1.2 Tabelas Verdade

4
16

1.3 Contingncia, Tautologia e Contra-Tautologia

24

1.4 Implicao e Equivalncia Tautolgica

27

1. Noes de Lgica Matemtica


Da mesma forma que um feirante pode fazer inmeras e variadas contas
de porcentagem, sem ao menos ter tido contato com a definio formal e
propriedades do que venha ser porcentagem, as vezes usamos um conceito
(palavra) sem ao menos saber de onde, o porque e como ele surgiu. Por
exemplo, quem nunca ouviu uma frase do tipo: Isso no tem lgica!
Ser que, na maioria das vezes, quem pronuncia a referida frase sabe o
que significa lgica num sentindo geral ou especfico da palavra? Ento,
fica a pergunta: o que significa lgica? Se for realizada uma pequena
pesquisa num dicionrio voc poder encontrar algo como:

No sculo IV a.c. Aristteles sistematizou o estudo das condies


em que podemos afirmar que um dado raciocnio correto como Lgica.
Em outras palavras, a gica constituiu-se como uma cincia autnoma
para estudar o pensamento humano e distinguir inferncias e argumentos
certos e errados. No entanto, ao longo da histria muitas so as definies
dadas palavra lgica. Uns definem a lgica como sendo a Cincia das
leis do pensamento. Porm, outros acreditam que uma definio mais
adequada : A lgica uma cincia do raciocnio. De um modo geral,
vamos assumir como definio de lgica a cincia que estuda as formas
ou estruturas do pensamento.
Dentre as muitas contribuies de Aristteles para a criao e o desenvolvimento da lgica, como a conhecemos hoje, citamos a criao de
termos fundamentais para analisar a lgica do discurso. A saber, Vlido,
No Vlido, Contraditrio, Universal, Particular.
Porm, aquela lgica aristotlica possua limitaes as quais impediam o avano da cincia, como por exemplo, baseava-se no uso da linguagem natural e, isto por sua vez, levava a confuses que envolvia o
sentido das palavras. Com o intuito de transpor tais limitaes Gott-

Fundamentos de Lgica para Administrao

Lgica: 1 Modo de raciocinar tal como de fato se exerce: Lgica


natural. 2 Filos Estudo que tem por objeto determinar quais
as operaes que so vlidas e quais as que no o so: [...] L.
matemtica: o mesmo que lgica simblica. L. simblica:
cincia do desenvolvimento e representao de princpios lgicos
mediante smbolos, a de constituir um cnone exato de deduo,
baseado em ideias primitivas, postulados e regras de formao e
transformao; tambm chamada lgica matemtica. (Dicionrio Michaelis)

fried Wilhelm Leibniz (1646 1716) apresentou uma nova lgica baseada no princpio de notao universal e artificial, bem como num clculo
de signos.
E a partir da, com as diversas contribuies de estudiosos tal como
Gottlob Frege,Giuseppe Peano, Bertrand Russel e George Boole a lgica
foi se transformando at se tornar uma lgebra/clculo com uma nova
linguagem simblica, chamada lgica matemtica. Em outras palavras,
a lgica tornou-se o que de fato vemos hoje, um sistema completo de
smbolos e regras de combinao desses smbolos para obter concluses
vlidas.
1.1 Clculo Proposicional
O objetivo da lgica proposicional modelar o raciocnio, tendo como
base frases declarativas, as quais chamamos de proposies. De outra
forma, a lgica proposicional estuda como raciocinar com afirmaes
que podem ser verdadeiras ou falsas. Ou ainda, como construir a partir
de um certo conjunto de hipteses, verdadeiras num determinado contexto, uma demonstrao (prova) de que uma determinada concluso
verdadeira no mesmo contexto. Sendo um dos exemplos mais simples
de lgica formal, a lgica proposicional considera apenas a forma das
proposies e se elas so verdadeiras ou falsas. Porm, contm praticamente todos os conceitos importantes necessrios para o estudo de
outras lgicas complexas.
Neste sentido, um clculo proposicional consiste em: (1) um conjunto
de smbolos primitivos, definidos como frmulas atmicas, proposies
atmicas, ou variveis; (2) um conjunto de operadores, interpretados
como operadores lgicos ou conectivos lgicos.
Sendo assim, iniciamos por apresentar o conceito de proposio, que
usado num sentido tcnico.

Fundamentos de Lgica para Administrao

Definio 1.1. Por uma proposio queremos dizer uma declarao que
verdadeira ou falsa, mas no ambos.

Definio 1.2. O valor verdade, ou valor lgico, de uma proposio o


estado que indica se a proposio verdadeira ou falsa. Sendo assim o
valor verdade ser: Verdadeiro (V), quando se trata de uma proposio
verdadeira ou Falso (F), quando se trata de uma proposio falsa.
De fato, o importante no o valor verdade, V ou F, que as proposies possam assumir num determinado contexto interpretativo, mas a
possibilidade de que em princpio seja possvel atribuir um valor verdade a elas, e que seja possvel raciocinar com tais proposies. Em
outras palavras, no necessrio que saibamos se a proposio verda-

deira ou falsa, a nica exigncia que ela deve ser definitivamente uma
coisa ou outra. Sendo assim, assumimos os seguintes princpios:
Princpio da No-Contradio: Uma proposio no pode ser
verdadeira e falsa ao mesmo tempo.
Princpio do Terceiro Excludo: Uma proposio s pode ter dois
valores verdades (valores lgicos), isto , verdadeira (V) ou falsa (F),
no podendo ter outro valor.
Exemplo 1.3. Cada uma das seguintes frases uma proposio:
1) Goinia uma cidade no estado de Gois.
2) 3 + 4 5.
3) A lua e feita de caramelo.
4) No h vida inteligente em Saturno.
5) Est nevando.
6) -1 raz da equao x2 x + 1 = 0.
7) As pirmides do Egito so feitas de gelo.
8) Tinha um mosquito na Arca de No.
9) Todo gato um felino.
Claramente, (a) e (i) so verdadeiras, enquanto (b), (c), (f) e (g) so
falsas. Podemos ter dvidas quanto ao status (verdadeiro ou falso) de
(d) e (h). A veracidade ou falsidade da sentena (e) depende do local e
das condies meteorolgicas no instante em que essa declarao feita.
Exemplo 1.4. As frases seguintes no so proposies, porque no faz
sentido questionar se alguma delas verdadeira ou falsa.

2) Tudo bem com voc?


3) Que horas so?
4) Bom dia!
fcil notar que as proposies, geralmente, expressam a descrio de
uma realidade e que representa uma informao enunciada por uma orao e, portanto, pode ser expressa de maneiras diferentes. Por exemplo:
Gabriela maior que Letcia.

ou

Letcia menor que Gabriela.

Fundamentos de Lgica para Administrao

1) Vamos a praia!

Exerccios Propostos
Determine se cada uma das seguintes sentenas uma proposio.
1. Em 7 de junho de 1442 nevou em algum lugar no Rio Grande
do Sul.
2. Aristteles tinha ps chatos.
3. O socialismo est errado.
4. O homem mais rico do mundo o Sr. Astrnio, de Terra
Roxa.
5. O filme fogo contra fogo bom.
6. x2 = 1
7. Joana e Pedro so pessoas boas.
8. Eu estou usando facebook.
9. Quanto vale este carro?
10. Saia da grama.
11. (x + y)2 = x2 + y 2 .
12. Use sempre cinto de segurana.
13. Beethoven escreveu algumas das msicas de Chopin.

Fundamentos de Lgica para Administrao

14. No minta!

15. Existe vida inteligente na lua.


16. Ela no ciumenta.
17. Dentre as proposies dadas anteriormente, indique aquelas
que voc acha que devem ser verdadeiras (V) ou falsas (F),
e aquelas cujo status pode ser difcil determinar.

Definio 1.5. As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto.
Exemplo 1.6. Fique atento estrutura das seguintes proposies universais.
1) Todos os homens so mentirosos. Esta proposio universal afirmativa.
2) Toda regra certa. Esta proposio universal afirmativa.
3) Nenhum homem mentiroso. Esta proposio universal negativa.
4) Nenhuma bola quadrada. Esta proposio universal negativa.
Na Definio 1.5 inclumos o caso, universal, em que o sujeito unitrio.
5) A vaca berra.
6) O filho tem me.
7) Aucar doce.
8) Peixe nada.
Definio 1.7. As proposies existenciais so aquelas em que o predicado refere-se apenas a uma parte do conjunto.
Exemplo 1.8. Fique atento estrutura das seguintes proposies existenciais.
1) Alguns homens so mentirosos. Esta proposio existencial afirmativa.

3) Alguns alunos no so estudiosos. Esta proposio existencial negativa.


4) Alguns professores so bons educadores. Esta proposio existencial
negativa.
Uma pergunta natural que surge aqui : Quantos elementos so necessrios para caracterizar alguns? Em matemtica e, consequentemente,
em lgica alguns significa pelo menos um.

Fundamentos de Lgica para Administrao

2) Alguns homens no so mentirosos. Esta proposio existencial


negativa.

Exerccios Propostos
Verifique quais das seguintes so proposies universais, existenciais, afirmativas ou negativas.
1. Todos os homens de bigode so preguiosos.
2. Nenhum pedreiro eletricista.
3. Alguns peixes respiram ar.
4. Algum estudante tem uma camisa azul.
5. Todo ser humano mortal.
6. Todos os quadrados tem quatro lados.
7. Alguns nmeros reais so racionais.
8. Nenhum cachorro mia.
9. Todo nmero entre 0 e 1 menor que 1.
10. Alguns homens so criminosos.
11. Nenhuma mulher ciumenta.
12. Todos os dias so ensolarados.
13. Nenhuma mulher deve apanhar de um homem.

Fundamentos de Lgica para Administrao

14. Nenhum homem deve bater em uma mulher.

15. Todas as crianas esto brincando.


16. Algumas palavras ferem.
17. Todas as provas de matemtica so difceis.
18. Todo advogado cruel.

Como vimos anteriormente, proposio simplesmente um enunciado


verbal que pode ser verdadeiro ou falso. Alm disso, uma proposio
pode ser simples ou composta.
Definio 1.9. Uma proposio simples toda sentena que contm
apenas uma nica frase afirmativa.
Exemplo 1.10. Todas as proposies que vimos at o momento so
simples. Ademais temos:
1) O gato pequeno.
2) O cachorro bravo.
3) x2 = 1.
4) O carro vermelho.
5) Esse exemplo sobre lgica.
6) |y| = 0
Definio 1.11. Uma proposio composta toda sentena formada por
duas ou mais proposies.

Exemplo 1.12. Considerando as proposies simples dadas no Exemplo


1.10, dentre outras, podemos construir as seguintes proposies compostas:
1) O gato pequeno e o cachorro bravo.
2) O gato pequeno ou o cachorro no bravo.
3) Se esse exemplo sobre lgica, ento meu carro vermelho e o gato
no pequeno.
4) Se o gato pequeno, ento o cachorro bravo.
5) O gato pequeno se, e somente se, o cachorro no bravo.

Fundamentos de Lgica para Administrao

A pergunta que surge naturalmente : Tudo bem! Entendi a definio, mas como vou construir proposies compostas? A resposta a
essa pergunta simples. Para construir proposies compostas usamos
as palavras e, ou, Se ..., ento e se, e somente se, chamadas
conectivos.
Sabemos ainda que existem palavras que modificam o sentido de uma
frase. Por exemplo, a palavra no. Quando usamos a palavra no o
resultado a negao da frase original. Por exemplo, se temos a frase:
A terra um planeta. Com a palavra no teremos a negao desta
frase, que , A terra no um planeta.

6) Se x2 = 1 , ento x = 1 ou x = 1.
7) |y| = 0 se, e somente se, y = 0.
8) Se voc est com fome, ento coma um sanduche.
9) Se voc no est entendendo, ento deve se esforar mais.
10) Voc no tem nada a dizer ou est mentindo.
11) Eu queria um bolo e algo menos calrico.
Exemplo 1.13. Observe as seguintes proposies compostas e extraia
delas as proposies simples.
1) A lua quadrada ou a neve branca.
(a) A lua quadrada. (simples)
(b) A neve branca. (simples)
2) Se o inferno ficar frio ento eu me caso com voc.
(a) O inferno fica frio. (simples)
(b) Eu me caso com voc. (simples)
3) Se o meu carro pifar e o meu amigo for a festa, ento eu fico em casa.
(a) O meu carro pifa. (simples)
(b) Meu amigo vai a festa. (simples)
(c) Eu fico em casa. (simples)
4) Aplico a prova se, e somente se, os alunos aparecerem e estivem todos
de branco.
(a) Aplico a prova. (simples)
(b) Os alunos aparecem. (simples)
Fundamentos de Lgica para Administrao

(c) Todos esto de branco. (simples)

10

5) Eu vou casar ou comprar uma bicicleta.


(a) Eu vou casar. (simples)
(b) Eu vou comprar uma bicicleta. (simples)
6) Vou viajar se, e somente se, o meu gato latir.
(a) Vou viajar. (simples)
(b) Meu gato late. (simples)

Exerccios Propostos
Extraia das proposies compostas dadas, as proposies simples.
Na seqncia, com essas mesmas proposies simples, construa
novas proposies compostas, diferentes das j dadas.
1. 3 maior que 1 se, e somente se, 1 for menor que 3.
2. Se Maria for ao cinema, ento Joo fica em casa e Letcia
joga video game.
3. um nmero irracional e a raiz quadrada de 4 2.
4. Trabalho durante o jogo ou vou dormir.
5. O gato pequeno e o cachorro bravo.
6. O gato pequeno ou o cachorro no bravo.
7. Se esse exemplo sobre lgica, ento meu carro vermelho
e o gato no pequeno.
8. Se o gato pequeno, ento o cachorro bravo.
9. O gato pequeno se, e somente se, o cachorro no bravo.
10. Se x2 = 1, ento x = 1 ou x = 1.
11. |y| = 0 se, e somente se, y = 0.
12. No verdade que no esta chovendo.

14. Se eu ganhar na mega-sena ou receber uma herana milionria, ento fico milionrio.
15. Se voc est com fome, ento coma um sanduche.
16. Se voc no est entendendo, ento deve se esforar mais.
17. Voc no tem nada a dizer ou est mentindo.
18. Eu queria um bolo e algo menos calrico.

Fundamentos de Lgica para Administrao

13. Se eu estudar, ento passo em lgica ou ficarei chateado.

11

Na lgica proposicional no trabalhamos realmente com frases, mas


sim com variveis proposicionais que representam as proposies. Sendo
assim, a menos que digamos o contrrio, usaremos letras minsculas, tais
como p, q, r, ... para representar proposies simples, e letras maisculas
P , Q, R, ... para representar proposies compostas. Por exemplo,
p: A lua quadrada. (simples)
Q: Se o meu carro no funcionar, ento vou ficar em casa. (composta)
Da mesma forma que usamos letras maisculas e minsculas para
representar uma proposio, usamos alguns smbolos especiais, chamados
de conectivos lgicos ou operadores lgicos, para representar os conectivos
e, ou, no, Se ..., ento e se, e somente se, os quais so
apresentados na sequncia.
Definio 1.14. O conectivo no representado pelo smbolo .
Sendo assim, a negao de uma proposio p a proposio p (lse: no p).
Exemplo 1.15. Observe que o conectivo lgico age apenas sobre uma
nica proposio.
p: A terra um planeta.
p: A terra no um planeta.
Definio 1.16. O conectivo e representado pelo smbolo . Com
o conectivo lgico obtemos a partir de duas proposies p e q, uma
nova proposio p q (l-se: p e q) chamada conjuno.
Exemplo 1.17. Observe que ao contrrio do conectivo lgico , o conectivo lgico age sobre duas proposies.
p: A terra uma estrela.

Fundamentos de Lgica para Administrao

q: O gato um animal.

12

p q: A terra uma estrela e o gato um animal.


Definio 1.18. O conectivo ou representado pelo smbolo . Com
o conectivo lgico obtemos a partir de duas proposies p e q, uma
nova proposio p q (l-se: p ou q) chamada disjuno.
Exemplo 1.19. Observe que, assim como o conectivo , o conectivo
age sobre duas proposies.
p: A terra uma estrela.

q: O gato um animal.
p q: A terra uma estrela ou o gato um animal.
Definio 1.20. O conectivo se..., ento representado pelo smbolo
, Com o conectivo lgico obtemos a partir de duas proposies p e
q, uma nova proposio p q (l-se: Se p , ento q) chamada implicao
ou condicional.
Exemplo 1.21. Observe que este conectivo tambm age sobre duas
proposies.
p: A terra uma estrela.
q: O gato um animal.
p q: Se a terra uma estrela, ento o gato um animal.
Definio 1.22. O conectivo se, e somente se representado pelo
smbolo . Com o conectivo lgico obtemos a partir de duas proposies p e q, uma nova proposio p q (l-se: p se, e somente se, q)
chamada dupla implicao ou bicondicional.
Exemplo 1.23. Observe que este conectivo tambm age sobre duas
proposies.
p: A terra uma estrela.
q: O gato um animal.
p q: A terra uma estrela se, e somente se, o gato um animal.
Alm das variveis proposicionais e dos conectivos lgicos, usamos um
smbolo auxiliar, a saber os parnteses ( ), para evitar ambiguidades e
delimitar o alcance de cada conectivo. Considere a proposio:

Sem uma regra definida, podemos colocar os parnteses nesta proposio


de duas formas diferentes. Vejamos:
(p q) r

ou

p (q r)

Note que estas duas proposies so distintas e que a colocao de


parnteses, sem uma regra de uso definida, delimita o alcance de cada
conectivo, porm, pode no eliminar a ambiguidade. Sendo assim, para
uma melhor organizao e evitar ambiguidades, os parnteses sero usados seguindo a seguinte ordem dos conectivos:

Fundamentos de Lgica para Administrao

p q r.

13

Temos ainda a possibilidade de haver mais de uma ocorrncia, consecutivas, do mesmo conectivo, e neste caso adotaremos a conveno pela
direita, ou seja, se temos a proposio
pqrth
colocamos primeiro os parnteses no ltimo conectivo a direita, depois
no penltimo e assim por diante, ou seja, a proposio acima deve ser
entendida como
(p (q (r (t h))))
Exemplo 1.24. Se temos a proposio
p q r p q
colocamos os parnteses obedecendo a order dos conectivos apresentada
anteriormente e, dessa forma, obtemos:
(((p q) ( r)) (p ( q)))
Exemplo 1.25. Escreva as seguintes proposies em linguagem simblica, colocando apropriadamente os parnteses.
1) Se o cachorro latir e o gato miar, ento a lua uma estrela.
Sendo p: o cachorro late, q: o gato mia e r: a lua uma estrela, vem
que:
(p q) r
2) O cachorro late e se o gato miar, ento a lua uma estrela.
Sendo p, q e r representando as proposies como no item anterior,
vem que:

Fundamentos de Lgica para Administrao

p (q r)

14

3) Se o cachorro no late ou o gato mia, ento a lua no uma estrela.


Sendo p, q e r como antes, vem que:
(( p) q) ( r)
4) O cachorro late ou o gato mia se, e somente se, a lua uma estrela.
Em linguagem proposicional temos:
(p q) r

Exerccios Propostos

1. Coloque apropriadamente os parnteses nas proposies a


seguir.
(a) p q q r
(b) p q h r s
(c) g f q h r s
(d) p r q r
(e) q p q
(f) p q p
(g) p q r
(h) p q r
2. Escreva em linguagem simblica as seguintes proposies.
(a) 3 maior que 1 se, e somente se, 1 for menor que 3.
(b) Se Maria for ao cinema, ento Joo fica em casa e Letcia joga video game.
(c) um nmero irracional e a raiz quadrada de 4 2.
(d) No verdade que no esta chovendo.

(f) Se eu ganhar na mega-sena ou receber uma herana,


ento fico milionrio.
(g) Se no sei dirigir, ento no tenho CNH.
(h) O gato pequeno e o cachorro bravo.
(i) O gato pequeno ou o cachorro no bravo.
(j) Se o gato pequeno, ento o cachorro bravo.
(k) Se x2 = 1, ento x = 1 ou x = 1.
(l) |y| = 0 se, e somente se, y = 0.

Fundamentos de Lgica para Administrao

(e) Se eu estudar, ento passo em lgica ou ficarei chateado.

15

1.2 Tabelas Verdade


A Tabela Verdade um instrumento eficiente usado em lgica para determinar se uma expresso verdadeira ou falsa, vlida ou invalida.
Definio 1.26. Por subproposies entendemos o conjunto formado
por todas as proposies que ocorrem na proposio P , observando a
precedncia entre os conectivos.
Exemplo 1.27. Determine o conjunto de subproposies da proposio
((p q) r)
Soluo. Na proposio dada temos que o conectivo precede o conectivo , que por sua vez precede o conectivo . Ou seja, para determinar
os possveis valores verdade de ((p q) r) antes precisamos determinar os possveis valores verdade de (p q) r. E para determinar os
possveis valores verdade de (p q) r, primeiro precisamos determinar os possveis valores verdade de p q. No entanto, antes de tudo,
necessrio apresentar os possveis valores verdade de p, q e r. Portanto,
conclumos que a proposio ((p q) r) possui o seguinte conjunto
de subproposies:
{p, q, r, p q, (p q) r, ((p q) r)}.

Fundamentos de Lgica para Administrao

Definio 1.28. Tabela Verdade o conjunto de todas as possibilidades


combinatrias entre valores verdade de diversas variveis lgicas, as quais
se encontram em apenas duas situaes, verdadeiro (V) ou Falso (F), e
um conjunto de conectivos lgicos.

16

A Definio 1.28 ns diz que a Tabela Verdade de uma proposio


P determina quais so os possveis valores verdade da proposio P ,
considerando os possveis valores verdade das subproposies contidas
na proposio P .
Neste sentido, a Tabela Verdade de uma proposio P formada por
linhas e colunas, onde o nmero de linhas determinado pelo nmero
de proposies simples contidas na proposio P , e o nmero de colunas
determinado pelo nmero de subproposies da proposio P . Em
outras palavras, a Tabela Verdade da proposio P consiste:
1. De uma linha em que esto contidas todas as proposies simples
e demais subproposies da proposio P . Por exemplo, suponha
que a proposio P seja ((p q) r). Como vimos no Exemplo
1.27, o conjunto de subproposies desta proposio :
{p, q, r, p q, (p q) r, ((p q) r)}.

Tabela 1.1: Primeira linha da Tabela Verdade.

pq

(p q) r

((pq) r)

Consequentemente, como a proposio dada possui 6 subproposies, a sua Tabela Verdade possui 6 colunas e a primeira linha
desta tabela dada por:
2. De L linhas em que esto todos os possveis valores verdade, V
ou F, que as proposies simples contidas em P possam assumir. O nmero destas linhas L = 2n , sendo n o nmero de
proposies simples contidas em P . No exemplo acima, a frmula
((p q) r) contm 3 proposies simples p, q e r e, portanto,
a Tabela Verdade dessa proposio vai conter L = 23 = 8 linhas,
que representam as possibilidades combinatrias entre os valores
verdade de p, q e r. A saber:
Tabela 1.2: Possibilidades combinatrias entre os valores verdade de p, q e r.

pq

(p q) r

((pq) r)

Observe que na Tabela Verdade 1.2 existem algumas colunas no


preenchidas. Tais colunas sero preenchidas de acordo com a Tabela
Verdade do principal conectivo lgico envolvido em cada uma das co-

Fundamentos de Lgica para Administrao

17

lunas. Por exemplo, na quarta coluna o principal conectivo lgico a


conjuno , cujos valores verdade dependem dos valores verdade das
proposies simples p e q. Agora na quinta coluna, o principal conectivo
lgico a implicao , pois este precedido pelo conectivo lgico .
Note ainda que os possveis valores verdade desta coluna dependem dos
possveis valores verdade da proposio simples r e dos possveis valores
verdade da proposio p q, os quais neste momento j foram determinados na quarta coluna. Finalmente, na ltima coluna o principal
conectivo lgico a negao , pois este precedido pelos conectivos
lgicos e , e os valores verdade desta ltima coluna depende unicamente dos valores verdade de (p q) r, os quais, neste momento, j
foram determinados na quinta coluna.
Na seqncia apresentaremos as definies das Tabelas Verdade de
cada um dos conectivos lgicos apresentados anteriormente. Fique atento
s referidas definies e as estude com calma, pois, elas formam a base
para a construo da Tabela Verdade de qualquer proposio composta.
Definio 1.29. A proposio p a negao da proposio p, de
maneira que se p verdadeira ento p falsa, e vice-versa.
Tabela 1.3: Tabela Verdade da Negao.

Definio 1.30. A conjuno p q ser verdadeira somente quando as


duas proposies p e q forem verdadeiras.

Fundamentos de Lgica para Administrao

Tabela 1.4: Tabela Verdade da Conjuno.

18

pq

Definio 1.31. A disjuno p q ser verdadeira quando pelo menos


uma das proposies p e q for verdadeira, isto , ela s ser falsa quando
as duas proposies p e q forem falsas.
Tabela 1.5: Tabela Verdade da Disjuno.

pq

Definio 1.32. A implicao p q ser falsa somente quando a proposio p for verdadeira e a proposio q for falsa.

pq

Definio 1.33. A dupla implicao p q ser verdadeira se as proposies p e q tiverem o mesmo valor verdade, isto , ou ambas verdadeiras,
ou ambas falsas.
Exemplo 1.34. Determine os possveis valores verdade das proposies
a seguir, ou seja, construa sua Tabela Verdade.
1. (p q) r
Temos que a proposio em questo possui trs proposies simples, p, q e r, e o seu conjunto de subproposies
{p, q, r, p q, (p q) r}

Fundamentos de Lgica para Administrao

Tabela 1.6: Tabela Verdade da Implicao.

19

Tabela 1.7: Tabela Verdade da Dupla Implicao.

pq

Logo, a Tabela Verdade da proposio possui 5 colunas e 23 = 8


linhas, a saber:

Fundamentos de Lgica para Administrao

Tabela 1.8: Tabela Verdade da proposio (p q) r.

20

pq

(p q) r

Observe que na quarta coluna da Tabela 1.8 o principal conectivo


lgico a conjuno , cujos valores verdade dependem dos valores
verdade das proposies simples p e q.
Assim, a quarta coluna da tabela construda com base na Tabela
Verdade da conjuno (Definio 1.30), observando a primeira e
a segunda coluna da mesma tabela. Na quinta coluna o principal
conectivo lgico a implicao , pois este precedido pelo conectivo lgico . Esta quinta coluna da tabela construda com base
na Tabela Verdade da implicao (Definio 1.32), observando a

Tabela 1.9: Tabela Verdade da proposio (p q) r.

pq

(p q) r

quarta e a terceira coluna, pois os possveis valores verdade desta


coluna dependem dos possveis valores verdade da proposio simples r e dos possveis valores verdade da proposio p q.
2. q p
Neste caso a proposio possui duas proposies simples, p e q, e
o seu conjunto de subproposies
{p, q, p, q, q p}
Portanto, a Tabela Verdade da proposio possui 5 colunas e 22 = 4
linhas, a saber:

q p

Fundamentos de Lgica para Administrao

Tabela 1.10: Tabela Verdade da proposio q p.

21

Nesta tabela, o principal conectivo na terceira e na quarta coluna a negao , portanto, so construdas com base na Tabela
Verdade da negao (Definio 1.29), observando a segunda e a
primeira coluna, respectivamente. J na ltima coluna, o principal conectivo , e construda com base na Tabela Verdade
da implicao (Definio 1.32), observando a terceira e a quarta
coluna.
3. p q
A proposio possui o seguinte conjunto de subproposies:
{p, q, p, p q}
Portanto, sua Tabela Verdade dada por:
Tabela 1.11: Tabela Verdade da proposio p q.

pq

Fundamentos de Lgica para Administrao

Note que a terceira e a quarta coluna da tabela so construdas


com base nas Tabela Verdade da negao e disjuno (Definies
1.29 e 1.31), respectivamente.

22

Exerccios Propostos
Quando achar necessrio coloque apropriadamente os parnteses
e construa as Tabelas Verdade das seguintes proposies:
1. (p r) (q r)
2. p (p q)
3. q (p q)
4. (p q) ( p)
5. p (q r)
6. p (p q) q
7. q (p q) p
8. (p q) (q r) (p r)
9. (p q) p q
10. p q p
11. p p q
12. (p (q r)) q p r
13. (p r) (q r) (p q) r

15. p (q r) (p q) (p r)
16. p (q r) (p q) (p r)
17. p (q r) (p q) (p r)
18. p (q r) (p q) (p r)

Fundamentos de Lgica para Administrao

14. (p q) (p q) (q p)

23

1.3 Contingncia, Tautologia e Contra-Tautologia


Definio 1.35. Dizemos que uma proposio composta uma contingncia quando seus possveis valores verdade so verdadeiros e falsos,
independentemente dos valores verdade das proposies simples que a
compe. Ou seja, a ltima coluna da sua Tabela Verdade, a qual determina seus possveis valores verdade, tem os valores verdade V e F.
Exemplo 1.36. As proposies compostas apresentadas no Exemplo
1.34 so todas uma contingncia. De fato, observe que a ltima coluna
de cada uma das respectivas Tabelas Verdade tem os valores verdade V
e F.
Definio 1.37. Dizemos que uma proposio composta uma tautologia quando seus possveis valores verdade so sempre verdadeiros,
independentemente dos valores verdade das proposies simples que a
compe. Em outras palavras, a ltima coluna da sua Tabela Verdade,
s tem o valor verdade V.
Exemplo 1.38. As proposies p p, p (p q) q, q (p
q) p e (p q) p q so tautologias. De fato, basta
observar que a ltima coluna de cada uma das Tabelas Verdade das
proposies, apresentadas a seguir, s tem o valor verdade V.
Tabela 1.12: Tabela Verdade da proposio p p.

p p

Fundamentos de Lgica para Administrao

Tabela 1.13: Tabela Verdade da proposio p (p q) q.

24

pq

p (p q)

p (p q) q

25

pq

q (p q)

(p q)

Fundamentos de Lgica para Administrao

pq

p q

(p q) p q

q(p q) p

Tabela 1.15: Tabela Verdade da proposio (p q) p q.

Tabela 1.14: Tabela Verdade da proposio q (p q) p.

Definio 1.39 (Contra-Tautologia). Dizemos que uma proposio


composta uma contra-tautologia quando seus possveis valores verdade
so sempre falsos, independentemente dos valores verdade das proposies simples que a compe. Em outras palavras, a ltima coluna da sua
Tabela Verdade, s tem o valor verdade F.
Exemplo 1.40. As proposies p p, (p q) p, (p q) (q p)
so contra-tautologia. De fato, observe que a ltima coluna de cada uma
das respectivas Tabelas Verdade, a qual determina seus possveis valores
verdade, s tem o valor verdade F.
Tabela 1.16: Tabela Verdade da proposio p p.

p p

Tabela 1.17: Tabela Verdade da proposio (p q) p.

pq

(p q)

(p q) p

Fundamentos de Lgica para Administrao

Tabela 1.18: Tabela Verdade da proposio (p q) (q p).

26

pq

qp

(pq)

(pq) (qp)

1.4 Implicao e Equivalncia Tautolgica


Definio 1.41. A proposio P implica tautologicamente a proposio
Q, e indicamos por P Q se, e somente se, a frmula P Q uma
tautologia.
Exemplo 1.42.
1. Dadas as proposies P : p (p q) e Q : q,
vimos no Exemplo 1.38 que P Q uma tautologia, ou seja,
P Q. Logo, P implica tautologicamente a proposio Q.
2. No mesmo Exemplo 1.38 temos que q(p q) p uma tautologia, o que nos leva a concluir que P implica tautologicamente
a proposio Q, sendo P : q (p q) e Q : p.
3. Considere as proposies P : (p q) p e Q : q e verifiquemos se
P Q. Para isto basta verificar, com o uso da Tabela Verdade,
se P Q uma tautologia. Veja Tabela 1.20.
Definio 1.43. Duas proposies P e Q so tautologicamente equivalentes, e indicamos por P Q, se, e somente se, a proposio P Q
uma tautologia.
Exemplo 1.44.
1. fcil ver que as implicaes p q e q p
so equivalentes, ou seja, p q q p. Certamente,
construindo a sua Tabela Verdade vemos que a proposio p
q q p uma tautologia, como se v na Tabela 1.21.
2. Verifiquemos que proposio p q equivalente a proposio
p q. Para isto basta verificar que a proposio p q p q
uma tautologia. O que de fato acontece como mostra a Tabela
Verdade a seguir.

pp

pq

p q pq

Fundamentos de Lgica para Administrao

Tabela 1.19: Tabela Verdade da proposio p q p q.

27

28

p
q

pq

pq

(p q) p

(p q) p q

q p

p q q p

Tabela 1.21: Tabela Verdade da proposio p q q p.

Tabela 1.20: Tabela Verdade da proposio (p q) p q.

Fundamentos de Lgica para Administrao

Exerccios Propostos

1. Verifique as seguintes implicaes tautolgicas:


(a) Modus Ponens:

p (p q) q

(b) Modus Tollens:

q (p q) p

(c) Silogismo Hipottico:

(p q) (q r) (p r)

(d) Silogismo Disjuntivo:

(p q) p q

(e) Simplificao:

pq p

(f) Adio:

ppq

(h) Prova por Casos:


(i) Negao:
(j) Contraposio:
(k) Troca de Premissas:

(p (q r)) q p r
(p r) (q r) (p q) r
( p) p
p q q p
p (q r) q (p r)

(l) Idempotente para ::

ppp

(m) Idempotente para :

ppp

(n) Associativa para :

(p q) r p (q r)

(o) Associativa para :

(p q) r p (q r)

(p) Lei de De Morgan:

(p q) p q

(q) Lei de De Morgan:

(p q) p q

(r) Definio Implicao:

p q p q

(s) Comutativa para :

pq qp

(t) Comutativa para :

pq qp

Fundamentos de Lgica para Administrao

(g) Eliminao:

29

2. Verifique as seguintes equivalncias tautolgicas:


(a) Comutativa para :

pq qp

(b) Comutativa para :

pq qp

(c) Associativa para :

(p q) r p (q r)

(d) Associativa para :

(p q) r p (q r)

(e) Idempotente para :

ppp

(f) Idempotente para :

ppp

(g) Absoro:

p (p r) p

(h) Absoro:

p (p r) p

(i) Distributivas para :

p (q r) (p q) (p r)

(j) Distributivas para :

p (q r) (p q) (p r)

(k) Distributivas para : p (q r) (p q) (p r)


(l) Distributivas para : p (q r) (p q) (p r)
(m) Lei de De Morgan:

(p q) p q

(n) Lei de De Morgan:

(p q) p q

(o) Definio Implicao:

p q p q

(p) Definio Implicao:

p q (p q)

(q) Definio Bicondicional:

p q (p q) (q p)

Fundamentos de Lgica para Administrao

(r) Definio Bicondicional: p q ( p q) ( q p)

30

( p) p

(s) Negao:
(t) Contraposio:
(u) Troca de Premissas:

p q q p
p (q r) q (p r)

(v) Exportao () e Importao ():


(p q) r p (q r)