Apostila IL 2013 1

Material Didtico para a Disciplina de
Introduo Lgica
Curso de Cincia da Computao

Profa. Dra. Thereza Patrcia Pereira Padilha
Palmas TO
ltima Reviso: Junho/2013
Sumrio
Aula 1 Raciocnio Lgico-Quantitativo...........................................................................3
Aula 2 Argumentos.......................................................................................................20
Aula 3 Lgica Proposicional.........................................................................................38
Aula 4 Tabela-verdade..................................................................................................57
Aula 5 Implicao e Equivalncia Lgica.....................................................................65
Aula 6 Prova do Condicional........................................................................................83
Aula 7 Reduo ao Absurdo.........................................................................................85
Aula 8 - rvore de Refutao para Lgica Proposicional...............................................86
Aula 9 Lgica de Predicados........................................................................................93
Aula 10 Regras para Lgica de Predicados...............................................................111
Aula 11 rvore de Refutao para Lgica de Predicados..........................................116
Aula 12 Programao em Lgica - Prolog.................................................................120
Apostila de Introduo Lgica Pgina 2
Aula 1 Raciocnio Lgico-Quantitativo

Introduo
Nesta primeira aula da nossa disciplina, iremos abordar os conceitos da teoria dos
conjuntos. Para isso, apresentaremos a forma de notao (representao) dos conjuntos,
elementos e operaes. Sero descritas tambm algumas leis j definidas na literatura
envolvendo as relaes entre conjuntos. Por fim, apresentaremos os diagramas de Venn como
um mecanismo de representao dos conjuntos, elementos e seus relacionamentos, e ainda
frmulas para o clculo de probabilidades, arranjos, permutaes e combinaes.
1.1 Teoria dos Conjuntos
1.1.1 Definio e notao
O estudo da teoria dos conjuntos importante para vrias subreas da rea da
informtica e computao, tais como: lgica, banco de dados, inteligncia artificial, entre outros.
Segundo Mortari (2001), os conjuntos podem ser definidos como colees no-ordenadas
(classes ou agregado) de objetos.
A notao usada para representar um conjunto por meio de letras maisculas. Os
elementos, por sua vez, so representados por letras minsculas, quando se trata de letras.
Os elementos do conjunto so separados por vrgula (mais comum) ou por ponto-e-vrgula.
Assim, temos os seguintes exemplos:
A 2,4,6,8,10,12,14,16
B a, b, c, d , e
C 1,2,3,4,5,...,99
D nmeros inteiros mpares, de 1 inclusive a 50 inclusive
E x | x 20
F nmeros inteiros pares
Nestes exemplos, temos a apresentao do conjunto
contendo uma coleo de
nmeros, iniciando com dois e terminando em 16, com um incremento de dois. No conjunto
C
temos um conjunto de vogais do nosso alfabeto. No conjunto
, temos a especificao
limitada dos nmeros pertencentes ao conjunto embora no seja possvel a sua visualizao.
J no conjunto
, embora temos uma descrio possvel identificar quais valores pertencem
a este conjunto. Assim, podemos dizer que
A B C
,
so conjuntos limitados, ou seja,
possui um conjunto especfico de elementos.

Outro aspecto que podemos analisar nos conjuntos limitados a sua cardinalidade,
isto , a quantidade de elementos que um conjunto finito possui. A cardinalidade denotada
n( conjunto )
por
. Considerando estes conjuntos, teramos:
n( A) 8
n( B ) 5
n(C ) 99
n( D ) 25
PS: A ordem em que os elementos so apresentados num conjunto irrelevante. Por
X a, b, c {c, b, a}
exemplo,
O conjunto
(Roisenberg, 2008).
, por sua vez, constitudo por todos os elementos que so maiores ou
x
igual a 20. Neste caso, usamos a varivel
para designar a existncia de um elemento sendo
x
que este precisa ser maior ou igual a 20. Neste caso, l-se , tal que
x
maior ou igual a 20.
No conjunto
composto por todos os nmeros inteiros pares. De forma similar ao conjunto
, a partir da descrio possvel identificar quais os elementos que pertencem a este
conjunto. No caso dos conjuntos
, especificamente, podemos ainda denomin-los de
ilimitados, ou seja, no existe um limite definido.

1.1.2 Conjuntos especiais
Dentre os conjuntos existentes, podemos destacar a existncia de trs conjuntos
especiais, que so: vazio, unitrio e universo (Iezzi e Murakami, 1993). Vamos analisar e
exemplificar agora cada um desses conjuntos.
O conjunto vazio, como seu prprio nome indica, vazio, isto , no possui elementos.
Assim, podemos representar um conjunto vazio da seguinte maneira:
ou
importante ressaltar que o conjunto vazio faz parte de todo conjunto, ou seja, um
subconjunto de todos os outros conjuntos.
No confundam. A representao do conjunto vazio realizada somente por
ou
{}
no por
(Mortari, 2001).
Um conjunto chamado unitrio quando este possui somente um elemento. Alguns

exemplos de conjunto unitrio so:
Z a
V Maria
E um conjunto universo refere-se a reunio de todos os elementos dos conjuntos em
U
questo. A notao utilizada para denotar o conjunto universo
A repetio dos elementos num conjunto tambm irrelevante. Por exemplo,
X a, a, b, c, c, b, b {a, b, c}
(Roisenberg, 2008).
1.1.3 Relaes entre conjuntos
Pertinncia uma relao que podemos analisar se elementos pertencem, ou seja,
fazem parte de um determinado conjunto. Para isso, utilizamos o smbolo
, para representar
tal fato. Assim, podemos exemplificar a relao de pertinncia da seguinte forma, observando
os conjuntos definidos na seo 1.1:
2 A
d B
(l-se: 2 pertence ao conjunto A)

(l-se: d pertence ao conjunto B)
52 C
(l-se: 52 pertence ao conjunto C)
500 E
(l-se: 500 pertence ao conjunto E)
Quando no se tem esta relao de pertinncia entre elemento e conjunto, dizemos que
tal elemento no pertence ao conjunto. Neste caso, usamos o smbolo
para mostrar esta
informao. Desta maneira, alguns exemplos desta relao so:
3 A
tB
(l-se: 3 no pertence ao conjunto A)

(l-se: t no pertence ao conjunto B)
57 D
1 F
(l-se: 57 no pertence ao conjunto D)
(l-se: 1 no pertence ao conjunto F)
Alm de verificar se um elemento pertence ou no a um conjunto, podemos ainda

investigar sobre a ocorrncia de subconjuntos. Dizemos que um conjunto subconjunto do
outro quando todos os elementos do primeiro conjunto esto presentes tambm no segundo.
Desta maneira, dizemos que o primeiro conjunto est contido no segundo. Analisando os
conjuntos C e D definidos anteriormente, podemos afirmar que o conjunto D est contido em C.

De modo notacional, podemos expressar esta relao da seguinte forma:
DC
Outra forma de expressar este fato por meio da relao contm. Assim, podemos
C
dizer que
contm
, que pode ser expresso da seguinte forma:
CD
A partir desses relacionamentos entre conjuntos, possvel identificar algumas
propriedades genricas, que so (Mortari, 2001):
A A
se
se
A B
A B
e
e
BC
B A
ento
ento
AC
AB
O conjunto de todos os subconjuntos de um conjunto dado
potncia (ou conjunto das partes) de
chamado de conjunto
P( A)
, denotado por
(WIKIPEDIA, 2008). Podemos
ainda definir assim:
P( A) x | x A
O nmero total de subconjuntos possveis num conjunto qualquer encontrado pela
frmula
2n
, em que
refere-se quantidade de elementos do conjunto. Considerando
S 1,3,5
, ento teremos
23 8
. Assim, teremos oito subconjuntos. So eles:
3
5
1,3
1,5
3,5
1,3,5
P ( S ) , 1 , 3 , 5 , 1,3 , 1,5 , 3,5 , 1,3,5
Ou seja,
Alm dessas operaes, podemos tambm estabelecer a igualdade entre dois

conjuntos. Neste caso, dizemos que os conjuntos so iguais quando possuem exatamente os
mesmos elementos. Considerando o conjunto S apresentado anteriormente e o conjunto
C 1,5,3
, ento podemos representar esta igualdade da seguinte forma:
S C
1.1.4 Operaes sobre conjuntos

Como voc j estudou a usar a notao dos elementos e conjuntos, vamos agora
aprender a realizar operaes entre conjuntos, visando observar quais elementos fazem
parte de uma operao e, consequentemente, identificando um novo conjunto. Assim, vamos
agora aprender o comportamento das operaes de unio, interseo, complemento e
diferena
perante
aos
conjuntos
U 1,2,3,4,5,6,7,8,9,10 A 2,4,6
,
analisados.
Para
isso,
considere
os
conjuntos
B 1,2,3,4,5
e
1.1.4.1 Unio
A operao de unio entre conjuntos formada pela reunio de todos os elementos
dos conjuntos envolvidos. Para representar a operao de unio usamos o smbolo
Por exemplo, considerando os conjuntos

denotar a unio destes conjuntos por
A B
definidos anteriormente, podemos
. Neste caso, temos:
A B x
{
x A
xB
ou
No modo mais detalhado, a unio dos conjuntos
pode ser visualizada como
segue:
A B {1,2,3,4,5,6}
1.1.4.2 Interseo
A operao de interseo entre conjuntos formada pela reunio dos elementos que
pertencem aos conjuntos envolvidos simultaneamente. Ou seja, estes elementos precisam
pertencer aos conjuntos ao mesmo tempo. Para representar a operao de interseo usamos
o smbolo
Por exemplo, considerando os conjuntos
A B
denotar a interseo destes conjuntos por
A B x
{
definidos anteriormente, podemos
. Neste caso, temos:
x A
xB
Ento, observando os elementos dos conjuntos, teremos:
A B {2,4}
1.1.4.3 Complemento
A operao de complemento de um conjunto qualquer formada pelos elementos que
fazem parte do conjunto universo, mas no deste conjunto em questo. Assim, considerando o
conjunto A, o complemento de A, representado por
x
={
Ou ainda definido com a expresso
x U
, pode ser definido da seguinte forma:
A U A
x A
A 1,3,5,7,8,9,10
. Assim, teremos
1.1.4.4 Diferena
Dados os conjuntos
por
A B
, a operao de diferena entre conjuntos representada
, de forma semelhante matemtica bsica. Neste caso, a diferena entre estes
conjuntos formada por elementos pertencentes
e no a
. Sendo assim, poderamos
expressar esta operao da seguinte maneira:
A B {6}
1.1.5 Propriedades
Com relao s operaes entre conjuntos, existem vrias propriedades j
predefinidas na literatura. As principais propriedades podem ser conferidas na tabela 1, na qual
apresenta tambm um exemplo do seu comportamento usando os conjuntos
A B
,
C
e
Tabela 1: Propriedades de Conjuntos

Nome da Propriedade
Idempotncia
Exemplo
A A A
A A A
Identidade
A A
A U A
Associativa
A ( B C ) ( A B) C
A ( B C ) ( A B) C
Comutativa
A B B A
A B B A
Distributiva
A ( B C ) ( A B) ( A C )
A ( B C ) ( A B) ( A C )
De Morgan
A B A B
A B A B
Provando a veracidade da propriedade de De Morgan, por exemplo, observe o seguinte

raciocnio para a primeira frmula:
1.
2.
3.
4.
5.
6.
x A B
x A B
x A
x A
ou
e
xB
xB
x A B
A B A B
Logo,
De forma anloga ocorre com a segunda frmula, conforme pode ser visto a seguir:
1.
2.
3.
4.
5.
6.
x A B
x A B
x A
x A
xB
ou
xB
x A B
A B A B
Logo,
A prova das outras propriedades pode ser realizada de modo similar ao apresentado
com as frmulas da propriedade de De Morgan.
1.1.6 Diagramas de Venn
Com intuito de representar graficamente os elementos pertencentes aos conjuntos, foi
criado um diagrama envolvendo os conjuntos existentes. Este diagrama foi criado pelo
matemtico John Venn e mais conhecido na literatura por diagrama de Venn.
Portanto, os diagramas de Vennn so representaes grficas de conjuntos num plano
(TUTORVISTA, 2008). O conjunto universal representado por um retngulo e os outros
conjuntos normalmente so representados por crculos, elipses ou quadrados localizados

dentro do retngulo. Ento um possvel diagrama Venn pode ser visualizado na figura 1.
P
Q
Figura 1: Diagrama de Venn Exemplo 1.
Neste caso, temos o conjunto universo representado pelo retngulo e os conjuntos
Q
, representados por dois crculos. Neste exemplo, o conjunto
Q
conjunto
se encontra dentro do conjunto
Q
significa que
est contido em
mais abrangente e o
QP
. Assim, podemos concluir que
Q
, ou seja,
um subconjunto de
, que
Outro exemplo do diagrama de Venn pode ser visualizado na figura 2.
Neste exemplo, temos tambm os conjuntos
podem pertencer a
Q
e no a
Q
e
. Observe que alguns elementos
Q
e no a
. De forma similar, podem existir elementos que pertenam a
. Porm, elementos comuns a este dois conjuntos podem existir e, neste caso,
estes precisam ser inseridos no local em que h a fuso entre os conjuntos
Q
e
. E tambm
pode ser que existam elementos que no estejam nestes dois conjuntos e, assim, pertencendo
somente ao conjunto universo.
Incorporando alguns elementos a estes trs conjuntos, poderemos visualizar este novo
diagrama na figura 3.
QU P
9
6
4
10

Observe que neste exemplo, foram adicionados elementos na regio do conjunto
universo, excetuando s regies delimitadas por
Q
, inclusive, a regio comum ao
Q
e
, bem como para as regies de
Q
e ao
. Portanto, podemos conclumos as seguintes
operaes:
U {1,23,4,5,6,7,8,9,10}
P Q {3,4,5,6,7,8,9,10}
P Q {5,6}
P {1,2,7,8}
Q {1,2,3,4,9,10}
P Q {3,4,9,10}
Q P {7,8}
Embora foram apresentados somente dois conjuntos (
Q
e
), um diagrama de Venn
pode possuir diversos conjuntos simultaneamente. A sobreposio de conjuntos num diagrama
uma caracterstica bastante normal, pois possibilita apresentar elementos comuns aos
conjuntos.
1.2 Probabilidades
Se lanarmos uma moeda e observarmos qual face ficar para cima quando estiver no solo,
teremos apenas a certeza de que metade das chances de ser cara e a outra metade de ser
coroa. Assim, existe a probabilidade de 50% de cara e 50% de coroa, isso um fenmeno
probabilstico. As probabilidades so utilizadas para exprimir a chance de ocorrncia de
determinado evento.
A probabilidade de um evento A ocorrer encontrada pela frmula:
P ( A )=
Nmero de resultados favorveis

Nmero de resultados possveis
A probabilidade de um acontecimento impossvel 0 (zero). A probabilidade de um

acontecimento certo 1. A probabilidade para qualquer acontecimento 0 P(A) 1
Por exemplo: no caso de lanamento de um dado comum, S={1, 2, 3, 4, 5, 6}, se nos interessa
somente a ocorrncia de nmeros mpares, ento o evento A={1, 3, 5}, a probabilidade :
3 1
P ( A )= = =0,5=50
6 2
Algumas regras de probabilidade so:

Regra da Adio (caso geral)
P ( A B )=P ( A ) + P ( B )P( A B)
Regra da Adio (mutuamente exclusivo)
P ( A B )=P ( A ) +P ( B )
Regra da Multiplicao (caso geral)
P ( A B )=P ( A )P(B A)
Regra da Multiplicao (mutuamente exclusivo)
P ( A B )=P ( A )P(B)
1.3 Arranjo, Combinao e Permutao
Arranjo simples o tipo de agrupamento sem repetio em que um grupo diferente de outro
pela ordem ou pela natureza dos elementos componentes. O nmero de arranjos simples de n
elementos em grupos de p elementos dado por:
An, p=
n!
( n p ) !
Esta frmula mostra que os arranjos dos n elementos tomados p a p podem ser escritos
utilizando-se fatoriais.
Por exemplo: Seja C={A,B,C,D}, n=4 e p=2. Os arranjos simples desses 4 elementos tomados
2 a 2 so 12 grupos que no podem ter a repetio de qualquer elemento mas que podem
aparecer na ordem trocada. Todos os agrupamentos esto no conjunto.
A 4,2 =
4!
4.3 .2!
=
=12
2!
( 42 ) !
No arranjo com repetio, todos os n elementos podem aparecer repetidos em cada grupo de
p elementos. A frmula para calcular a quantidade de agrupamentos :
A n , p =n p
Por exemplo: Seja C={A,B,C,D}, n=4 e p=2. Os arranjos com repetio desses 4 elementos
tomados 2 a 2 so 16 grupos que onde aparecem elementos repetidos em cada grupo. Todos
os agrupamentos esto no conjunto.
A 4,2 =4 2=16
Combinao simples o tipo de agrupamento, sem repetio em que um grupo diferente de

outro apenas pela natureza dos elementos componentes. O nmero de combinaes de n
elementos de grupos de p elementos igual ao nmero de arranjos de n elementos tomados p
a p, dividido por p!, isto :
C n , p=
An. p
p!
Obs: Combinao se usa quando quer agrupar coisas em que a ordem no importa.
Exemplo: Seja C={A,B,C,D}, n=4 e p=2. As combinaes simples desses 4 elementos tomados
2 a 2 so 6 grupos que no podem ter a repetio de qualquer elemento nem podem aparecer
na ordem trocada. Todos os agrupamentos esto no conjunto.
C 4,2=
An. p
n!
4!
4.3.2 ! 12
=
=
=
= =6
p! p ! ( n p ) ! 2! 2 ! 2! .2! 2
Permutao simples o tipo de agrupamento ordenado, sem repetio, em que entram todos
os elementos em cada grupo. A permutao simples um caso particular de arranjo simples. O
nmero de permutaes simples que se pode formar com n elementos igual ao fatorial de n,
ou seja:
Pn=n !
Por exemplo, com os elementos A,B e C so possveis as seguintes permutaes: ABC, ACB,
BAC, BCA, CAB e CBA.
P3=3 !=3.2.1=6
Agora, se entre os n elementos de um conjunto, existem a elementos repetidos, b elementos
repetidos, c elementos repetidos e assim sucessivamente, tem-se um problema de
permutaes com elementos repetidos. A frmula para calcular o nmero total de
permutaes dada por:
P(an , b ,c )=
n!
a!b!c !
Por exemplo: Quantos anagramas podemos formar com as 6 letras da palavra ARARA. A letra
A ocorre 3 vezes e a letra R ocorre 2 vezes. As permutaes com repetio desses 2
elementos do conjunto C={A,R} em agrupamentos de 5 elementos so 15 grupos que contm a
repetio de todos os elementos de C aparecendo tambm na ordem trocada. Todos os
agrupamentos esto no conjunto.
P(3,2)
5 =
5!
5.4 .3 ! 20
=
= =10
3 ! 2 ! 3! 2 !
2
Atividades
1. De acordo com os princpios da teoria dos conjuntos, analise as afirmativas a seguir
associando V para verdadeira e F para falsa e, depois, assinale a alternativa contendo a
seqncia correta.
e {a, b, c}
I-
{a, b, c}
II -
c {a, b} {e, d , c}
III -
{1, b} {1, b, c} {4, d ,1, f , b}

IV a) F, V, F, V
b) V, F, V, V
c) V, V, V, F
d) V, V, V, V
A {2,4} B {1,4,8}
2. Considerando os conjuntos
C {3,5,8}
e
, identifique os elementos das
seguintes operaes:
a)
b)
c)
A B
CB
AC
( A B) (C B)
d)
3. Construa um diagrama de Venn para representar os elementos dos conjuntos
U
.
P Q R
,
U {1,2,3,4,5,6,7,8}
P Q R {1,2,3,4,5,6,7}
P Q {1,2,3,4,5,6}
P R {1,2,3,4,5,7}
Q R {1,2,3,5,6,7}
P Q {1,2}
P R {1,3}
R Q {1,5}
P Q R {1}
A {2,4}
4. Considerando os conjuntos
B {1,4,8}
e
, assinale a alternativa correta.
P ( B ) 1 , 4 , 8 , 1,4 , 1,8 , 4,8 , 1,4,8

a)
n( A B ) 5
b)
c)
B A
P( A)
d)
A B A ( A B)
5. Considerando que A e B sejam dois conjuntos, demonstre que
6. A determinao por extenso do conjunto { x | x

a) {0, 1}
b)
c) {0}
N e x<1} :
d) {{0}}
7. Coloque ao lado da sentena a letra V ou F conforme seja verdadeira ou falsa:
a) 0
b) 3 {1, 2, 3, 5}
c)
{3}
d) 5 {{5}}
e) 4 {{4}, 4}
f) {3, 4} {{3, 4}, {5, 6}}
g) {1, 2} {1, 2, 3, 4, 5}
8. Desenhe um diagrama de Venn para representar A B e B C.
9. A determinao por extenso do conjunto {x | x e x = 1} e:
a) {0, 1}
b) {}
c) {0}
d) {{0}}
10. Utilize diagramas de Venn para representar as seguintes informaes:
a) O conjunto dos advogados est contido no conjunto dos seres humanos, pois todo advogado
ser humano;
b) O conjunto dos ces est contido no conjunto dos animais, pois no existe um co que no
seja um animal.
c) Se o conjunto P dos professores da rede pblica est contido no conjunto F dos funcionrios
pblicos, isto , P F (pois todo professor da rede pblica funcionrio pblico) e se o
conjunto F dos funcionrios pblicos est contido no conjunto T dos trabalhadores, isto , F T
(pois todo funcionrio pblico um trabalhador) ento o conjunto P dos professores da rede
pblica est contido no conjunto T dos trabalhadores, isto , P T.
11. Jogando um dado, qual a probabilidade de ocorrer um nmero maior que 3 e que seja par?
12. Considere que A, B e A B so conjuntos com 50, 20 e 10 elementos, respectivamente,

ento o nmero de elementos do conjunto A B :
a) 20
b) 30
c) 55
d) 60
e) 80
13. Considerando que A = {2, 3, 5, 6, 7, 8}, B = {1, 2, 3, 6, 8} e C = {1, 4, 6, 8}, ento:
a) (B A) C = {1}
b) (A B) C = {1}
c) (C B) A = {5,7}
d) (C A) B = {1,4}
e) (B C) A = {2}
14. Sobre Teoria dos Conjuntos, considere as seguintes afirmaes:
A, B e C so trs conjuntos
A subconjunto de B
C subconjunto de A
Diante disso, possvel concluir que:
a) Os conjuntos B e C so iguais.
b) O conjunto C subconjunto de B.
c) O conjunto B subconjunto de C.
d) O conjunto B subconjunto de A.
e) O conjunto A subconjunto de C.
15. De um grupo de 200 estudantes, 80 esto matriculados em Francs, 110 em Ingls e 40
no esto matriculados nem em Ingls nem em Francs. Seleciona-se, ao acaso, um dos 200
estudantes. A probabilidade de que o estudante selecionado esteja matriculado em pelo menos
uma dessas disciplinas (isto , em Ingls ou em Francs) igual a
a) 30/200
b) 130/200
c) 150/200
d) 160/200
e) 190/200
16. Quantos nmeros de 3 algarismos podemos formar com os algarismos 1, 2, 3, 4, 5 e 8, sem
repeti-los?
17. Quantas comisses constitudas de 3 pessoas podem ser formadas com 5 pessoas?
18. Quantos nmeros de 5 algarismos distintos podem ser formados, usando-se os algarismos
1, 3, 5, 8 e 9, com repetio?
19. Calcule o nmero de formas distintas de 4 pessoas ocuparem os lugares de um banco de
quatro lugares.
20. Determine o nmero de anagramas da palavra MATEMTICA (no considere o acento).
21. Determine a probabilidade de lanamento de um dado e o resultado ser 5 ou 6.
22. Em uma escola de idiomas com 2000 alunos, 500 alunos fazem o curso de ingls, 300
fazem o curso de espanhol e 200 cursam ambos os cursos. Selecionando-se um estudante do
curso de ingls, qual a probabilidade dele tambm estar cursando o curso de espanhol?
23. Em uma caixa h 4 bolas verdes, 4 azuis, 4 vermelhas e 4 brancas. Se tirarmos sem
reposio 4 bolas desta caixa, uma a uma, qual a probabilidade de tirarmos nesta ordem bolas
nas cores verde, azul, vermelha e branca?
24. Se uma moeda no viciada lanada duas vezes, a probabilidade de que ambos os
resultados seja cara ?
Gabarito:
11. 1/3
12. d
15. d
17. 10
18. 46656
19. 24
20. 151200
21. 2/6
22. 2/5
23. 8/1365
24. 1/4
Aula 2 Argumentos
Introduo
Etimologicamente, a palavra lgica vem do grego logos, que significa palavra,
expresso, pensamento, conceito, discurso ou razo (Aranha e Martins, 2002). A lgica
uma cincia que estuda as formas de raciocnio/pensamento, ou seja, o estudo de
argumentos. Segundo Copi, o estudo da lgica o entendimento dos mtodos e princpios
usados para distinguir o raciocnio correto do incorreto (Copi, 1978). Se pararmos para pensar,
a lgica faz parte das nossas vidas muito mais do que ns imaginamos. Em casa, no trabalho,
na faculdade, na poltica, no lazer, enfim, sempre que ns precisamos apresentar nosso ponto
de vista, ns estamos usando argumentos.
A Lgica foi considerada na cultura clssica e medieval como um instrumento
indispensvel ao pensamento cientfico. Era necessrio argumentar com clareza, mediante
demonstraes rigorosas, respondendo as objees dos adversrios.
De um modo geral, a lgica clssica pode ser estudada sob dois pontos de vista: a
lgica proposicional e a lgica de predicados. A lgica proposicional trabalha com proposies,
que ser vista na aula prxima. A lgica de predicados, por sua vez, uma extenso da lgica
proposicional que representa relaes de objetos num domnio de aplicao, a qual ser
estudada na sexta aula. Entretanto, para compreender o que vem ser uma proposio,
precisamos estudar como o raciocnio lgico trabalha, identificando assim argumentos na
nossa linguagem do cotidiano por meio de palavras-chave, o qual ser abordado nesta aula.
Ser apresentado tambm uma forma de classificao do argumento tanto com relao
forma de raciocnio (indutivo ou dedutivo) quanto validade.
2.1 Argumentos
Como dito anteriormente, a lgica trabalha com argumentos. Mas, ento o que vem ser
um argumento? Um argumento uma seqncia de sentenas ou enunciados (afirmaes ou
declaraes) na qual um dos enunciados a concluso e os demais so nomeados de
premissas, as quais servem para provar ou, pelo menos, fornecer alguma evidncia para a
concluso. Segundo Copi, podemos definir um argumento como qualquer grupo de sentenas
tal que se afirme ser uma delas derivada das outras, as quais so consideradas provas
evidentes da verdade da primeira (Copi, 1978). Ento, vamos a um exemplo bastante clssico
da lgica.
Todos os homens so mortais.

Scrates homem.
Portanto, Scrates mortal.
Neste exemplo, os dois primeiros enunciados (Todos os homens so mortais. e
Scrates homem) chamaremos de premissas que servem para provar a concluso, que
Scrates mortal..
Tanto as premissas quanto a concluso de um argumento so sempre enunciados, isto
, significados ou ideias expressveis por sentenas declarativas ao invs de interrogaes,
comandos ou exclamaes. Os enunciados so espcies de ideias que so verdadeiras ou
falsas. Os no-enunciados, tais como interrogaes, comandos ou exclamaes, no podem
ser classificados como verdadeiros ou falsos. Portanto, quando o processo exige uma definio
do valor lgico da proposio ento dever ficar claro qual o contexto que a proposio est
inserida.
importante frisar que os argumentos no seguem padres de escrita da forma em que
as premissas so apresentadas primeiro e, depois, a apresentao da concluso. Sendo
assim, algum poderia apresentar quais so as suas concluses e, somente depois, justificlas. Isso tambm vlido, porm um pouco confuso com relao ao encadeamento de ideias.
Ento vamos analisar mais trs exemplos para verificar se so ou no argumentos.
a) O signo de Joo aqurio, pois o dia do seu aniversrio 26 de janeiro.
b) A minha blusa verde, Pit o nome do meu peixe e, logo, macarro o meu prato
favorito.
c) Matheus est respirando e, portanto, est vivo.
No primeiro exemplo, temos mais um caso de argumento. A premissa o dia do seu
aniversrio 26 de janeiro. e a concluso O signo de Joo aqurio. Este um caso em
que a concluso apresentada antes da premissa. No segundo exemplo, no podemos
classificar estes enunciados como argumento, pois no existem premissas para embasar a
concluso apresentada macarro o meu prato favorito. Ressaltamos ainda que no h um
encadeamento de idias para se alcanar uma determinada concluso, ou seja, a cor da blusa
e o nome do peixe no so razes ou motivos para compreender o prato favorito. No terceiro e
ltimo exemplo, temos a premissa Matheus est respirando e como concluso, o enunciado
est vivo. Normalmente, os argumentos so apresentados desta forma, primeiro uma ou mais
premissas e, por ltimo, a concluso.
A anlise de argumentos pode ser dividida em diversas etapas, caso precise verificar
com mais detalhes os enunciados envolvidos. Como mencionamos anteriormente, uma
concluso inferida a partir de um conjunto de premissas. Porm, essa concluso, em
conjunto com outros enunciados, poder ser usada como uma premissa para inferir outra
concluso, a qual, por sua vez, pode funcionar como premissa para uma outra concluso, e
assim sucessivamente. Quando esta situao ocorrer, chamamos este argumento de
argumento complexo. As premissas que servem como concluses de premissas anteriores
chamam-se premissas no-bsicas ou concluses intermedirias. A identificao de uma
concluso intermediria pode ocorrer em qualquer parte do argumento. As premissas que no
so concluses de premissas prvias chamam-se premissas bsicas ou suposies.
2.2 Identificao de Argumentos
Um argumento ocorre somente quando, a partir de uma ou mais premissas, se pretende
sustentar ou provar uma concluso (Copi, 1978). Esse propsito , freqentemente, expresso
pelo uso de indicadores de inferncia. Inferncia uma palavra do latim (inferre) que significa
conduzir para. Os indicadores de inferncia so palavras ou frases que ressaltam a existncia
de um argumento. Podemos classificar estes indicadores em dois grupos: os de premissa e os
de concluso. Sendo assim, na tabela a seguir, esto apresentadas as principais palavras de
cada um desses grupos (Cunha, 2008).
Tabela 1: Indicadores de Inferncia.
INDICADORES DE PREMISSA
pois
desde que
como
porque
assumindo que
visto que
admitindo que
isto verdade porque
a razo que
em vista de
como conseqncia de
como mostrado pelo fato que
dado que
sabendo-se que
supondo que
INDICADORES DE CONCLUSO
portanto
assim
dessa maneira
neste caso
da
logo
de modo que
ento
conseqentemente
assim sendo
o(a) qual implica que
o(a) qual acarreta que
o(a) qual significa que
do(da) qual inferimos que
podemos deduzir que
Os indicadores de premissa e de concluso so os principais indcios para a

identificao de argumentos a partir dos enunciados e para a anlise de sua estrutura. Cabe
observar que quando um indicador de concluso colocado entre duas sentenas, ento a
primeira sentena expressa uma premissa e a segunda uma concluso daquela premissa. Para
compreender melhor esta situao, vamos analisar o seguinte exemplo:
Joo foi passear, portanto, Joo no est em casa.
Neste exemplo, temos um indicador de concluso (portanto). Dessa forma, a premissa
Joo foi passear e a concluso Joo no est em casa.
Mas, quando um indicador de premissa se encontra entre duas sentenas, isto indica
que a primeira concluso e a segunda premissa. Vejamos o seguinte exemplo:
Ele no est em casa pois ele foi pescar.
Neste exemplo, temos um indicador de premissa (pois). Dessa forma, a premissa ele
foi pescar e a concluso Ele no est em casa.
Um indicador de concluso que aparece no incio de uma sentena indica que a
sentena concluso das premissas anteriores. Por exemplo:
vero e Amanh feriado. Portanto, vou praia.
Um indicador de premissa no incio de uma sentena composta de duas sentenas
indica que a primeira premissa e a segunda concluso. Por exemplo:
Desde que uma frente fria est a caminho, provvel que chova
importante ressaltar ainda que as expresses que funcionam em alguns contextos
como indicadores de inferncia tm, geralmente, outras funes em outros contextos. Assim,
nem toda ocorrncia de uma das expresses apresentadas visto como um indicador de
inferncia. Observe o seguinte exemplo com a expresso desde que.
Passaram-se trs anos desde que fomos Blgica.

Neste exemplo, o desde que informa a durao do tempo e, assim, no considerado
um indicador de premissas.
De forma similar, observe o seguinte exemplo com a expresso assim em.
Roger ficou rico e permaneceu assim por vrios anos.
Neste exemplo, a palavra assim no um indicador de concluso. Neste contexto,
este indicador expressa o significado de nessa condio e no o conceito de portanto.
Mas, e quando um argumento no apresentar indicadores de premissas e/ou de
concluso? Nestes casos, precisamos observar os indcios contextuais ou em nossa
compreenso das intenes do autor para diferenciar as premissas das concluses. Para isso,
observe o seguinte exemplo (Cunha, 2008):
Os defensores do aborto so hipcritas. Eles, continuamente, contestam em altos
brados a execuo de nossos inimigos. Mas eles nada vem de errado com o
assassinato de crianas inocentes.
Aps anlise, podemos capturar que as premissas do enunciado so: Eles,
continuamente, contestam em altos brados a execuo de nossos inimigos. e eles nada vem
de errado com o assassinato de crianas inocentes. Como concluso, identificamos o
enunciado Os defensores do aborto so hipcritas. Assim, ressaltamos mais uma vez que,
embora, na maioria das vezes, as premissas so apresentadas inicialmente, nada impede que
a concluso possa estar escrita primeiro.
Vale a pena ressaltar que nem todo conjunto de sentenas constitui um argumento. Os
jornais, revistas e livros de estria, por exemplo, apresentam diversas sentenas, mas contm
relativamente poucos argumentos (Copi, 1978). Ou seja, para de identificar um argumento,
precisamos de vrias sentenas (premissas e concluso), porm a existncia de vrias
sentenas no uma condio que se obtenhamos um argumento.
2.3 Diagrama de Argumentos

Os diagramas de argumentos so formas grficas convenientes para representar as
estruturas inferenciais dos argumentos (Cunha, 2008). Esses diagramas possibilitam observar
de maneira visual os relacionamentos entre os enunciados do argumento analisado. Ento,
para representar o enunciado de modo grfico, necessrio seguir os seguintes passos:
a)
colocar um crculo nos indicadores de inferncia;
b)
colocar colchetes para delimitar cada enunciado, bem como enumer-lo;
c)
reunir as premissas que fazem parte de uma etapa de raciocnio com o sinal +
e traar uma linha horizontal embaixo da lista de nmeros, caso existam vrias
premissas;
d)
se existir apenas uma premissa, ento escrever simplesmente o seu nmero na
etapa do raciocnio;
e)
desenhar uma seta para baixo a partir do(s) nmero(s) que representa(m) uma
premissa (ou premissas) para o nmero que representa a concluso da etapa, tanto
para uma ou mais premissas;
f)
repetir esse processo caso o argumento tiver mais de uma etapa para a
inferncia.
Para exemplificar a construo desses diagramas, vejamos o seguinte argumento:
O cheque perder a validade a menos que ele seja descontado dentro de 30 dias.
O cheque est datado de 2 de setembro e hoje 8 de outubro. Portanto, o cheque
no vale mais. Voc no pode descontar um cheque que no vale. Assim, voc
no pode descontar este cheque.
Seguindo os passos definidos anteriormente, obtemos:
1 [O cheque perder a validade a menos que ele seja descontado dentro de 30 dias.]
2 [O cheque est datado de 2 de setembro] e 3 [hoje 8 de outubro]. Portanto, 4
[o cheque no vale mais.] 5 [Voc no pode descontar um cheque que no vale.]
Assim,
6 [voc no pode descontar este cheque]
1 + 2+3
4+5
6
2.4 Validade e Verdade
As proposies possuem valores verdadeiros ou falsos dependendo se exprimem
realmente o fato ou no. Os argumentos, por sua vez, podem ser classificados como vlidos ou
invlidos. Segundo Aranha e Martins, um argumento dito vlido quando sua concluso
conseqncia lgica de suas premissas (Aranha, 2003). Desta forma, um argumento vlido
se, em qualquer contexto, impossvel que sua concluso seja falsa, caso se admita que suas
premissas so verdadeiras. J um argumento invlido se possvel que, em algum contexto,
admitindo que suas premissas sejam verdadeiras se possa ter a concluso falsa. Portanto, o
que nos interessa num argumento saber se a concluso se segue ou no das premissas,
sejam elas verdadeiras ou falsas.
Vejamos alguns exemplos de argumentos vlidos:
1)
Todos os cachorros so mamferos.

Todos os mamferos tm corao.
Portanto, todos os cachorros tm corao.
2)
Lula foi o presidente do Brasil.

Todos os presidentes do Brasil foram assassinados.
Logo, Lula foi assassinado.
3)
Plato era grego e Kant americano.

Logo, Plato era grego.
4)
Plato era grego e Kant americano.

Logo, Kant era americano.
No primeiro argumento, as premissas e a concluso so verdadeiras. J no segundo

argumento, h uma premissa falsa e a concluso falsa. No terceiro argumento, tem-se a
premissa falsa (pois Kant era alemo e no americano) e a concluso verdadeira. E no quarto
exemplo, tem-se a premissa falsa e a concluso falsa.
Em resumo, possvel se deparar com as seguintes situaes:
1. Existem argumentos vlidos em que as premissas e a concluso so verdadeiras.
2. Existem argumentos vlidos em que uma, ou mais, premissas so falsas e a
concluso verdadeira.
3. Existem argumentos vlidos em que uma, ou mais, premissas so falsas e a
concluso falsa.
4. No existem argumentos vlidos em que as premissas so verdadeiras e a concluso
falsa.
Vejamos agora alguns exemplos de argumentos invlidos:
1) Todo homem mortal.
Scrates mortal.
Portanto, Scrates homem.
2) Colombo descobriu a Amrica.
Logo, Cabral no descobriu o Brasil.
No primeiro exemplo no vlido porque no impossvel que as premissas sejam
verdadeiras e a concluso falsa. Podemos perfeitamente imaginar uma circunstncia em que
Scrates fosse o cachorro de minha irm e, neste caso, a concluso j seria falsa, apesar de
as premissas serem verdadeiras. No segundo exemplo, seguindo a interpretao usual, tem a
premissa verdadeira e a concluso falsa.
Assim, possvel ter as seguintes situaes para argumentos invlidos:
1. as premissas e a concluso so verdadeiras.
2. uma, ou mais, premissas so verdadeiras e a concluso falsa.
3. uma, ou mais, premissas so falsas e a concluso verdadeira.

4. as premissas e a concluso so falsas.
PS: Os argumentos podem ser vlidos ou invlidos, mas no podem ser verdadeiros
nem falsos. As proposies podem ser verdadeiras ou falsas, mas no podem ser
vlidas nem invlidas.
Segue uma tabela com as possibilidades
Premissas verdadeiras
Concluso verdadeira
Vlido
Concluso falsa
Vlido:
Ex:
Impossvel ter um
Gatos so mamferos.
argumento vlido com
Tigres so gatos.
premissas verdadeiras e
Portanto, os tigres so
concluso falsa.
mamferos.
Invlido
Invlido
Ex:
Ex:
Os gatos so mamferos.
Os gatos so mamferos.
Os ces so mamferos.
Os tigres so mamferos.
Portanto, os ces so gatos.
Portanto, os tigres so os
Premissas falsas
gatos.
Vlido
Vlido
Ex:
Ex:
Os gatos so os pssaros.
Os ces so gatos.
Os pssaros so mamferos.
Por isso, os gatos so
Portanto, os ces so
mamferos.
pssaros.
Invlido
Invlido
Ex:
Ex:
Os tigres so pssaros.
Os ces so os pssaros.
Portanto, os tigres so os
Portanto, os ces so gatos.
gatos.
2.5 Classificao dos Argumentos
Os argumentos podem ser classificados tradicionalmente em duas categorias, que so:

dedutivo ou indutivo. Ento, agora vamos analisar mais detalhadamente cada uma dessas
categorias.
Um argumento dedutivo um argumento cuja concluso deve ser verdadeira se suas
premissas bsicas forem tambm verdadeiras. Ou seja, o que est dito na concluso extrado
das premissas, pois na verdade j est implcito nelas (Aranha e Martins, 2003). Copi traz uma
outra definio de argumentos dedutivos, conforme pode ser vista a seguir.
Argumentos dedutivos so aqueles cuja concluso deriva diretamente
das premissas. Nos argumentos dedutivos a concluso no diz nada alm do
que foi dito nas premissas. O argumento dedutivo destina-se a deixar explcito o
contedo das premissas. (Copi, 1978, p. 35).
Neste tipo de argumento, podemos dizer que este vlido ou invlido. Um argumento
dito vlido quando suas premissas, se verdadeiras, fornecem mecanismos convincentes para
a obteno da sua concluso. Jamais um argumento ser vlido se as premissas forem
verdadeiras e no obtermos a concluso como verdade.
Um argumento indutivo, por sua vez, aquele cuja concluso no necessria, dadas
suas premissas bsicas (Nolt e Rohatyn, 1991). As concluses de argumentos indutivos so
mais ou menos provveis em relao s suas premissas. Uma outra definio de argumento
indutivo pode ser encontrada em Salmon, conforme pode ser vista a seguir:
Os argumentos indutivos, ao contrrio do que sucede com os dedutivos,
levam a concluses cujo contedo excede os das premissas. E esse trao
caracterstico da induo que torna os argumentos indispensveis para a
fundamentao de uma significativa poro dos nossos conhecimentos
(Salmon, 1969, p. 76).
Os argumentos indutivos no so categorizados como vlidos ou invlidos como ocorre
com os argumentos dedutivos. Estes podem ser categorizados como forte ou fraco,
dependendo se as premissas apresentadas fornecem um motivo representativo ou no para as
suas concluses.
De um modo geral, o que diferenciar uma categoria da outra a forma para a
obteno da concluso. Se obtermos uma generalizao a partir de dados especficos, ento
teremos uma induo.
Caso contrrio, teremos uma deduo. Para entender melhor este
pensamento ou raciocnio, observe a figura 1.
Geral
DEDUO
Especfico
INDUO
Figura 1: Induo versus Deduo.

Nesta figura, as setas direcionam o fluxo de inferncia a ser capturado pela seqncia
de enunciados. Assim, vamos ver alguns exemplos de argumentos indutivos e dedutivos.
Primeiramente, considere:
A bola de basquete marrom.
As bolas de futebol de campo, vlei e futebol de salo tambm so marrons.
Logo, todas as bolas so marrons.
Neste caso, temos um exemplo de argumento indutivo, pois a partir de algumas
particularidades, conseguimos descobrir (ou inferir) uma generalizao. As particularidades so
as bolas para determinadas atividades fsicas e a generalizao a cor marrom, visto que
todas as particularidades apresentadas possuem a bola de cor marrom.
Um outro exemplo de argumento indutivo, encontrado em (Aranha e Martins, 2003),
pode ser o seguinte:
A viso, o tato, a audio, o gosto, o olfato (que chamamos de sentidos) tm um
rgo corpreo.
Portanto, todo sentido tem um rgo corpreo.
Neste caso, como a viso, o tato, a audio, o gosto, o olfato foram especificados que
possuem um rgo corpreo, conseguimos abstrair que qualquer sentido tem este rgo
corpreo. Podemos, inclusive, afirmar que este argumento do tipo indutivo forte, pois todos os
tipos de sentidos foram apresentados e especificados que possuem tal propriedade (rgo
corpreo). importante frisar que para abstrair um conceito geral precisamos possuir um
nmero de casos (exemplos ou particularidades) suficientes e que estes sejam significativos.
Agora com relao aos argumentos dedutivos, um possvel exemplo, encontrado em
(Aranha e Martins, 2003), :
Todo brasileiro sul-americano.
Todo paulista brasileiro.
Todo paulista sul-americano.
Neste caso, embora tenha obtido uma concluso ainda genrica, esta foi adquirida a
partir das informaes fornecidas, mesmo que genrica. Vamos ver agora outro exemplo de
argumento dedutivo, sendo que com este iremos adquirir uma informao mais particular do
que o caso apresentado. Ento analise o argumento a seguir:
Todo aluno do curso de Cincia da Computao precisa estudar Lgica.
Jos aluno de Cincia da Computao.
Logo, Jos precisa estudar Lgica.
Neste exemplo, conclumos detalhadamente quem precisa estudar Lgica, que Jos.
Esta concluso foi obtida a partir de uma regra geral dos alunos do curso de Cincia da
Computao, bem como a especificao que Jos um aluno deste curso.
Observe ainda que os argumentos dedutivos no fornecem nenhum conhecimento
novo, apenas sistematiza o conhecimento j adquirido. Entretanto, embora a deduo no
acrescente muita informao, no significa que esta no seja importante, at porque
precisamos definir se esta deduo vlida ou invlida como raciocnio lgico.
Sntese da aula
Nesta segunda aula, vimos que podemos analisar algumas sentenas (premissas) do
cotidiano a fim de inferir um novo conhecimento (concluso). Vimos ainda que existem
indicadores de premissas e de concluso que auxiliam na identificao dos mesmos num
argumento. Quando no existem estas dicas, precisamos ficar atentos para captar a idia do
autor. Uma forma para visualizar o encadeamento de idias num argumento por meio do
diagrama de argumento, pois com este, possvel verificar cada passo do processo de
inferncia. Dentre os argumentos, podemos ainda classific-los como indutivos (forte ou fraco)
ou dedutivos de acordo com a forma de concluso obtida. Os dedutivos so do geral para
especfico e os indutivos so do especfico para o geral.
Atividades
1) A unio de enunciados pode ou no transform-lo em argumento. Desta maneira, analise os
enunciados apresentados como afirmativas a seguir e indique V (Verdadeiro) se os mesmos formam um
argumento. Caso contrrio, indique F (Falso). Depois, assinale a alternativa que contenha a seqncia
correta de Vs e Fs.
I) Eu lancho na cantina da escola todos os dias, mas o Joo no. Ana gosta de sorvete. Maria foi
ao cinema ontem.
II) Est chovendo. Vou dormir at mais tarde.
III) Se no chover, irei praia. No choveu. Logo, irei praia.
IV) Vou ao shopping hoje. Cinema est fechado.

a) V, V, V, F
b) F, F, V, F
c) V, F, F, V
d) V, F, V, F
2) Na nossa lngua portuguesa, existem palavras ou termos que auxiliam a identificao de argumentos.
Estas palavras so conhecidas como indicadores, podendo ser direcionado para as premissas ou para a
concluso. Dessa maneira, escolha a alternativa que NO considerada um indicador de concluso.
a) portanto
b) neste caso
c) assumindo que
d) logo
3) Diagrama de argumentos usado para ilustrar o envolvimento de premissas para provar uma certa
concluso. Desta forma, analise cada parte dos argumentos a seguir e represente-o com o diagrama de
argumentos.
Hoje quinta-feira ou sexta-feira.
Mas no pode ser quinta-feira, pois o escritrio de advocacia estava aberto esta manh, e
aquele escritrio est sempre fechado s quintas.
Portanto, hoje deve ser sexta-feira.
Watts est em Los Angeles e est, portanto, nos Estados Unidos e logo faz parte de uma
nao plenamente industrializada. Assim, ele no faz parte do Terceiro Mundo, pois o
Terceiro Mundo caracterizado por naes em desenvolvimento e naes em
desenvolvimento no esto, por definio, plenamente industrializadas.
Estava certo que nenhum dos conselheiros do presidente tinha vazado a informao e, no
entanto, realmente ela tinha sido vazada para a imprensa. Portanto, algum, alm dos
conselheiros do presidente, vazou a informao para a imprensa.
4) Conforme a forma de raciocnio utilizada, um argumento pode ser categorizado como indutivo ou
dedutivo. Desta forma, analise e classifique os seguintes argumentos como dedutivos ou indutivos:
a)
O sol nasceu na segunda-feira.

O sol nasceu na tera-feira.
O sol nasceu na quarta-feira.

O sol nasceu na quinta-feira.
O sol nasceu na sexta-feira.
Logo, o sol nasce todos os dias.
b)
Havia trs pedaos de bolo de chocolate.

Agora existem apenas dois pedaos.
Portanto, algum comeu um pedao de bolo.
c)
S h aprovao na disciplina se possuir nota maior que 7,0.

A nota 9,0.
Logo, h aprovao na disciplina.
d)
Joguei uma pedra no lago, e ela afundou;

Joguei outra pedra no lago e ela tambm afundou;
Joguei mais uma pedra no lago, e ela tambm afundou;
Logo, se eu jogar uma outra pedra no lago, ela vai afundar.
e)
A vacina funcionou bem nos ratos.

A vacina funcionou bem nos macacos.
Logo, vai funcionar bem nos humanos.
5) Avalie os argumentos apresentados a seguir e classifique-os como dedutivos ou indutivos.

a) Todos tm um e um s pai biolgico. Os irmos tm o mesmo pai biolgico. Ningum pai biolgico
de si mesmo. Portanto, no h pai biolgico que seja tambm seu irmo.
b) Os visitantes da China quase nunca contraem malria no pas. Jos est visitando a China. Logo,
Jos no contrair malria na China.
c) Eu sonho com monstros. Meu irmo sonha tambm com monstros. Logo, todas as pessoas sonham
com monstros.
6) Circule e classifique os indicadores de inferncia (premissa e concluso) apresentados nos
argumentos a seguir. Depois, classifique estes argumentos como indutivos ou dedutivos.
a) 99,9% dos testes de Aids do laboratrio LAB apresenta resultados corretos. Charles fez teste de Aids
no laboratrio LAB e o resultado foi negativo. Logo, Charles no tem Aids.
b) Jnio Quadros renunciou presidncia em circunstncias excepcionais. Ora, todo aquele que
renuncia presidncia em circunstncias excepcionais pretende ser reconduzido triunfalmente ao poder.
Portanto, o que Jnio pretendia era isso: ser reconduzido triunfalmente ao poder.
c) Imagine um pedao de queijo suo, daqueles bem cheios buracos. Quanto mais queijo, mais buracos.
Cada buraco ocupa o lugar em que haveria queijo. Assim, quanto mais buracos, menos queijo, quanto
mais queijos mais buracos, e quanto mais buracos, menos queijo. Logo, quanto mais queijo, menos
queijo!
d) Freqentemente quando chove fica nublado. Est chovendo. Portanto, est nublado.
7) Analise se h uma ocorrncia de argumentos nos trechos a seguir. Caso positivo, circule e classifique
os indicadores de inferncia.
a) Foi assinalado que, embora os ciclos de negcio no sejam perodos, so adequadamente descritos
pelo termo ciclos e, portanto, so suscetveis de medio.
b) O tringulo ABC equingulo. Portanto, cada um de seus ngulos internos mede 60 graus.
c) A gua tem um calor latente superior ao do ar: mais calorias so necessrias para aquecer uma
determinada quantidade de gua do que para aquecer um igual montante de ar. Assim, a temperatura do
mar determina, de um modo geral, a temperatura do ar acima dele.
d) Ns estvamos superados em nmero e em armas pelo inimigo, e suas tropas estavam
constantemente sendo reforadas enquanto as nossas foras estavam diminuindo. Assim, um ataque
direto teria sido suicida.
e) H algum, aqui, que entende este documento?
f) Se o comportamento econmico fosse o fenmeno inerte que se retrata, s vezes, em modelos
econmicos, ento os nicos atributos significativos das ocupaes seriam as respectivas habilitaes
profissionais e a oferta e procura para elas. Mas as ocupaes so amplamente sociolgicas, mas do
que estritamente econmicas; por conseguinte, esto decisivamente identificadas com fenmenos noeconmicos na comunidade.
g) Desde que Henry se diplomou em medicina, sua renda provvel muito elevada.
h) Bem-aventurado aquele que nada espera, pois nunca ser decepcionado.
i) Se quereis descobrir vossa opinio real sobre algum, observai a impresso que vos causa a primeira
observao de uma carta escrita por essa pessoa.
j) A nenhum homem consentido ser juiz em causa prpria; porque seu interesse certamente influir em
seu julgamento, e, no improvavelmente, corromper a sua integridade.
l) Voc ter sucesso, desde que voc tenha talento e trabalhe arduamente.
m) Ela prometeu casar com ele e, assim, o que ela far. Portanto, se ela faltar ao compromisso, ela
estar definitivamente errada.
8) Identifique se um argumento indutivo (forte ou fraco) ou dedutivo.
a) Todos os corvos que vi at hoje eram pretos. Logo, todos os corvos so pretos.
b) Nenhum mortal pode parar no tempo. Voc mortal. Logo, voc no pode parar no tempo.
c) Alguns porcos tm asas. Todas as coisas aladas gorjeiam. Logo, alguns porcos gorjeiam.
d) Se houver uma guerra nuclear, a civilizao ser destruda. Haver uma guerra nuclear. Logo, a
civilizao ser destruda pela guerra nuclear.
e) Todos os leitores da Folha de So Paulo tm mais do que 3 meses de idade. Pedro l a Folha de So
Paulo. Logo, Pedro tem mais do que 3 meses de idade.
f) A maioria das pessoas tem duas pernas. A maioria das pessoas tem dois braos. Portanto, algumas
pessoas tm dois braos e duas pernas.
g) A prata bom condutor de eletricidade. A platina bom condutor de eletricidade. O cobre com
condutor de eletricidade. Logo, todos os metais so bons condutores de eletricidade.
h) Todos os fumantes contraem enfisema. Todos aqueles que contraem enfisema tm morte dolorida.
Logo, todos os fumantes tm morte dolorida.
i) s vezes, quando chove fica nublado. Est chovendo. Logo, est nublado.
j) A maioria das vezes, quando chove fica nublado. Est chovendo. Est nublado.
9) Diagrame os argumentos abaixo circulando os indicadores de inferncia (premissa e concluso),
colocando-os entre colchetes e enumerando cada enunciado. E, por fim, classifique como indutivo fraco,
indutivo forte ou dedutivo.
a) Algumas pessoas dizem que pular da ponte interessante. Ana pulou da ponte neste fim de semana.
Logo, Ana fez algo interessante. Quase todas as coisas interessantes so realizadas por pessoas
agitadas. Consequentemente, Ana uma pessoa agitada.
b) Todas as criaes humanas finalmente perecero. Tudo que perece , afinal, sem sentido. Logo, todas
as criaes humanas so, afinal, sem sentido.
10) Construa o diagrama para os argumentos a seguir.
a) Se existissem ETs, eles j nos teriam enviado algum sinal. Se nos tivessem enviado um sinal,
teramos feito contato. Portanto, se existissem ETs, j teramos feito contato com eles.
b) Quando o filme bom, o cinema fica lotado. Como a crtica diz que esse filme muito bom, podemos
imaginar que no encontraremos lugares livres.
c) Se o programa bom ou passa no horrio nobre, o pblico assiste. Se o pblico assiste e gosta, ento
a audincia alta. Se a audincia alta, a propaganda cara. O programa, passa no horrio nobre, mas
a propaganda barata. Logo, o pblico no gosta do programa.
d) Se Jos roubou a jia ou a Sra. Krasov mentiu, ento um crime foi cometido. A Sra. Krasov no estava
na cidade. Se um crime foi cometido, ento a Sra. Krasov estava na cidade. Portanto Jos no roubou a
jia.
e) Ela no est em casa ou no est atendendo ao telefone. Mas se ela no est em casa, ento ela foi
sequestrada. E se ela no est atendendo ao telefone, ela est correndo algum outro perigo.
Portanto, ou ela foi sequestrada ou ela est correndo algum outro perigo.
f) Se o avio no tivesse cado, ns teramos feito contato pelo rdio. No fizemos contato pelo rdio.
Portanto, o avio caiu.
g) Se est garoando ou nevando, ento o cu no est claro. No o caso que o cu no est claro.
Portanto no caso que est garoando ou nevando. Hoje um fim de semana se hoje sbado ou
domingo. Mas hoje no um fim de semana. Portanto, hoje no sbado e hoje no domingo.
a) No podemos permitir o aborto porque o assassinato de um inocente.
b) Todos reconhecem que o petrleo esgotar-se- nos prximos 50 anos, dado que vrios estudos
publicados por diversas universidades estabelecem um limite de 50 anos para a extrao petrolfera.
Assim, reconhecendo que o petrleo se esgotar dentro desse perodo, temos que concluir que
inevitvel investir no desenvolvimento de energias alternativas.
c) Se, a maioria das espcies de baleias considerada atualmente em risco de extino, ento os
pescadores japoneses devem ser proibidos de caar baleias. Alm do mais, cinco barcos com 239
marinheiros vo permanecer cinco meses no alto mar para caar um total de 1035 baleias.
d) Toda vez que eu cheiro pimenta eu espirro. Ontem eu espirrei, dado que ontem eu cheirei pimenta.
e) Os fantasmas existem, pois algumas pessoas acham fascinante a ideia de fantasmas.
f) Voc est na UFT e est, portanto, na sala de aula, visto que assinou a lista de presena. Logo, est
fazendo a prova de Introduo Lgica. Assim, voc no est no 1 perodo, pois o 1 perodo est
fazendo prova de Introduo Programao.
12) Verifique se os enunciados a seguir so argumentos ou no.

a) Se a rea de um quadrado igual a um lado vezes outro lado e se o lado de um quadrado 2, ento
a rea desse quadrado 4.
b) A ida Lua foi um acontecimento histrico, embora nem todas as pessoas estejam de acordo.
c) Para os povos esquims, o piercing na lngua e no lbio era uma forma de indicar que a criana tinha
passado a ser adulta.
d) O Pirata da Perna de Pau sabe onde est o tesouro. O Capito Gancho sabe onde est o tesouro.
Assim, quer o Pirata da Perna de Pau, quer o Capito Gancho sabem onde est o tesouro.
a) Todas as linguagens de programao so importantes. Prolog uma linguagem de programao.
Assim, Prolog tem a sua importncia. Quase todas as coisas importantes necessitam de tempo e de
dedicao para serem assimiladas. Portanto, para se aprender Prolog necessrio ter tempo e
dedicao.
b) A nenhum homem consentido ser juiz em causa prpria; porque seu interesse certamente influir em
seu julgamento, e, no improvavelmente, corromper a sua integridade.
c) Voc est feliz, desde que voc est fazendo a prova de Introduo Lgica e a prova de Introduo
Lgica a nica razo da felicidade. Pessoas felizes sempre conseguem obter bons resultados em
exames. Assim sendo, voc conseguir fazer uma boa prova.
Aula 3 Lgica Proposicional

Introduo
A lgica proposicional tambm conhecida na literatura como lgica sentencial, clculo
sentencial ou clculo proposicional. Esta lgica visa formalizar a estrutura lgica mais elementar do
discurso matemtico, definindo precisamente o significado dos conectivos lgicos no, e, ou, se..ento e
se somente se (Casanova et al., 1987). Este significado obtido pela combinao de sentenas
(proposies) simples e assim formando proposies mais complexas. Tanto para proposies simples
quanto compostas, esta lgica trabalha com valores de verdade e de falsidade.
O estudo detalhado dessa lgica importante porque ela contm quase todos os conceitos
importantes necessrios para o estudo de lgicas mais complexas, tal como a lgica de predicados
(Wikipdia, 2008). Nesta aula, abordaremos tanto a parte sinttica por meio da apresentao do alfabeto
e das regras de formao de frmulas bem formadas, quanto parte semntica da lgica proposicional,
enfatizando os valores de verdade e de falsidade das frmulas. Apresentaremos ainda como os
conectivos lgicos so usados em conjunto com as proposies, bem como o seu aspecto lgico.
A Lgica foi sistematizada por Aristteles (384-322 a.C.) e se constituiu durante toda a Idade Mdia
como matria principal ao lado da Teologia e da Filosofia (Teles, 2000).
3.1 Alfabeto
Assim como na lngua portuguesa temos um alfabeto (a, b, c...., z, A, B,...Z) e, a partir deste,
conseguimos criar palavras reais, na lgica proposicional tambm temos um alfabeto e que de acordo
com algumas regras de formao conseguimos construir frmulas vlidas.
O alfabeto da lgica proposicional constitudo por smbolos lgicos e no-lgicos. Os smbolos
lgicos so caracterizados por:
pontuao: (, )
conectivos:
(negao),
(conjuno),
(disjuno),
(condicional ou implicao),
(bicondicional ou bi-implicao).
Os smbolos no-lgicos so definidos por:
p q r
proposies: por conveno, letras do meio para o fim do alfabeto, tais como: ...
A B C
,...,
...
Os smbolos de pontuao ( e ) servem, assim como na matemtica, para delimitar o escopo

de atuao da frmula. Esses smbolos so usados, normalmente, quando se deseja mudar a ordem de
precedncia de operaes a serem realizadas. Caso contrrio, o uso dos parnteses torna-se opcional,
pois estes no mudam o sentido que se deseja expressar.
Os smbolos conectivos, por sua vez, so bastante conhecidos como conectivos lgicos ou
proposicionais. Estes smbolos so utilizados em conjunto com proposies e representam operaes
lgicas. A seguir veremos com maiores detalhes o comportamento de cada um desses conectivos no que
se diz respeito ao seu valor lgico.
As proposies, basicamente, representam fatos, ou seja, pensamento de sentido completo.
Observe ainda que este conjunto de smbolos infinito, permitindo que sejam criadas diversas
proposies simultaneamente. Assim, por exemplo, reescrevendo o exemplo clssico de lgica
apresentado na aula anterior, teramos:
p
: Todos os homens so mortais.
q
: Scrates homem.
r
: Portanto, Scrates mortal.
p q
Ento, ao invs de escrever toda a sentena, poderemos utilizar somente as proposies
r
e
para expressar estes fatos. A partir do alfabeto da lgica proposicional, podemos criar frmulas que
so uma seqncia dos smbolos. No entanto, nem toda unio dos smbolos do alfabeto considerada
uma frmula vlida ou bem formada (well-formed formula - WFF). Uma frmula bem formada da lgica
proposicional formada pelas seguintes regras de formao (Souza, 2002):
todo smbolo proposicional uma frmula;
se
uma frmula ento
se
se
so frmulas ento
P
e
( P Q)
( P Q)
so frmulas ento
P
se
P
, a negao de
se
, a disjuno das frmulas
P
, a conjuno das frmulas
( P Q)
, uma frmula;
so frmulas ento
, uma frmula;
P
, o condicional das frmulas
( P Q)
so frmulas ento
frmula;
, uma frmula;
P
, o bicondicional das frmulas
frmula.
, uma
, uma
P ( P Q) P
Considerando estas regras, conclumos que ,
,
(( P Q) P)
e
so, por
PQ ( P Q )
exemplo, frmulas bem formadas da lgica proposicional. Por outro lado,
, por
exemplo, no so consideradas frmulas vlidas, ou seja, so frmulas mal formadas.

Com relao precedncia dos conectivos lgicos, h uma conveno em que o conectivo de
negao tem a maior precedncia dentre os demais. Em seguida, esto os conectivos de conjuno,
disjuno, condicional e bicondicional. Portanto, podemos formalizar esta ordem de precedncia de
acordo com o apresentado na figura 1.
MAIOR
PRECEDNCIA
MENOR
PRECEDNCIA
Figura 1: Precedncia dos conectivos lgicos (Adaptado de Hubner, 2008).

Com a definio da ordem de precedncia dos conectivos lgicos, podemos ainda simplificar
algumas frmulas com relao aos smbolos de pontuao. Vejamos o seguinte exemplo:
(( P) ( P Q)) (Q)
Neste caso, podemos reescrever esta frmula sem alterar o seu significado eliminando alguns
P ( P Q ) Q
smbolos
de
pontuao.
Assim,
esta
frmula
simplificada
seria:
Convencionalmente, assim como na matemtica, os parnteses mais externos podem ser omitidos.
As proposies podem ainda ser classificadas como simples e compostas de acordo com a sua
formao. Uma proposio considerada simples quando no possui nenhuma outra proposio como
parte complementar de si mesma. As proposies compostas, por sua vez, so aquelas em que existe
uma combinao de duas ou mais proposies simples por meio dos conectivos lgicos.
p q r
Convencionalmente, utilizam-se letras minsculas (...,
, , , ...) para representar proposies simples
P Q R
e letras maisculas (...,
, ...) para expressar as proposies compostas. Vejamos alguns
exemplos de proposies simples e compostas:
p
a)
: Palmas a mais nova capital do Brasil
q
b)
: Cachorro um mamfero
P
c)
: A temperatura est muito alta e a umidade bastante baixa
R
d)
: Se comprar queijo, ento no comprar requeijo
Analisando estes exemplos, conclumos que as duas primeiras proposies so classificadas
p
como simples (
q
e
P
); e as duas ltimas so proposies compostas (
R
e
), pois por intermdio de
P
conectivos unem dois pensamentos. Sendo que na proposio
foi usado o conectivo de conjuno, e
R
na proposio
foi apresentado o conectivo condicional.
Ainda com relao sintaxe da lgica proposicional, definiremos a seguir o comprimento de uma
P
frmula e subfrmulas. O comprimento de uma frmula
P
, denotado por comp[
segue (Souza, 2002):
P
Se
P
um smbolo proposicional ento comp[
P
Se
comp[
so frmulas proposicionais, ento:
P
] = comp[
]+1
P Q
comp[
] = comp[
PQ
comp[
comp[
comp[
P
] + comp[
P
] = comp[
PQ
PQ
]+1
Q
] + comp[
P
] = comp[
] + comp[
]+1
P
] = comp[
]+1
] + comp[
]+1
]=1
], definido como se
Observe ainda que os smbolos de pontuao no so levados em considerao na verificao

do comprimento das frmulas. Portanto, a contagem realizada somente com os conectivos lgicos,
bem como os smbolos proposicionais utilizados na frmula.
Quando trabalhamos com frmulas bem formadas complexas bastante usual separarmos em
diversas subfrmulas para se obter uma melhor compreenso. Sendo assim, dizemos que uma frmula
P
subfrmula de uma frmula
se e somente se
P
uma subcadeia de
. Por exemplo:
P (( P Q) P) (Q P)
:
Q (( P Q) P )
:
Q
Neste caso, podemos afirmar que
P
uma subfrmula de
3.2 Conectivos Lgicos

As frmulas da lgica proposicional, inclusive os smbolos proposicionais, possuem como
significado valores verdadeiro (V, true, T ou 1) ou falso (F, false, F ou 0). Assim, o significado de uma
frmula no conhecido antecipadamente, mas a partir dos valores verdade das proposies
constituintes desta frmula possvel encontrar seu valor lgico. Ento vamos conhecer agora o
P
comportamento de cada um dos conectivos lgicos utilizando as proposies
. Para representar
o valor lgico das proposies, iremos usar a funo v, a qual possui dois valores lgicos, que so V e F.
3.2.1 Negao
O conectivo
representa a negao, isto , o inverso do pensamento. Assim, a negao do
verdadeiro falso, e a negao do falso verdadeiro. Desta forma, podemos estruturar o

comportamento deste conectivo da seguinte forma:
P
v(
P
)=
V, se v(
F, se v(
)=F
P
)=V
P
A forma de leitura deste conectivo para esta proposio, por exemplo, no
P
verdade
P
, falso que
P
, no tem
P
ou no fato que
ou no
P
Considerando que a proposio
P
represente a sentena O prefeito renunciou, temos, se
P
verdadeiro, O prefeito renunciou e
temos falso que o prefeito renunciou e vice-versa.
3.2.2 Conjuno
O conectivo
representa a conjuno, isto , a combinao aditiva de proposies. Neste
caso, para que o valor lgico seja verdadeiro necessrio que as duas proposies analisadas sejam
verdadeiras simultaneamente. Caso contrrio, seu valor falso. Desta forma, podemos estruturar o
comportamento deste conectivo da seguinte forma:
PQ
v(
P
)
V, se v(
) = v(
)=V
F, caso contrrio
P
A forma de leitura deste conectivo usando estas proposies, por exemplo,
Q
tambm
P
, no s
, mas, ainda,
assim como
P
Agora considere
P
,
P
ou
como O aluno estudou e
como O aluno obteve uma excelente nota na
prova. Ento a sentena O aluno estudou e obteve uma excelente nota na prova ser verdadeira
somente se as duas sentenas isoladas forem verdadeiras. Ou seja, se por acaso o aluno estudou e no
obteve uma excelente nota, ento a frase completa (O aluno estudou e obteve uma excelente nota na
prova) ser falsa.
3.2.3 Disjuno
O conectivo
representa a disjuno, ou seja, a escolha de forma no exclusiva. Deste modo,
o valor lgico verdadeiro se pelo menos um dos valores das proposies forem verdadeiros. Caso
contrrio, ser falso. Assim, podemos expressar este comportamento da seguinte maneira:
P Q
v(
P
)
F, se v(
) = v(
V, caso contrrio
)=F
P
ou
P
Para este conectivo, considere
como O aluno estuda para a prova e
O aluno faz uma
redao. Assim a sentena O aluno estuda para a prova ou faz uma redao verdadeira se pelo
menos uma das sentenas isoladas for verdadeira.
3.2.4 Condicional
O conectivo
representa a implicao ou o condicional entre duas proposies, sendo a
proposio do lado esquerdo chamada de antecedente e a do lado direito chamada de conseqente.

Deste modo, o valor lgico falso se o antecedente tiver valor verdadeiro e, simultaneamente, o
conseqente tiver o valor igual a falso. Nos demais casos, ser o valor verdadeiro. Assim, podemos
expressar este comportamento da seguinte maneira:
PQ
v(
P
)
F, se v(
) = V e v(
V, caso contrrio
)=F
P
A forma de leitura deste conectivo usando estas proposies, por exemplo, se
P
logo
P
ou
implica
parte da causa de
P
Por exemplo, considere
P
. Podemos inferir ainda que
ento
como O planeta Terra gira e
O planeta Terra se move. Assim,
temos Se o planeta Terra gira, ento o planeta Terra se move. Neste caso, observe que o planeta
Terra se move est condicionado ao fato de o planeta Terra girar e ser falso apenas quando o
antecedente for verdadeiro e o consequente for falso.
O antecedente condio suficiente para ocorrncia do consequente. O consequente
condio necessria para ocorrncia do antecedente
Exemplos:
Se Fulano estuda, ento Beltrano vai ao cinema.
Separando os termos:
Se Fulano estuda [Condio suficiente]
Beltrano vai ao cinema [Condio necessria]
Fulano estar a estudar condio suficiente para Beltrano ir ao cinema (Fulano -> Beltrano)
Beltrano ir ao cinema condio necessria para fulano estudar (Fulano -> Beltrano)
Se chover ento molha a rua
suficiente chover para voc deduzir que a rua fica molhada

O fato da rua ficar molhada no garante que choveu
Um outro exemplo :
Todo carioca brasileiro
Ser carioca condio suficiente para ser brasileiro, pois basta que algum seja carioca para
que seja tambm brasileiro.
Alm disso, ser brasileiro condio necessria para ser carioca, pois ningum pode ser carioca
sem ser tambm brasileiro.
3.2.5 Bicondicional
O conectivo
representa a bi-implicao ou bicondicional entre duas proposies. Deste
modo, o valor lgico verdadeiro se ambas proposies possurem valores lgicos iguais ao mesmo
tempo, podendo ser tanto verdadeiro quanto falso. Nos demais casos, o valor falso. Assim, podemos
expressar o comportamento deste conectivo da seguinte maneira:
PQ
v(
P
)
V, se v(
) = v(
F, caso contrrio
P
Q
se
P
ou
se e somente
condio necessria e suficiente para
P
Por exemplo, considere
como O prefeito ser cassado e
O prefeito permanece no
cargo. Assim, temos O prefeito ser cassado se e somente se ele permanecer no cargo. Dessa forma,
esta frase ser verdadeira somente se os valores das sentenas isoladas obtiverem o mesmo valor
lgico, podendo ser verdadeiro ou falso.
Alm destes conectivos lgicos clssicos, tem se ainda a disjuno exclusiva que representada
por
Este conectivo uma variao da disjuno apresentada anteriormente, sendo que para o valor
lgico ser verdadeiro somente uma das proposies envolvidas pode ter seu valor lgico como
verdadeiro. Assim, a outra proposio precisa, obrigatoriamente, possuir o valor lgico como falso. Desta
maneira, podemos expressar este comportamento da seguinte maneira:
P Q
v(
P
)
V, se v(
) = V e v(
)=F
P
=
V, se v(
) = F e v(
F, caso contrrio
)=V
P
A forma de leitura deste conectivo usando estas proposies, por exemplo, ou
P
Para este conectivo, considere
ou
como O prefeito renuncia e
O prefeito ser cassado.
Assim, teramos a sentena Ou o prefeito renuncia ou ele ser cassado. Neste caso, a frase ser
verdadeira somente se uma das opes for verdadeira. Caso contrrio, ser falsa.
Antes de conhecer algumas leis importantes da lgica envolvendo estes conectivos lgicos,
vamos fazer uma analogia entre a teoria dos conjuntos, mostrada na primeira aula, e a lgica
proposicional que est sendo vista nesta aula para a apresentao de um valor lgico. Assim, considere
A 1,2,3,4,5 p
,
q
= 5 pertence ao conjunto A e
= 1 no pertence ao conjunto A. Desta forma, de
forma notacional, teremos:
5 A
:V
p
v(
): V
1 A
:F
v ( ): F
Com isso, finalizamos a apresentao do comportamento dos conectivos lgicos da lgica

proposicional.
3.3 Leis fundamentais da Lgica
A lgica proposicional possui trs leis fundamentais ou axiomas (verdade evidente por si mesma,
e que no precisa ser provada), que so a do terceiro excludo, a da no-contradio e a da identidade,
que servem para guiar o nosso raciocnio lgico (Aranha e Martins, 2003). Vejamos a seguir cada uma
delas.
3.3.1 Lei do terceiro excludo
Esta lei afirma que uma frmula proposicional s pode ser verdadeira ou falsa. Assim, descartase uma terceira opo de valor lgico que no seja verdadeiro ou falso. Por exemplo: esta criana tem
ou no tem 10 anos. Podemos ento representar esta lei com a seguinte frmula proposicional:
p p
Uma proposio e sua negao no so nunca verdadeiras ao mesmo tempo. De uma proposio e de
sua negao podemos dizer que uma delas pelo menos verdadeira (Teles, 2000).
3.3.2 Lei da no-contradio
Esta lei diz que uma frmula proposicional no pode ser, simultaneamente, verdadeira e falsa.
Ou seja, no posso afirmar que esta criana tem e no tem 10 anos ao mesmo tempo. Podemos
representar esta lei do seguinte modo:
( p p )
3.3.3 Lei da identidade
Esta lei refere-se que o que , e o que no , no . Uma vez definido se ou no, este
conceito deve permanecer ao longo do raciocnio. Podemos ento representar esta lei da seguinte
maneira:
p p
p p
3.4 Diferentes Notaes

Alm desta notao usada para representar os conectivos lgicos, possvel tambm encontrar
na literatura uma variedade de outros smbolos. Dentre eles, podemos destacar: negao (~, , !, not),
conjuno (., and), disjuno (+, or) e disjuno exclusiva ().
Outro aspecto que pode ser analisado com relao aos conectivos lgicos a quantidade de
proposies necessrias para a obteno de um novo valor lgico. O conectivo de negao, por
exemplo, considerado unrio, visto que necessita de somente uma proposio para obter o novo valor
lgico. Por outro lado, os demais conectivos lgicos so binrios, pois precisam analisar os valores de
duas proposies para se encontrar o novo valor lgico.
3.5 Manipulando a Negao
Um problema de grande importncia para a lgica o da identificao de proposies equivalentes
negao de uma proposio dada. Negar uma proposio simples uma tarefa que no oferece grandes
obstculos. Entretanto, podem surgir algumas dificuldades quando procuramos identificar a negao de
uma proposio composta.
Como vimos anteriormente, a negao de uma proposio deve ter sempre valor lgico oposto ao da
proposio dada. Desse modo, sempre que uma proposio A for verdadeira, sua negao (no A) deve
ser falsa e sempre que uma proposio A for falsa, a sua negao (no A) deve ser verdadeira.
Em outras palavras, a negao e uma proposio deve ser contraditria com a proposio dada. A
tabela a seguir mostra as equivalncias mais comuns para as negaes de algumas proposies
compostas:
Proposio
Negao direta
Equivalncia da Negao
AeB
No (A e B)
No A ou no B
A ou B
No (A ou B)
No A e no B
Se A ento B
No (se A ento B)
A e no B
A se e somente se B
No (A se e somente se B)
[(A e no B) ou (B e no A)]
Todo A B
No (todo A B)
Algum A no B
Algum A B
No (algum A B)
Nenhum A B
Considere as seguintes proposies:

p: Elisabete gosta de viajar.
q: Eunice gosta de fazer compras.
E a proposio composta: Elisabete gosta de viajar e Eunice gosta de fazer compras.
Em linguagem da Lgica, podemos escrever:
p /\ q (Negao) = ~ ( p /\ q )
Eliminando-se os parnteses, o sinal /\ trocado por v (trocamos "e" por "ou"), assim:
~ (p /\ q) = ~ p v ~ q
Desta forma a nova proposio seria:
Elisabete no gosta de viajar ou Eunice no gosta de fazer compras.
Considere mais esta proposio:

p: Dbora inteligente.
A negativa: ~ p: Dbora no inteligente
A negao da proposio negativa:

~ (~ p): No verdade que Dbora no inteligente.
Ou seja Dbora inteligente.
Neste caso, temos:
~ (~ p) = p
Atividades
1) Considerando s regras de formao de frmulas bem formadas, identifique dentre as frmulas
apresentadas a seguir quais so frmulas da lgica proposicional. Considere ainda a forma simplificada
de representao de frmulas em que os smbolos de pontuao podem ser eliminados.
( P Q ) ( R Q )
a)
( P Q )(R Q)
b)
(Q) (R Q)
c)
(( P Q) (R (Q)))
d)
2) Simplifique ao mximo, se possvel, o nmero de smbolos de pontuao das frmulas a seguir.
( P Q) P
a)
(( P (Q) T ) (R (Q)))
b)
(( P Q) ((R) (Q)))
c)
3) Analise as afirmativas apresentadas a seguir e, em seguida, escolha a alternativa correta.
I O conectivo de negao possui a maior precedncia entre os conectivos, assim o primeiro a
ser realizado numa frmula.
II O comprimento de uma frmula obtido pela soma dos conectivos, proposies e smbolos
de pontuao envolvidos.
( P Q)
III
( P Q ) R ) ( R Q )
uma subfrmula de
IV A lei do terceiro excludo diz que uma proposio pode ter somente valor verdadeiro ou
falso, podendo nunca possuir outro valor exceto esses dois.
a) As afirmativas I e III esto corretas.
b) As afirmativas II e IV esto corretas.
c) As afirmativas I, III e IV esto corretas.
d) Todas as afirmaes esto corretas.
4) Considerando os valores lgicos das proposies (F e V) e os conectivos a seguir, identifique o seu
P
valor lgico de
) = V e v(
) = F e v(
) = V e v(
)=F
PQ
Q
d) v(
)=F
PQ
Q
c) v(
)=F
P Q
Q
b) v(
).
PQ
Q
a) v(
P
, ou seja, v(
) = F e v(
)=F
5) Considerando que a proposio p significa Joo bonito e a q significa Joo inteligente,

represente as frases a seguir usando o alfabeto da lgica proposicional.
a) Joo bonito e inteligente
b) Joo inteligente mas no bonito
c) No verdade que Joo bonito e inteligente
d) Se Joo bonito, ento ele no inteligente
e) Se Joo feio, ento ele inteligente
f) Joo feio se e somente se ele no for inteligente
6) Considere que a proposio p represente gosto de viajar e a proposio q visitei o Chile,
represente com a linguagem da lgica proposicional as seguintes sentenas.
a) Gosto de viajar se e somente se visitei o Chile
b) Se no visitei o Chile, ento no gosto de viajar
c) Se gosto de viajar e no visitei o Chile, ento no gosto de viajar
d) Visitei o Chile e no gosto de viajar
e) No verdade que: gosto de viajar e visitei o Chile
f) Se visitei o Chile, ento gosto de viajar
g) No gosto de viajar ou no visitei o Chile

7) Transcreva para a lgica proposicional as seguintes frases.
a) Se elefantes podem subir em rvores, ento 3 um nmero irracional
b) proibido fumar cigarro ou charuto
c) Se as laranjas so amarelas, ento os morangos so vermelhos
d) falso que se Montreal a capital do Canad, ento a prxima copa ser realizada no Brasil
8) Analise os enunciados a seguir e defina-os se so ou no proposies.
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
Tudo bem?
Joo um mdico
Ela bonita
Estude para concursos
Seja um bom marido
Pare!
N um nmero natural
10 + 10 > 20
X + Y > 20
2 um nmero primo
A lua feita de queijo
O jogo vai acabar logo?
9) Formalize para a lgica proposicional as seguintes frases.

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
o)
A eutansia permitida por lei se for praticada na Holanda.

A eutansia deve ser permitida se, e s se, for aplicada a doentes terminais.
Se Picasso espanhol e est vivo, ento no pintor.
Picasso espanhol e, se est vivo, ento no pintor.
Picasso espanhol, mas no est vivo.
Picasso no est vivo, embora seja espanhol e pintor.
No acontece depressa e bem.
Vou praia e tomo banho ou leio um livro.
Se o professor no se despachar, chega tarde escola e os alunos tm folga.
Pedro e Ins amam-se.
Se chove, ento no vou praia.
Thiago s vai ao supermercado se e somente se Mariana, rika e Silvia no forem.
Mariana vai festa, mas Silvia s vai se rika no for.
Maria bonita ou se Maria estudiosa ento boa aluna.
Joo magro e inteligente ou Maria no brasileira.
10) Formalize os argumentos a seguir utilizando a linguagem da lgica proposicional.

a) Se for praia e tomar banho, leio um livro. Sucede que no leio um livro, portanto no vou praia e
tomo banho.
b) Est a chover, uma vez que se no chovesse as pessoas no estavam molhadas e as pessoas esto
molhadas.
c) A Ana no est contente, pois quando tira positiva num teste fica contente e sempre que fica
contente canta. Acontece que a Ana no canta.
d) Deus existe ou a Bblia est errada. Se Deus existe, no existe o mal no mundo. Mas no mundo
existe o mal. Da que a Bblia esteja errada.
e) Se Deus existe e bom, ento o mal no existe no mundo. Mas se o mal no existe no mundo, o
paraso terrestre existe. Mas ser que o paraso existe na Terra? A verdade que o paraso terrestre
no existe. Logo, no verdade que Deus existe e bom.
11) Represente o significado das sentenas abaixo utilizando os princpios do diagrama de Venn (visto
anteriormente).
a) p
b) p
c) p q
d) p q
e) p q
f) p q
12) Considere as proposies p: Est frio e q: est chovendo. Traduza as frmulas a seguir para a
linguagem natural.
a) p q
b) p q
c) p q
d) p q
13) Negue em linguagem corrente as seguintes proposies:
a)
b)
c)
d)
e)
f)
g)
Atltico alvi-verde e Coritiba rubro-negro.

As vendas diminuem e os preos aumentam.
falso que est frio ou que est chovendo.
Se Joo passar em Fsica ento se formar.
No tenho carro e no tenho moto.
Se estiver chovendo, eu levo o guarda-chuva.
Pedro no pedreiro ou Paulo paulista.
14) As sentenas a seguir esto em linguagem natural. Escreva cada uma delas usando a linguagem da
Lgica Proposicional.
a) Se chove ento as ruas ficam molhadas.
b) Joo magro ou Maria no brasileira.
c) Se Maria estuda bastante ento Maria vai ao cinema.
d) Antonio vai ao cinema se e somente se o filme for uma comdia.
e) Ou Maria ir ao cinema e Joo no, ou Maria no ir e Joo ir.
f) Maria tem 10 anos ou se Maria estudiosa ento boa aluna.
15) Represente os argumentos apresentados abaixo usando a linguagem da lgica proposicional e,

depois, informe quanto sua validade, ou seja, o argumento vlido ou no. Justifique sua resposta.
a) Se caminho pela rua, ento sou reprovado em lgica. Se no jogo futebol, ento corro. Fui reprovado
em lgica. Logo, corri.
b) Se as leis so boas e o seu cumprimento rigoroso, diminuir a criminalidade. Se o cumprimento
rigoroso da lei faz diminuir a criminalidade, ento, nosso problema de carter prtico. As leis so boas.
Portanto, nosso problema de carter prtico.
c) Se Joo mantm a promessa, ento, se as entregas forem feitas a tempo, a mercadoria estar boa. A
mercadoria no estar boa. Logo, se as entregas forem feitas a tempo, Joo no cumpre a sua
promessa.
16) Represente as declaraes apresentadas abaixo usando a linguagem da lgica proposicional e, em
seguida, escreva a sua negao o mais simples possvel.
a) Ela tem cabelos loiros se e somente se tem olhos verdes.
b) Se eu no for aula ento meu pai me colocar de castigo.
c) Maria bonita e Maria no estudiosa.
d) Se rika for festa, Mariana vai e Silvia no vai.
17) Formalize as frases a seguir considerando os seguintes smbolos proposicionais:
T = Thiago vai ao supermercado.
E = rika vai festa.
M = Mariana vai festa.
S = Silvia vai festa.
a) Se rika for festa, Mariana vai e Silvia no vai.
b) Silvia vai festa, mas Thiago vai ao supermercado.
c) Se Thiago no for ao supermercado, Mariana, rika e Silvia vo festa.
d) Mariana vai festa, mas Silvia s vai se rika for.
e) rika vai festa se e somente se Mariana e Silvia no forem.
f) Ou Mariana vai festa, ou Silvia vai. Mas s se Thiago for ao supermercado.
18) Identifique premissas e concluso nos argumentos a seguir.
a) Dado que h pessoas tristes, ento h sofrimento no mundo. Alm disso, os hospitais esto cheios de
pessoas.
b) As pessoas dizem coisas quando utilizam a Internet que nunca diriam se estivesse frente a frente com
outras pessoas. Em primeiro lugar, porque as pessoas sentem-se confortveis atrs do monitor do seu
computador. Em segundo lugar, porque quando navegam na Internet, as pessoas sentem que no
necessitam de respeitar regras sociais.
c) Dado que uma escola pblica da Gr-Bretanha conseguiu tornar-se uma das melhores escolas do
pas depois de ter adotado temas dos livros do personagem Harry Potter nas suas aulas, pode-se dizer
que o Harry Potter permite melhorar os resultados escolares.
20) (ELETRONORTE) Se cada macaco fica no seu galho, ento:
a) tem mais macaco do que galho.

b) pode haver galho sem macaco.
c) dois macacos dividem um galho.
d) cada macaco fica em dois galhos.
e) dois galhos dividem um macaco.
21) (UFMT) Se num campeonato de futebol verdade que quem no faz, leva, ou seja, time que no
marca gol numa partida sofre ao menos um gol nessa mesma partida, ento:
a) em todos os jogos os dois times marcam gols.
b) nenhum jogo termina empatado.
c) o vencedor sempre faz um gol a mais que o vencido.
d) nenhum jogo termina 0 x 0, ou seja, sem gols.
e) resultados como 1 x 0, 2 x 0 ou 3 x 0 no so possveis.
22) Um agente de viagens atende trs amigas. Uma delas loira, outra morena e a outra ruiva. O
agente sabe que uma delas se chama Bete, outra se chama Elza e a outra se chama Sara. Sabe, ainda,
que cada uma delas far uma viagem a um pas diferente da Europa: uma delas ir Alemanha, outra ir
Frana e a outra ir Espanha. Ao agente de viagens, que queria identificar o nome e o destino de
cada uma, elas deram as seguintes informaes: A loira: No vou Frana nem Espanha. A morena:
Meu nome no Elza nem Sara. A ruiva: Nem eu nem Elza vamos Frana. O agente de viagens
concluiu, ento, acertadamente, que:
a) A loira Sara e vai Espanha.
b) A ruiva Sara e vai Frana.
c) A ruiva Bete e vai Espanha.
d) A morena Bete e vai Espanha.
e) A loira Elza e vai Alemanha.
23) (AFTN) Considere as afirmaes: A) se Patrcia uma boa amiga, Vtor diz a verdade; B) se Vtor diz
a verdade, Helena no uma boa amiga; C) se Helena no uma boa amiga, Patrcia uma boa amiga.
A anlise do encadeamento lgico dessas trs afirmaes permite concluir que elas:
a) implicam necessariamente que Patrcia uma boa amiga.
b) so consistentes entre si, quer Patrcia seja uma boa amiga, quer Patrcia no seja uma boa amiga.
c) implicam necessariamente que Vtor diz a verdade e que Helena no uma boa amiga.
d) so equivalentes a dizer que Patrcia uma boa amiga.
e) so inconsistentes entre si.
24) (FGV) Algum afirmou certa vez que toda pessoa que diz que no bebe no est sendo honesta.
Pode-se concluir dessa premissa que:
a) Uma pessoa que diz que bebe est sendo honesta.
b) Uma pessoa que est sendo honesta se diz que bebe.
c) No existem pessoas honestas que dizem que no bebem.
d) NDA.
25) correto o raciocnio lgico dado pela sequncia de proposies seguintes: Se Clia tiver um bom
currculo, ento ela conseguir um emprego. Ela conseguiu um emprego. Portanto, Clia tem um bom
currculo. Explique o raciocnio das afirmaes com auxlio dos diagramas de conjuntos.
26) (MTE) Investigando uma fraude bancria, um famoso detetive colheu evidncias que o convenceram
da verdade das seguintes afirmaes:
Se Homero culpado, ento Joo culpado. Se Homero inocente, ento Joo ou Adolfo so culpados.
Se Adolfo inocente, ento Joo inocente.
Se Adolfo culpado, ento Homero culpado. As evidncias colhidas pelo famoso detetive indicam,
portanto, que:
a) Homero, Joo e Adolfo so inocentes.
b) Homero, Joo e Adolfo so culpados.
c) Homero culpado, mas Joo e Adolfo so inocentes.
d) Homero e Joo so inocentes, mas Adolfo culpado.

e) Homero e Adolfo so culpados, mas Joo inocente.
27) Identifique antecedente e conseqente das seguintes proposies:
a) Se a chuva continuar o rio vai transbordar.
b) Maria vende o carro, se comprar a casa.
c) Maria vende o carro s se comprar a casa.
d) Os abacates s esto maduros quando esto escuros e macios.
28) (BACEN 2006 FCC) Sejam as proposies:
p: atuao compradora de dlares por parte do Banco Central;
q: fazer frente ao fluxo positivo.
Se p implica em q, ento
a) a atuao compradora de dlares por parte do Banco Central condio necessria para fazer frente
ao fluxo positivo.
b) fazer frente ao fluxo positivo condio suficiente para a atuao compradora de dlares por parte do
Banco Central.
c) a atuao compradora de dlares por parte do Banco Central condio suficiente para fazer frente
ao fluxo positivo.
d) fazer frente ao fluxo positivo condio necessria e suficiente para a atuao compradora de dlares
por parte do Banco Central.
e) a atuao compradora de dlares por parte do Banco Central no condio suficiente e nem
necessria para fazer frente ao fluxo positivo.
29) Escreva a negao das declaraes apresentadas abaixo.
a) Maria vende o carro se e somente se comprar a casa.
b) se juiz ento advogado.
c) chove ou faz calor.
d) gosto de arroz mas no de macarro.
30) Represente os argumentos apresentados abaixo usando a linguagem da lgica proposicional e,
depois, informe quanto sua validade, ou seja, o argumento vlido ou no. Justifique sua resposta.
a) Se o programa eficiente, ento ele executado rapidamente. O programa eficiente ou ele tem um
problema. No entanto, o programa no executado rapidamente. Portanto, ele tem um problema.
Usar as letras sentenciais: e, r, p
b) A safra boa, mas no h gua suficiente. Se houver muita chuva ou no muito sol, ento h gua
suficiente. Portanto, a safra boa e h um monte de sol.
Usar letras sentenciais: s, a, c, s
c) Se Joo bebe cerveja, ento ele tem pelo menos 18 anos de idade. Joo no bebe cerveja. Portanto,
Joo ainda no tem 18 anos de idade.
Usar as letras sentenciais: c, i
31) Se chove, ento faz frio. Assim sendo:
a) Chover condio necessria para fazer frio
b) Fazer frio condio suficiente para chover
c) Chover condio necessria e suficiente para fazer frio
d) Chover condio suficiente para fazer frio
e) Fazer frio condio necessria e suficiente para chove
32) Sejam as proposies:

P: atuao compradora de dlares por parte do Banco Central
Q: fazer frente ao fluxo positivo
Se P implica Q, ento:
a) A atuao compradora de dlares por parte do Banco Central condio necessria para fazer frente
ao fluxo positivo
b) Fazer frente ao fluxo positivo condio suficiente para a atuao compradora de dlares por parte do
Banco Central
c) A atuao compradora de dlares por parte do Banco Central condio suficiente para fazer frente
ao fluxo positivo
d) Fazer frente ao fluxo positivo condio necessria e suficiente para a atuao compradora de
dlares por parte do Banco Central
e) A atuao compradora de dlares por parte do Banco Central no condio suficiente e nem
necessria para fazer frente ao fluxo positivo
33) Se anoitece, ento vamos ao cinema. Assim sendo:
a) Anoitecer condio necessria para irmos ao cinema
b) Ir ao cinema condio suficiente para anoitecer
c) Anoitecer condio necessria e suficiente para irmos ao cinema
d) Anoitecer condio suficiente para irmos ao cinema
e) Ir ao cinema condio necessria e suficiente para anoitecer
34) Voc lava o carro se e somente se eu o emprestar a voc. Assim sendo:
a) Voc lava o carro condio necessria para eu o emprestar a voc
b) Eu o emprestar a voc condio suficiente para voc lavar o carro
c) Voc lava o carro condio suficiente para eu o emprestar a voc
d) Voc lava o carro condio necessria e suficiente para eu o emprestar a voc
e) Eu o emprestar a voc condio necessria e suficiente para voc lavar o carro
35) Sabe-se que a ocorrncia de B condio necessria para a ocorrncia de C e condio suficiente
para a ocorrncia de D. Sabe-se, tambm, que a ocorrncia de D condio necessria e suficiente
para a ocorrncia de A. Assim, quando C ocorre,
a) D ocorre e B no ocorre
b) D no ocorre ou A no ocorre
c) B e A ocorrem
d) nem B nem D ocorrem
e) B no ocorre ou A no ocorre
36) Com base no dicionrio
P = o estudante comete erros
Q = h motivao para o estudo
R = o estudante aprende a matria
Simbolizar:
a) Se o estudante no comete erros, aprende a matria.
b) Se h motivao para o estudo, o estudante no comete erros.

c) O estudante aprende a matria se e somente se h motivao para o estudo.
d) Se no h motivao para o estudo, ento o estudante comete erros ou no aprende a matria.
37) Com base no seguinte dicionrio
P = Joo est aqui
Q = Saulo est viajando
R = O contrato assinado
S = Os diretores renem-se hoje
T = Os diretores analisam o contrato
U = Raul aceita a situao
V = Raul encarrega-se de tudo
Simbolizar:
a) Se Joo estiver aqui e Saulo no estiver viajando, os diretores reunir-se-o hoje.
b) Raul aceitar a situao e encarregar-sede tudo.
c) Se Raul no aceitar a situao, ento ele encarregar-sede tudo, Saulo viajar e se ao diretores
analisarem o contrato, ele ser assinado hoje.
d) Os diretores assinaro o contrato se, reunindo-se hoje, notarem que Raul se encarrega de tudo.
e) Se Joo no estiver aqui ou se Saulo estiver viajando, ento o contrato no ser assinado, os
diretores no se reuniro e no analisaro o contrato ou Raul aceita a situao e se encarrega de tudo.
38) Escreva frmulas para as sentenas abaixo utilizando os seguintes smbolos proposicionais:
P = Paula vai festa.
Q = Quincas vai festa.
R = Ricardo vai festa.
S = Sara vai festa.
a) Paula no vai.
b) Paula vai, mas Quincas no vai.
c) Se Paula for, ento Quincas tambm ir.
d) Paula ir, se Quincas for.
e) Paula ir, somente se Quincas for.
f) Paula ir se e somente se Quincas for.
g) Nem Paula nem Quincas iro.
h) Paula e Quincas no iro.
i) Paula vai ou Quincas no vai.
j) Paula no ir, se Quincas for.
k) Ou Paula vai, ou Ricardo e Quincas vo.
l) Se Paula for, ento Ricardo e Quincas iro.
m) Paula no ir, mas Ricardo e Quincas iro.
n) Se Ricardo for, ento se Paula no for, Quincas ir.
o) Se nem Ricardo nem Quincas forem, ento Paula ir.
p) Ricardo ir, somente se Paula e Quincas no forem.
q) Se Ricardo ou Quincas forem, ento Paula ir e Sara no ir.
r) Ricardo e Quincas iro se e somente se Paula ou Sara for.
Aula 4 Tabela-verdade
Introduo
At a aula passada voc aprendeu a identificar o valor lgico de uma proposio e, a
partir deste valor, saber qual seria outro valor lgico, caso combinasse com um certo conectivo
ou
) e/ou com uma segunda proposio. Assim, no mximo, analisamos
duas proposies com um conectivo. Porm, quando se tem um nmero maior de proposies
ou at mesmo quando a frmula se torna complexa devido aos smbolos de pontuao, a
maneira utilizada at o presente momento no traz muitos recursos. Devido a este tipo de
necessidade, foram criadas as tabelas-verdade para sistematizar o processo de obteno de
valores lgicos.
Logo,
nesta
aula,
aprenderemos
como
criar
tabelas-verdade
para
frmulas
proposicionais (simples e compostas), bem como classific-las de acordo com os valores

lgicos obtidos como resultado. Assim, classificaremos uma tabela-verdade como tautologia,
contradio ou contingncia (ou indeterminao). Por fim, analisaremos uma frmula com
relao sua satisfabilidade.
4.1 Tabela-verdade
As tabelas-verdade (ou tabelas de verdade) so tabelas em que so associadas aos
conectivos proposicionais e s frmulas da lgica proposicional. No ltimo caso, as tabelas so
construdas a partir das tabelas associadas aos conectivos proposicionais (Souza, 2002).
Essas tabelas so usadas para verificar se uma frmula verdadeira e vlida.
O nmero de colunas numa tabela-verdade varia de acordo com a frmula que est
sendo analisada. Alm disso, podemos ter ainda para uma mesma frmula proposicional
diversas tabelas-verdade condizentes no que se diz respeito ao nmero de colunas.
Normalmente, para cada frmula analisada, vrias decomposies so realizadas, ou seja, so
escritas as suas subfrmulas. Basicamente, o que diferenciar uma tabela da outra a
capacidade de encontrar valores lgicos analisando um ou mais conectivos ao mesmo tempo.
Inicialmente, recomendamos que escreva todas as subfrmulas da frmula analisada e, com o
passar do tempo, voc ser capaz de agilizar o processo do entendimento dos conectivos e,
conseqentemente, reduzir o nmero de colunas, caso deseje.
( p q ) ( p q )
Por exemplo, se fssemos analisar a frmula
para construir a
tabela-verdade, poderamos criar sete colunas, sendo uma cada para uma das subfrmulas,
q p q ( p q ) ( p q )
p
que so:
( p q ) ( p q )
e
. Observe que a frmula
analisada tambm faz parte de uma das colunas da tabela-verdade.

Com relao quantidade de linhas numa tabela-verdade, esta depender da
quantidade de proposies existentes na frmula a ser analisada. Quando existir apenas uma
nica proposio, por exemplo, teremos duas linhas, sendo preenchidas com os valores V (ou
1) e F (ou 0) em uma nica coluna. Considerando agora duas proposies, por exemplo,
teremos os seguintes valores lgicos: VV, VF, FV e FF, sendo estes apresentadas em cada
linha, que perfaz um total de quatro linhas. A ordem da apresentao desses valores pode ser
alterada, entretanto no pode ocorrer repetio desses valores, ou seja, ter duas linhas FV ou
VF, por exemplo.
Portanto, a quantidade de linhas numa tabela-verdade dar-se- pela frmula
2n
, em que
n representa o nmero de proposies existentes (Casanova et al., 1978). Desta maneira, se

tivermos, por exemplo, quatro proposies numa frmula, ento teremos 16 linhas na tabelaverdade. Assim, esta uma boa dica para certificar-se que a quantidade de linhas da tabelaverdade esteja correta.
Saiba mais!
Uma boa recomendao para comear a construir uma tabela-verdade colocando o valor V
para as proposies mais esquerda e modificando para F quando no existir mais
possibilidades de continuar com V observando as combinaes de V e F para todas as
proposies simples. Este processo continua at chegar ltima linha, que conter somente
Fs.
Portanto, de um modo geral, podemos estruturar a construo da tabela-verdade em
trs etapas:
1. definio da quantidade de linhas, observando o nmero de proposies simples
distintas na frmula proposicional;
2. identificao da ordem de precedncia dos conectivos lgicos, subdividindo assim a
frmula proposicional em subfrmulas. Cabe ressaltar que, assim como na matemtica,
quando existir parnteses nas frmulas, as operaes dentro dos parnteses devero
ser efetuadas primeiramente;
3. preenchimento dos valores lgicos (V ou F) das subfrmulas de acordo com o
comportamento dos conectivos envolvidos.
Ento observe agora como seria a tabela-verdade para representar o comportamento
dos conectivos lgicos
p
proposies
, ,
, apresentados na aula passada, usando as
q
e
pq
pq
V
V
F
F
V
F
V
F
(no p)
F
F
V
V
(p e q)
V
F
F
F
(p ou q)
V
V
V
F
pq
(ou p ou q)
F
V
V
F
pq
pq
(se p ento q)
V
F
V
V
(p se e somente se q)
V
F
F
V
( p q ) ( p q )
Vamos ento agora construir a tabela-verdade para a frmula
p
Como esta frmula possui somente duas proposies (
q
e
), ento j sabemos de antemo
que esta tabela-verdade ter quatro linhas (exceto o cabealho da tabela-verdade) para
apresentar todas as interpretaes dos valores lgicos. Com relao quantidade de colunas,
vamos destinar uma coluna para cada subfrmula existente. Assim, a tabela-verdade para esta
frmula pode ser vista a seguir:
pq
p q
( p q ) ( p q )
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
V
p
Observe que, inicialmente, esta tabela apresenta os valores lgicos das proposies
q
e
. Na sequncia, so obtidos os valores de
q
e
p
em funo de
q
e
respectivamente. De forma similar, foram obtidos os valores lgicos das subfrmulas at
( p q ) ( p q )
alcanar a frmula completa
Analisando os valores finais obtidos em cada uma das linhas da proposio ou frmula
analisada, podemos classificar a tabela em tautologia, contradio ou contingncia. Ento,
vamos entender agora estas trs formas de classificao.
4.2 Tautologia
Uma frmula
uma tautologia ou vlida quando para qualquer interpretao, ou seja,
linha da tabela-verdade possui o valor lgico igual a verdadeiro. Um exemplo clssico de
p p
tautologia a frmula
. Construindo sua tabela-verdade, teremos:
p p
V
F
F
V
V
V
Outro
possvel
exemplo
de
tautologia
pode
ser
observado
na
frmula
( p q ) (q p )
. Ento vamos conferir a sua tabela-verdade.
p q
q p
( p q ) ( q p )
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
V
V
V
F
V
V
V
V
V
V
Pensando sobre o assunto

A palavra tautologia, em grego, significa dizer o mesmo. Em lgica, o termo tautologia adquire
um sentido tcnico importante porque designa os enunciados que sempre resultam
verdadeiros, ou seja, todas as tautologias so equivalente umas s outras (Aranha e Martins,
2003).
4.3 Contradio
Uma frmula
uma contradio quando todas as interpretaes da tabela-verdade
p p
possuem o valor lgico igual a falso. A frmula
conforme pode ser vista pela tabela a seguir.
um exemplo clssico de contradio,
p p
V
F
F
V
F
F
( p p ) ( q q )
A frmula
tambm considerada um exemplo de contradio, a
qual pode ser comprovada pela tabela-verdade apresentada a seguir.
p
V
V
F
F
V
F
F
F
V
V
F
V
Podemos afirmar
p p
F
V
F
V
ainda que
q q
V
V
V
V
a negao de
( p p ) ( q q )
F
F
F
F
F
F
F
F
uma tautologia uma contradio, e a
negao de uma contradio uma tautologia.

4.4 Contingncia ou indeterminao
Uma frmula
uma contingncia ou uma indeterminao quando as interpretaes
possuem valores lgicos iguais a verdadeiro e falso, simultaneamente. Assim, um exemplo
p p
bastante simples a frmula
, conforme pode ser vista na tabela a seguir.
p p
V
F
F
V
F
V
Outro exemplo de frmula indeterminada pode ser visualizada a seguir.
p q
( p q )
pq
( p q) ( p q )
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
F
F
V
F
V
F
F
V
F
V
V
F
( p q) ( p q )
Nesta tabela, a frmula
obteve dois valores verdadeiros e dois
falsos. Enfim, para se obter uma indeterminao na tabela-verdade, basta encontrar pelo
menos um verdadeiro e outro falso.
Assim, finalizamos as trs formas de classificao das tabelas-verdade no que diz

respeito obteno dos valores lgicos das frmulas resultantes.
4.5 Satisfatibilidade
Podemos ainda classificar as frmulas com relao sua satisfatibilidade. Uma frmula
dita satisfatvel (ou factvel) quando existe pelo menos uma interpretao, ou seja, uma
linha da tabela-verdade com o valor verdadeiro (Souza, 2002). Por conseguinte, toda frmula
tautolgica automaticamente uma frmula satisfatvel. Por outro lado, uma frmula
considerada insatisfatvel quando esta no satisfatvel, ou seja, quando se obtm uma
contradio.
Deste modo, podemos concluir ainda que:
se uma frmula no for tautolgica, ento esta pode ser satisfatvel ou
contraditria;
se uma frmula for satisfatvel, ento esta no uma contradio e pode ser
tautolgica;
se uma frmula no for satisfatvel, ento esta uma contradio e no pode
ser tautolgica.
4.6 Tabela-Verdade para Validade de Argumento

Um argumento vlido quando no possvel que as premissas sejam verdadeiras e a
concluso seja falsa. Caso contrrio, o argumento invlido. Para fazer esta definio,
preciso analisar linha a linha da tabela. Por exemplo, considere que as premissas de um
argumento so: p e p q, e a concluso seja o q. Criando uma tabela-verdade para este
argumento, teremos:
pq
V
V
F
F
V
F
V
F
V
F
V
V
Assim, analisando os valores das premissas (primeira e terceira colunas) e o valor da

concluso (segunda coluna), no h uma situao que se tenha premissas verdadeiras e
concluso falsa. Logo, o argumento vlido.
Considere agora o argumento com as premissas q e p q, e a concluso seja o p.

Analisando a tabela-verdade anterior com as premissas sendo a segunda e terceira colunas, e
a concluso como primeira coluna, pode-se concluir que o argumento invlido. Isto acontece
porque na terceira linha de valores lgicos, as premissas so verdadeiras, mas a concluso
falsa.
Atividades
1) Considerando as etapas para a construo de tabelas-verdade apresentadas anteriormente, crie uma
tabela-verdade para as proposies descritas a seguir.
( a b ) ( b a )
a)
a b c a b
b)
a ((b c) (b a))
c)
2) Analise as afirmativas apresentadas a seguir e, em seguida, escolha a alternativa correta.
I Uma frmula considerada indeterminada ou contingente quando so encontrados valores
verdadeiros e falsos simultaneamente na ltima coluna da tabela-verdade.
II A quantidade de linhas de uma tabela-verdade est relacionada com a quantidade de
proposies existentes, bem como o nmero de conectivos lgicos envolvidos.
p p
III A frmula
um exemplo de contradio.
a) As afirmativas I e II esto corretas.

b) As afirmativas II e III esto corretas.
c) As afirmativas I e III esto corretas.
d) Todas as afirmativas esto corretas.
3) Considerando a tabela-verdade apresentada a seguir, classifique se a esta um exemplo de
tautologia, contradio, contingncia, satisfatvel ou insatisfatvel.
p p
V
F
F
V
F
V
4) Construa uma tabela-verdade que apresente um exemplo de frmula tautolgica e outra de

contraditria.
5) Construa a tabela-verdade para as frmulas a seguir e, depois, classifique-a como tautologia,

contradio ou contingncia.
a) (P Q) Q
b) (P Q) (R Q)
c) ((P Q) (Q R)) (P R)
6) Construa tabelas-verdade para as seguintes frmulas proposicionais.
a) p q p q
b) ((p q) (p q)) (p q)
c) (p r) (p q)
d) (p q) p r
7) Considerando que p tenha o valor F, q o valor F, r o valor V, ento determine o valor lgico das
frmulas a seguir.
a) ((p q) (q r)) (p q)
b) ((q r)) ((p))
c) (p q) (q r)
d) (p p q p) r
8) Determinar quais proposies so tautologia, contradio ou indeterminao:
a) p q (p q r)
b) p q p q
c) p (p q)
d) p (p q) p
9) Formalize os argumentos a seguir usando a linguagem proposicional e depois verifique se o
argumento ou no vlido.
Argumento:
Se a medida no for aprovada, ento no teremos aumento salarial.

Ora, a medida foi aprovada.
Logo, teremos aumento salarial.
Argumento:
Se o time joga bem, ganha o campeonato.

Se o time no joga bem, o tcnico culpado.
Se o time ganha o campeonato, os torcedores ficam contentes.
Os torcedores no esto contentes.
Logo, o tcnico culpado.
13) Construa a tabela-verdade para as frmulas proposicionais abaixo e, depois, classifique-as como
tautolgica, contraditria ou contingente.
a) (p q) ((p q) (q r))
b) ((p q) p) q
c) ~(~p q) p q
d) (a (c s) c) a
e) (t a) a t
f) (o b) o
g) (p q) (q p)
h) (r s) (s r)
i) ((p q) (q r)) (p r)
j) (p q) p
Aula 5 Implicao e Equivalncia Lgica

Introduo
Continuando ainda com os estudos da lgica proposicional, nesta aula veremos os
conceitos de implicao e equivalncia lgica aplicados em suas frmulas. Estes conceitos
podem ser facilmente comprovados por meio das tabelas-verdade sob determinadas
condies. Para isso, apresentaremos alguns exemplos comprovando a existncia de uma
implicao ou equivalncia lgica tanto com a notao de frmulas proposicionais quanto com
o uso de sentenas usadas no cotidiano, relembrando o estudo da aula 2. Veremos ainda como
provar a validade de um argumento por meio dos conceitos de implicao e equivalncia
lgica.
Na Lgica Matemtica, existem diversas leis de implicao e equivalncia previamente
definidas pelos pesquisadores, as quais so usadas para nortear o nosso pensamento ou
raciocnio. As implicaes direcionam a obteno de uma concluso caso determinados
acontecimentos (ou premissas) ocorram. As equivalncias, por sua vez, possibilitam que
frmulas proposicionais ou textos sejam substitudos sem perdas lgicas, uma vez que
possuem exatamente o mesmo valor de verdade ou falsidade. As equivalncias desempenham
um papel muito importante em processos de inferncia de um novo conhecimento porque
apresenta alternativas de caminhos a serem percorridos para se chegar numa concluso.
5.1 Implicao lgica
Considerando que
implica em
se
so duas proposies compostas, podemos dizer que
P Q
for uma tautologia, ou seja, aplicado um conectivo
condicional com estas proposies, obtivermos todas as interpretaes da tabela-verdade

como verdadeiro. Neste caso, h uma implicao ou conseqncia lgica.
p q
Um exemplo de implicao lgica pode ser encontrado com as frmulas
p q
Sendo a frmula
o antecedente, e
p
o conseqente do condicional. Com isso, vamos
analisar a tabela-verdade a seguir para confirmar esta implicao lgica.
p
e
p q
( p q) p
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
V
Dados os valores das interpretaes da ltima coluna, podemos comprovar que
p q
obtivemos uma tautologia e, desta forma, inferimos que
realmente implica na
p
proposio
. Assim,
A representao da implicao lgica realizada por meio do smbolo
( p q) p
para este exemplo, podemos expressar esta implicao lgica da seguinte forma:
Cuidado para no confundir os conectivos
. O primeiro conectivo um
condicional que usada entre duas proposies para gerar uma nova proposio,
contendo valores verdadeiros ou falsos. J o segundo conectivo de implicao lgica,
que representa uma relao entre proposies em que se obtm uma tautologia quando
o conectivo do condicional for aplicado.
5.2 Outras implicaes lgicas
Alm do exemplo anterior, na literatura, possvel encontrar outras implicaes lgicas
j identificadas. Essas implicaes so conhecidas tambm como regras de inferncia e nos
permitem concluir o conseqente, uma vez que consideramos o antecedente verdadeiro
(Souza, 2002). As dez regras mais relevantes podem ser visualizadas na tabela 1 (Keller e
Bastos, 2000).
Tabela 1: Regras de Inferncia.
Nome da Regra
Modus Ponens (M.P.)
Modus Tollens (M.T.)
Exemplos
p, p q q
q , p q p
Silogismo hipottico (S.H.)
p q, q r p r
Silogismo disjuntivo (S.D.)
p q , p q
( p q) (r s), p r q s
Dilema construtivo (D.C.)
( p q) (r s ), q s p r
Dilema destrutivo (D.D)
p q p ( p q)
Absoro (Abs.)
pq p
Simplificao (Simp.)
p, q p q
Conjuno (Conj.)
p pq
Adio (Ad.)
( p q ), (r q ), p r q
Condicional (Cond.)
Como voc deve ter observado na tabela 1, a maioria dos antecedentes composta por
mais de uma proposio e que esto separadas por vrgula. Cada uma dessas regras pode ser
facilmente provada por meio de tabelas-verdade, a partir da obteno de uma tautologia como
resultado. Para tanto, vamos averiguar a implicao lgica para as regras Modus Ponens e
Modus Tollens. Assim, teremos as seguintes tabelas-verdade:
Modus Ponens
p q
p ( p q)
p ( p q) q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
V
V
V
V
Modus Tollens
p q
q ( p q )
q ( p q ) p
V
V
F
F
F
F
V
V
V
F
V
F
F
V
F
V
V
F
V
V
F
F
F
V
V
V
V
V
Sendo assim, como os resultados obtidos foram tautologias, comprova-se ento a

existncia dessas implicaes lgicas. Exemplificando agora a funcionalidade dessas duas
regras de inferncia num modo textual, analise as seguintes frases (Pinho, 1999):
(1) Se ganhar na Loteria, fico rico; ganhei na Loteria.
(2) Se ganhar na Loteria, fico rico; no fiquei rico.
Para estas duas frases, podemos inferir um novo conhecimento ou obter uma concluso
do raciocnio utilizando as regras de Modus Ponens e Modus Tollens, respectivamente. Assim,
teramos:
1. Se ganhar na Loteria, fico rico; ganhei na Loteria;
logo, fiquei rico.
2. Se ganhar na Loteria, fico rico; no fiquei rico;
logo no ganhei na Loteria.
Estes exemplos expressam exatamente a implicao dessas regras, as quais podem
p q
ser so formalizadas com
para a frase Se ganhar na Loteria, fico rico, a proposio
q
para a frase ganhei na Loteria,
para a frase fiquei rico,
para a frase no ganhei
q
na Loteria e
para a frase no fiquei rico.
Outra forma de representao da implicao lgica por meio do smbolo
p, p q q
para representar estes exemplos, teramos
. Assim,
q , p q p
e
, respectivamente.
O papel fundamental do uso dessas regras de inferncia justamente inferir novos

conhecimentos, ou seja, encontrar meios em que possamos concluir ou deduzir que um certo
fato verdadeiro ou falso. No entanto, de acordo com Keller e Bastos, nem sempre com estas
regras apresentadas possvel demonstrar a validade ou a no-validade de um argumento.
Sendo para isso, necessrio que ocorra uma substituio de proposies de mesmo valor
lgico (Keller e Bastos, 2000). Para tanto, na prxima seo veremos como isto pode
acontecer.
As regras de inferncia apresentadas na tabela 1 correspondem as formas de raciocnio ou
argumentao elementares, cuja validade facilmente estabelecida por tabelas-verdade. Com
o auxlio delas, podem ser construdas provas formais de validade para uma vasta gama de
argumentos mais complicados (Copi, 1978).
5.3 Falcias
Mesmo tomando afirmaes verdadeiras como ponto de partida (as premissas),
podemos tirar concluses no verdadeiras. So as chamadas falcias. preciso estar atentos,
para no nos deixarmos enganar pelas falcias.
Nem tudo que tem a forma de uma implicao lgica . Por exemplo, se tivermos um
p q
condicional do tipo
q
e a proposio
p
, no possvel concluir
, ou seja:
A B: Todo homem mortal.

B: Tot mortal
No possvel inferir A que significa Tot homem.
Outro exemplo de falcia Todos os mltiplos de 4 so pares. Portanto, qualquer
nmero par mltiplo de 4.
Argumentos contentores de falcias so denominados falaciosos. Frequentemente
parecem vlidos e convincentes; s vezes, apenas uma anlise pormenorizada capaz de
revelar a falha lgica.
5.4 Equivalncia lgica
Considerando que
equivalente
e
se
so duas proposies compostas, podemos dizer que
P Q
for uma tautologia, ou seja, quando aplicado o
condicional com as frmulas em questo, precisamos obter o valor V para cada interpretao
da tabela-verdade.
p q
Para entender melhor esta equivalncia lgica, vamos analisar se as frmulas
( p q )
so equivalentes. Primeiramente, vamos criar uma tabela-verdade para encontrar
os valores lgicos de cada uma das frmulas analisadas. Em seguida, teremos que aplicar o
conectivo do bi-condicional com estas frmulas. Se obtivermos uma tautologia na ltima
( p q )
p q
coluna, ento poderemos dizer que
realmente equivalente
p q
p q
( p q )
( p q ) ( p q)
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
V
F
F
F
V
V
V
V
Um aspecto a ser observado que os valores de cada linha da tabela-verdade da
( p q )
p q
frmula
so exatamente iguais aos valores da frmula equivalente
representao da equivalncia lgica realizada por meio do smbolo
. A
. Assim, podemos
representar este exemplo da seguinte maneira:
( p q ) ( p q )
Com relao s equivalncias lgicas, podemos ainda apresentar trs propriedades,

que so (Pinho, 1999):
p p
reflexiva ocorre se
simtrica ocorre se
transitiva ocorre se
pq
pq
q p
, ento
qr
pr
, ento
Como voc deve ter observado, a tabela-verdade um mecanismo eficaz para verificar
se duas frmulas so ou no equivalentes. Alm disso, j existem na literatura vrias
equivalncias comprovadas, as quais veremos na prxima seo.
5.5 Outras equivalncias lgicas
Dentre as equivalncias existentes, as principais encontram-se apresentadas na tabela
2 (Souza, 2002).
Tabela 2: Regras de Equivalncia.
Nome da Lei
Leis de identidade
Exemplos
p V p
pF p
Leis de dominncia
p V V
pF F
Leis da idempotncia
p pp
p p p
p q q p
Leis da comutatividade
p q q p
( p q) r p (q r )
Leis da associatividade
( p q) r p (q r )
p (q r ) ( p q) ( p r )
Leis da distributividade
p (q r ) ( p q) ( p r )
p (p )
Lei da dupla negao (D.N.)
( p q ) p q
Leis de De Morgan
( p q ) p q
Lei do bi-condicional
p q ( p q) (q p)
Lei da contraposio
p q q p
p pq pq
Lei da absoro
p q p q
Lei do condicional
Cada uma dessas equivalncias pode ser provada com a construo da tabela-verdade
e, neste caso, teremos a obteno da uma tautologia quando aplicado o conectivo do bicondicional com as duas frmulas analisadas. Sendo assim, vamos comprovar as leis de De
Morgan e da contraposio por meio da apresentao de tabelas-verdade.
p q
( p q )
p q
(( p q)) (p q)
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
V
V
V
V
V
p q
q p
( p q ) ( q p )
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
V
V
V
F
V
V
V
V
V
V
Fazendo uma analogia dessas equivalncias com textos da linguagem natural, ento
dois trechos textuais so equivalentes quando exprimem o mesmo sentido ou idia. Assim,
vejamos o seguinte exemplo:
Vou praia ou piscina
Esta sentena exprime a mesma idia se escrevssemos vou piscina ou praia.
p q q p
Esta sentena, portanto, exemplifica o uso da lei da comutatividade, que diz:
Neste caso, no importa a ordem das proposies com o uso da disjuno, a resposta sempre
ser a mesma.
Vamos agora analisar a seguinte frase:
Se voc continuar estudando Introduo Lgica,
ento voc ser aprovado(a) .
Com o mesmo sentido desta frase, poderamos reescrev-la da seguinte forma:
Se voc no estudar Introduo Lgica, voc no ser aprovado(a) .
Deste modo, ambas frases so equivalentes, pois exprimem o mesmo pensamento no
que diz respeito aprovao na disciplina de Introduo Lgica. Este exemplo, portanto,
refora a existncia da lei da contraposio.
Em suma, a partir dessas e outras equivalncias, possvel substituir uma frmula por
outra logicamente equivalente de modo que no tenha perda de sentido. Essas substituies
podem acontecer quando se deseja alterar o modo da frmula num processo de raciocnio
lgico.
5.6 Processo de Prova
Na lgica proposicional, a partir das regras de inferncia e das equivalncias lgicas,
apresentadas nesta aula, podemos realizar o processo de prova por meio da deduo
(conhecido tambm por deduo natural) (Soares, 2003). Assim, partindo de certas frmulas
(premissas), pretendemos provar a concluso apresentada. Para isso, aplicaremos as regras
com intuito de alcanar a concluso proposta e, conseqentemente, confirmaremos a validade
de um argumento. O processo de prova visto como um conjunto finito de linhas (etapas ou
passos) em que cada linha enumerada. Inicialmente, temos a apresentao das premissas
disponveis com as suas identificaes (P - premissa), comeando com a numerao em um.
Em seguida, so apresentadas as frmulas intermedirias obtidas durante a prova, sendo

todas tambm enumeradas e com a identificao da(s) linha(s) aplicada(s), bem como a regra
utilizada (ver tabelas 1 e 2 desta aula). Em suma, o processo de prova basicamente um
procedimento mecnico em que necessrio combinar as linhas existentes com as regras
(inferncia e equivalncia) para se obter a concluso apresentada.
Desta maneira, vamos acompanhar cada passo do processo de prova do argumento
p q, p q
p q
. Primeiramente, importante relembrar que
p
e
so
q
premissas e
a concluso. Ressaltando que obtemos esta informao quando observamos
a presena do
, que separa as premissas da concluso. Sendo assim, estas premissas sero
apresentadas nas duas primeiras linhas do processo. Aplicando as regras de inferncia e as

equivalncias nestas duas premissas com o objetivo de alcanar a concluso, temos:
p q
1.
p
2.
3.
4.
...............................................
...............................................P
...................................................2 D.N. (Dupla negao)
.................................................1,3 M.P. (Modus Ponens)
5.
......................................................4 D.N. (Dupla negao)
p q, p q
Neste caso, dizemos que o argumento
vlido porque
conseguimos obter a concluso.
( p q ) (r s ), p, q s
Observe agora a prova do argumento
as seguintes linhas do processo de prova:
( p q) (r s )
1.
p
2.
........................................................P
q
3.
.......................................P
.............................................................P
p
4.
............................................................2 D.N. (Dupla negao)
. Neste caso, temos
pq
5.
rs
6.
........................................................1,5 M.P. (Modus Ponens)
7.
.......................................................3,4 Conj. (Conjuno)
.............................................................6 Simp. (Simplificao)
Neste exemplo, tambm conseguimos provar a validade do argumento. Para isso,

usamos as regras de inferncia conjuno, Modus Ponens e simplificao, bem como a
equivalncia da dupla negao.
Mais exemplo de prova de validade de argumentos pode ser conferido com a frmula
p, ( p q ) q q
.
p
1.
.............................................................P
( p q)
2.
pq
3.
.....................................................2 D.N. (Dupla negao)
q
4.
..............................................P
.............................................................1,3 M.P. (Modus ponens)
q q
5.
.......................................................4 Ad. (Adio)
Aps exemplificar algumas provas de validade de argumento, finalizamos assim a

nossa quinta aula.
Atividades
1) Considerando que duas frmulas so equivalentes quando ambas possuem os mesmos
valores lgicos, assinale a alternativa que possui uma relao de equivalncia entre as
frmulas.
pq
a)
pq
e
( p q)
b)
p q
e
pq
p q
e
c)
pq
d)
p q
e
2) Utilizando tabelas-verdade, verifique se existe uma relao de implicao lgica entre as

seguintes frmulas:
a)
rs sr
p ( q p ) q p
b)
3) Prove, por meio de tabelas-verdade, as seguintes leis de equivalncia.
a) dupla negao
b) identidade
c) dominncia
4) Considerando a frase Se estudo, consigo aprovao nas disciplinas, e se consigo
aprovao nas disciplinas, consigo me formar, logo, se estudo, consigo me formar, analise a
veracidade das afirmaes apresentadas a seguir e, depois, assinale a alternativa correta.
I um exemplo de silogismo hipottico
II um exemplo de Modus Tollens
( p q) (q r ) p r
III Pode ser expressa por
( p q) (q r ) p r
IV Pode ser expressa por
a) As afirmativas I e III esto corretas.
b) As afirmativas II e III esto corretas.
c) As afirmativas I e IV esto corretas.
d) As afirmativas II e IV esto corretas.
5) Realize o processo de prova de validade de argumento por meio das regras de inferncia e
p (q r ), p p q
das equivalncias lgicas para o argumento
6) Prove os argumentos a seguir utilizando as regras de inferncia.
( p q ) (r s), p, q s
a)
p ( p q) ( p r )
b)
7) Demonstre que ~( ~p ~q ) ~p q por meio de equivalncias notveis.
8) Demonstre, utilizando tabelas-verdade, as seguintes relaes de equivalncia:
a)
b)
c)
d)
p(pq)p
p(pq)p
(pq)(pr)pp r
p q ( p q ) ~( p q )
9) (Poscomp 2003) Assinale o argumento vlido, onde S1 e S2 indicam premissas e C a

concluso.
a) S1: Se a comida boa, ento o servio bom.
S2: A comida no boa.
C: O servio no bom.
b) S1: Se a comida boa, ento o servio bom.
S2: O servio no bom.
C: A comida boa.
c) S1: Se a comida boa, ento o servio bom.
S2: O servio no bom.
C: A comida no boa.
d) S1: Se a comida boa, ento o servio bom.
S2: A comida boa.
C: O servio no bom.
e) S1: Se a comida boa, ento o servio bom.
S2: A comida no boa.
C: O servio bom.
Justifique sua resposta.
10) (Poscomp 2006) Assinale a proposio logicamente equivalente a (p q) (p q).
a) p (q q)
b) p
c) (p q) (p q)
d) (p q) _ (p q)
e) p
Justifique sua resposta.
11) Verifique, utilizando tabelas-verdade, a existncia das seguintes equivalncias:
a) p ( p q ) p
b) p ( p q ) p
c) ( p q ) ( p r ) p p r
d) p q ( p q ) ~( p q )
12) Demonstre a validade dos argumentos abaixo mediante utilizao de regras de inferncia e
equivalncias notveis:
a) p q, r s, p r, s q
b) a b, c (b d), e c, e a d
c) p q, (p q) (q p) p q
d) p (q r), p, r s t s t
e) s (p t), t q r, s r q
f) f (s d), s f
g) (s v) p, p, v s
13) Prove os argumentos a seguir utilizando as regras de inferncia e de equivalncia.

a) (p q) r, (s t) (t u), p k s ~r u
b) ~p q, ~s ~r, p (r t) q s
c) ~(p ~r), p q, r s, q s t s s t
d) p q s, ~(q s) ~p
14) Represente o argumento a seguir usando a linguagem da lgica proposicional e, depois, prove sua
validade usando as regras de inferncia e de equivalncia.
a) Guga determinado e inteligente. E, alm disso, se Guga determinado e atleta, ele no um
perdedor. Mas Guga um atleta se um amante do tnis. E amante do tnis, se inteligente.
Portanto, Guga no um perdedor.
Use os smbolos:
D = Guga determinado
I = Guga inteligente
P = Guga perdedor
At = Guga atleta
Am = Guga amante do tnis
b) Se Deus sumamente bom e todo-poderoso, no existe mal no mundo. Deus sumamente bom e
todo-poderoso. Existe mal no mundo. Logo, a igreja devia ser proibida.
Use os smbolos:
B = Deus sumamente bom
Td = Deus sumamente todo-poderoso
M = existe mal no mundo
I = igreja devia ser proibida
c) Se as taxas de juros carem, o mercado imobilirio vai melhorar. A taxa federal de descontos vai cair,
ou mercado imobilirio no vai melhorar. As taxas de juros vo cair. Portanto, a taxa federal de descontos
vai cair.
Use os smbolos:
J = as taxas de juros carem
M = mercado imobilirio vai melhorar
D = taxa federal de descontos vai cair
15) Formalize o argumento abaixo e, depois, realize o processo de prova.
Defina claramente o significado dos smbolos proposicionais utilizados na formalizao.
Se meu cliente culpado, ento a faca estava na gaveta. A faca no estava na gaveta ou Jason viu a
faca. Se a faca estava no tapete ento Jason no a viu. Alm disso, se a faca no estava no tapete,
ento o machado estava no celeiro. Mas todos ns sabemos que o machado no estava no celeiro.
Portanto, senhoras e senhores do Jri, meu cliente no culpado.
16) Realize o processo de prova para os argumentos a seguir.
a) p q, q r ~p r
b) p ~q, r q, r ~p
c) r p q, ~p ~q, r s s
d) (p q) r s, ~r ~p
e) (p q) (p r), p s, p t, r t, q s s t
17) Prove os argumentos a seguir utilizando as regras de inferncia e de equivalncia.
a) (a b) (c d), a c b d
b) p (q r), p, r q
c) p, p q q (p r)
d) p q rr (p q)
Questes de Lgica em Concursos

1) (TCE/RO-2007) Andr, Bernardo e Carlos moram nas casas amarela, branca e cinza, cada um em
uma casa diferente, no necessariamente na ordem dada. Trs afirmativas so feitas abaixo, mas
somente uma verdadeira.
I - Andr mora na casa cinza.
II - Carlos no mora na casa cinza.
III - Bernardo no mora na casa amarela.
correto afirmar que:
a) Andr mora na casa amarela.
b) Andr mora na casa branca.
c) Bernardo mora na casa amarela.
d) Bernardo mora na casa cinza.
e) Carlos mora na casa branca.
2) (TCE/RO-2007) A negao de Se A par e B mpar, ento A + B mpar :
a) Se A mpar e B par, ento A + B par.
b) Se A par e B mpar, ento A + B par.
c) Se A + B par, ento A mpar ou B par.
d) A mpar, B par e A + B par.
e) A par, B mpar e A + B par.
3) (TCE/RO-2007) Sejam p e q proposies. Das alternativas abaixo, apenas uma tautologia.
Assinale-a.
a) p q
b) p q
c) (p q) q
d) (p q) q
e) ~p ~q
4) (TCE/RO-2007) Considere verdadeira a declarao: Toda criana gosta de brincar. Com relao a
essa declarao, assinale a opo que corresponde a uma argumentao correta.
a) Como Marcelo no criana, no gosta de brincar.
b) Como Marcelo no criana, gosta de brincar.
c) Como Joo no gosta de brincar, ento no criana.
d) Como Joo gosta de brincar, ento criana.
e) Como Joo gosta de brincar, ento no criana.
5) (TCE/RO-2007) Os amigos Andr, Carlos e Srgio contavam histrias acerca de suas incurses
futebolsticas. Andr e Srgio mentiram, mas Carlos falou a verdade. Ento, dentre as opes seguintes,
aquela que contm uma proposio verdadeira :
a) Se Carlos mentiu, ento Andr falou a verdade.
b) Se Srgio mentiu, ento Andr falou a verdade.
c) Srgio falou a verdade e Carlos mentiu.
d) Srgio mentiu e Andr falou a verdade.

e) Andr falou a verdade ou Carlos mentiu.
6) (STN-2005) A afirmao Alda alta, ou Bino no baixo, ou Ciro calvo falsa. Segue-se, pois,
que verdade que:
a) se Bino baixo, Alda alta, e se Bino no baixo, Ciro no calvo.
b) se Alda alta, Bino baixo, e se Bino baixo, Ciro calvo.
c) se Alda alta, Bino baixo, e se Bino no baixo, Ciro no calvo.
d) se Bino no baixo, Alda alta, e se Bino baixo, Ciro calvo.
e) se Alda no alta, Bino no baixo, e se Ciro calvo, Bino no baixo.
7) (TRF 1 Regio Tcnico Jud 2006 FCC) Se todos os nossos atos tm causa, ento no h atos livres.
Se no h atos livres, ento todos os nossos atos tm causa. Logo,
a) alguns atos no tm causa se no h atos livres.
b) todos os nossos atos tm causa se e somente se h atos livres.
c) todos os nossos atos tm causa se e somente se no h atos livres.
d) todos os nossos atos no tm causa se e somente se no h atos livres.
e) alguns atos so livres se e somente se todos os nossos atos tm causa.
8) (Delegado-Pol Civil PE 2006 - IPAD) A sentena penso, logo existo logicamente equivalente a:
a) Penso e existo.
b) Nem penso, nem existo.
c) No penso ou existo.
d) Penso ou no existo.
e) Existo, logo penso.
9) (GEFAZ/MG-2005) A afirmao No verdade que, se Pedro est em Roma, ento Paulo est em
Paris logicamente equivalente afirmao:
a) verdade que Pedro est em Roma e Paulo est em Paris.
b) No verdade que Pedro est em Roma ou Paulo no est em Paris.
c) No verdade que Pedro no est em Roma ou Paulo no est em Paris.
d) No verdade que Pedro no est em Roma ou Paulo est em Paris.
e) verdade que Pedro est em Roma ou Paulo est em Paris.
10) (AFC-STN/2005) Se Marcos no estuda, Joo no passeia. Logo:
a) Marcos estudar condio necessria para Joo no passear.
b) Marcos estudar condio suficiente para Joo passear.
c) Marcos no estudar condio necessria para Joo no passear.
d) Marcos no estudar condio suficiente para Joo passear.
e) Marcos estudar condio necessria para Joo passear.
11) (Fiscal Recife/2003) Pedro, aps visitar uma aldeia distante, afirmou: No verdade que todos os
aldees daquela aldeia no dormem a sesta. A condio necessria e suficiente para que a afirmao
de Pedro seja verdadeira que seja verdadeira a seguinte proposio:
a) No mximo um aldeo daquela aldeia no dorme a sesta.
b) Todos os aldees daquela aldeia dormem a sesta.

c) Pelo menos um aldeo daquela aldeia dorme a sesta.
d) Nenhum aldeo daquela aldeia no dorme a sesta.
e) Nenhum aldeo daquela aldeia dorme a sesta.
12) (AFC/2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a
dizer que verdade que:
a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.
13) (MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a
dizer que:
a) Andr artista se e somente se Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro
14) (CVM/2000) Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista
lgico, equivale a dizer que a seguinte afirmao verdadeira:
a) pelo menos um economista no mdico
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no economista
e) todos os no mdicos so no economistas
15) (Fiscal Trabalho/98) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico,
o mesmo que dizer que:
a) se Pedro pedreiro, ento Paulo paulista
b) se Paulo paulista, ento Pedro pedreiro
c) se Pedro no pedreiro, ento Paulo paulista
d) se Pedro pedreiro, ento Paulo no paulista
e) se Pedro no pedreiro, ento Paulo no paulista
16) (Fiscal Trabalho/98) A negao da afirmao condicional "se estiver chovendo, eu levo o guardachuva" :
a) se no estiver chovendo, eu levo o guarda-chuva
b) no est chovendo e eu levo o guarda-chuva
c) no est chovendo e eu no levo o guarda-chuva
d) se estiver chovendo, eu no levo o guarda-chuva
e) est chovendo e eu no levo o guarda-chuva
17) (SERPRO/96) Uma sentena logicamente equivalente a Pedro economista, ento Lusa solteira
:
a) Pedro economista ou Lusa solteira.
b) Pedro economista ou Lusa no solteira.
c) Se Lusa solteira,Pedro economista;
d) Se Pedro no economista, ento Lusa no solteira;
e) Se Lusa no solteira, ento Pedro no economista.
18) (TRT-PR-2004) Leia atentamente as proposies simples P e Q:
P: Joo foi aprovado no concurso do Tribunal.
Q: Joo foi aprovado em um concurso.
Do ponto de vista lgico, uma proposio condicional correta em relao a P e Q :
a) Se no Q, ento P.
b) Se no P, ento no Q.
c) Se P, ento Q.
d) Se Q, ento P.
e) Se P, ento no Q.
19) (TRT-PR-2004) Considere a seguinte proposio: "na eleio para a prefeitura, o candidato A ser
eleito ou no ser eleito". Do ponto de vista lgico, a afirmao da proposio caracteriza
a) um silogismo.
b) uma tautologia.
c) uma equivalncia.
d) uma contingncia.
e) uma contradio.
20) (TRT 9 Regio 2004 FCC) A correta negao da proposio "todos os cargos deste concurso so de
analista judicirio. :
a) alguns cargos deste concurso so de analista judicirio.
b) existem cargos deste concurso que no so de analista judicirio.
c) existem cargos deste concurso que so de analista judicirio.
d) nenhum dos cargos deste concurso no de analista judicirio.
e) os cargos deste concurso so ou de analista, ou no judicirio.
21) (ICMS/SP 2006 FCC) Na tabela-verdade abaixo, p e q so proposies.
p
q
?
V
V
F
V
F
V
F
V
F
F
F
F
A proposio composta que substitui corretamente o ponto de interrogao
a) p q
b) p q
c) ~(p q)
d) p q
e) ~(p q)
22) (ICMS/SP 2006 FCC) Considere a proposio Paula estuda, mas no passa no concurso. Nessa
proposio, o conectivo lgico
a) disjuno inclusiva
b) conjuno
c) disjuno exclusiva
d) condicional
e) bicondicional
23) (ICMS/SP 2006 FCC) Das cinco frases abaixo, quatro delas tm uma mesma caracterstica lgica em
comum, enquanto uma delas no tem essa caracterstica.
I. Que belo dia!
II. Um excelente livro de raciocnio lgico.
III. O jogo terminou empatado?
IV. Existe vida em outros planetas do universo.
V. Escreva uma poesia.
A frase que no possui essa caracterstica comum a:
a) I
b) II
c) III
d) IV
e) V
24) Considere as seguintes afirmaes:

I. Se ocorrer uma crise econmica, ento o dlar no subir.
II. Ou o dlar subir, ou os salrios sero reajustados, mas no ambos.
III. Os salrios sero reajustados se, e somente se, no ocorrer uma crise econmica.
Sabendo que as trs afirmaes so verdadeiras, correto concluir que, necessariamente,
a)
o dlar no subir, os salrios no sero reajustados e no ocorrer uma crise
econmica.
b)
o dlar subir, os salrios no sero reajustados e ocorrer uma crise econmica.
c)
o dlar no subir, os salrios sero reajustados e ocorrer uma crise econmica.
d)
o dlar subir, os salrios sero reajustados e no ocorrer uma crise econmica.
e)
o dlar no subir, os salrios sero reajustados e no ocorrer uma crise econmica.
25) Num famoso talk-show, o entrevistado faz a seguinte afirmao: Toda pessoa gorda no tem boa
memria. Ao que o entrevistador contraps: Eu tenho boa memria. Logo, no sou gordo.
Supondo que a afirmao do entrevistado seja verdadeira, a concluso do entrevistador :
a)
falsa, pois o correto seria afirmar que, se ele no fosse gordo, ento teria uma boa memria.
b)
falsa, pois o correto seria afirmar que, se ele no tem uma boa memria, ento ele tanto poderia
ser gordo como no.
c)
falsa, pois o correto seria afirmar que ele gordo e, portanto, no tem boa memria.
d)
verdadeira, pois todo gordo tem boa memria.
e)
verdadeira, pois, caso contrrio, a afirmao do entrevistado seria falsa.
26) A negao de: Milo a capital da Itlia ou Paris a capital da Inglaterra :

a)
Milo no a capital da Itlia.
b)
Milo no a capital da Itlia e Paris no a capital da Inglaterra.
c)
Milo no a capital da Itlia ou Paris no a capital da Inglaterra.
d)
Paris no a capital da Inglaterra.
e)
Milo a capital da Itlia e Paris no a capital da Inglaterra.
27) Dizer que:
O ser humano imperfeito ou a superao no necessria. logicamente equivalente a dizer que:
a)
O ser humano imperfeito se e somente se, a superao no necessria.
b)
Se o ser humano imperfeito ento a superao no necessria.
c)
Se o ser humano no imperfeito ento a superao necessria.
d)
Se a superao necessria ento o ser humano imperfeito.
28) Se Maria vai para o trabalho de carro, ento, Fernando vai para a aula de nibus. Se Fernando vai
para a aula de nibus, ento, Ana perde a carona. Ora, Ana no perde a carona, portanto:
a)
Fernando vai para a aula de carro.
b)
Maria no vai para o trabalho de carro.
c)
Ana vai para o trabalho de nibus.
d)
Maria vai para a aula de carro.
e)
Ana no vai para aula de nibus.
29) A negao da sentena - Se bebo suco, mato a minha sede. - :
a)
No bebo suco e no mato minha sede.
b)
Se no mato minha sede, no bebo suco.
c)
Bebo suco e no mato minha sede.
d)
No mato minha sede ou no bebo suco.
e)
No bebo suco e mato minha sede.
30) Um mdico afirmou que toda pessoa que fuma h mais de vinte anos tem algum problema
pulmonar. Se Srgio fuma h trinta anos e Mrcia tem problema pulmonar, pode-se concluir, baseado na
afirmao do mdico, que:
a)
Mrcia fuma h mais de vinte anos;
b)
Srgio tem algum problema pulmonar e Mrcia fuma h mais de vinte anos;
c)
Srgio pode no ter problema pulmonar;
d)
Mrcia e Srgio so fumantes;
e)
Srgio tem algum problema pulmonar.
Gabarito:
1. A
2. E
3. C
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
C
A
C
B
C
D
E
C
A
D
A
A
E
E
C
B
B
C
B
D
D
D
B
D
B
C
E
Aula 6 Prova do Condicional

1 Prova do Condicional
Raciocnio hipottico um raciocnio baseado em hipteses, uma suposio feita em

considerao ao argumento a fim de mostrar que uma concluso particular segue
daquela suposio. De modo diferente de outras suposies de uma prova, as
hipteses no so declaradas verdadeiras. Elas so artifcios lgicos, as quais
acolhemos, temporariamente, como um tipo especial de estratgia de prova.
Suponhamos que um corredor machucou o seu tornozelo, uma semana antes de uma
grande corrida, e que gostaramos de persuadi-lo a parar de correr por alguns dias a
fim de que o seu tornozelo sare. Ns afirmamos o condicional. Se voc continuar
correndo, voc no estar apto para disputar a corrida.
A maneira mais geral para provar um condicional colocar o seu antecedente como
hiptese (isto , admiti-lo, em considerao ao argumento) e ento mostrar que o seu
conseqente deve se seguir. Para fazer isso, podemos raciocinar do seguinte modo:
Suponhamos que voc continue correndo. O seu tornozelo est muito inchado. Se ele
est muito inchado e voc continuar correndo, ele no sarar em uma semana. Se ele
no sarar em uma semana, ento voc no estar apto para disputar a corrida. Deste
modo, voc no estar apto para disputar a corrida.
Este um argumento hipottico. Voc no continue correndo uma hiptese, desta
hiptese, a concluso voc no estar apto para disputar a corrida mostrada a
seguir. O argumento emprega trs suposies:
Seu tornozelo est muito inchado.
Se o seu tornozelo est muito inchado e voc continuar correndo, ento ele no
ir sarar em uma semana.
Se o seu tornozelo no sarar em uma semana, ento voc no estar apto para
disputar a corrida.
Veremos, agora, como isso pode ser formalizado. As trs suposies podem ser
expressas, respectivamente, como:
I
(I C) S
S A
e a concluso :
C A
Assim, a forma de argumento : I, (I C) S, S A
C A.
A nossa tarefa mostrar que essa uma forma vlida, isto , mostrar que se as
suposies so verdadeiras, ento o condicional da concluso C ~A deve ser
verdadeiro. Faremos isso colocando como hiptese o seu antecedente C (como
fizemos acima na verso informal do argumento) e deduzindo o seu conseqente ~A
dessas hipteses.
Prova do condicional (PC): Dada uma derivao de uma wff a partir de uma
hiptese , podemos descartar a hiptese e inferir .
Para provar um condicional, a estratgia usual (a menos que algo mais simples seja
evidente) colocar como hiptese o seu antecedente e ento derivar o seu
conseqente, por PC.
A hiptese no necessita ser extrada de lugar algum, ela pode ser gerada de acordo
com que se necessita no desenvolvimento da subprova.
Um outro exemplo : se um matemtico deseja provar que, sendo x um nmero natural
mpar, ento x + 1 par, ele inicia assumindo a hiptese de que x mpar, e mediante
as leis da aritmtica, mostra que x + 1 par. Isso posto, como aceita a regra PC, ele
tem condies de afirmar que obteve uma prova do condicional: Se x mpar, ento x
+ 1 par". A prova informal a seguinte: se x mpar, da forma x = 2k + 1 para
algum natural k. Portanto x + 1 = (2k + 1) + 1 = 2(k + 1), ou seja, x + 1 um mltiplo de
2, e portanto par.
Atividades
1) Prove a validade dos argumentos a seguir.
a)
P ((P Q) Q)
b)
P P
c)
a b, (b a) c, ((b a) c) d
d) P (Q R)
e) Q R
ad
Q (P R)
(~Q ~P) (P R)
f) (p q) r r (p q)
g) s ~~ r ~r ~s
Aula 7 Reduo ao Absurdo

A tcnica de demonstrao por reduo ao absurdo (RAA) baseia-se no princpio de que um
argumento vlido se e somente se a conjuno das premissas com a negao da concluso
uma expresso contraditria, entendendo uma contradio como sendo uma expresso que
afirma e nega algo ao mesmo tempo. Com base neste princpio, explicita-se porque, em uma
prova por reduo ao absurdo, no momento em que se depara com uma contradio pode-se
imediatamente inferir que o enunciado em questo esta provado.
Dada a derivao de uma contradio a q q partir de uma hiptese p, podemos descartar a
hiptese e inferir p.
Dessa forma, se assumirmos p como hiptese e ao final temos q q, conclumos o contrrio
da hiptese ( p) por RAA.
Exemplo1: p q, q p
1p q
P
2 q
P
3p
Hiptese para RAA
4q
1,3 MP
5 q q
2,4 Conjuno
6 p
3 - 5 RAA
Atividades
1) Prove os argumentos usando a regra hipottica da reduo ao absurdo.
a) p ~q ~(p q)
b) ~ p p p
c) (~ s r) ~p, p, r s
d) ~(~p ^ ~q), ~p q
e) ~b, b a
f) p p
Aula 8 - rvore de Refutao para Lgica Proposicional

RVORE DE REFUTAO um mtodo para verificar a validade de um argumento, anlogo
demonstrao por absurdo. Para testarmos a validade de um argumento, construmos uma lista de
frmulas consistindo em suas premissas A1, A2 , A3 , ... , An e a negao da sua concluso B que
formam a RAIZ DA RVORE. A rvore continua abaixo com a construo de seus RAMOS por
aplicaes de regras, que sero especificadas a seguir, e gerando novas linhas na rvore. A rvore
termina quando as frmulas de seus ramos so: variveis proposicionais, negaes de variveis
proposicionais, ou quando encontrarmos em todos os ramos uma frmula F.
Se encontrarmos em todos os ramos da rvore uma frmula F, ento a nossa tentativa de
refutao falhou, ou seja, o argumento vlido. Se em algum ramo da rvore no foi possvel
encontrar uma frmula F, ento refutamos o argumento, isto , o argumento no vlido (Abar,
2008).
Exemplo: Construir uma rvore de refutao para mostrar que: p q |
- Escrevemos a premissa e a negao da concluso:

1. p q
2. p
- Sabemos que p q verdadeira se, e somente se, p e q so ambas verdadeiras; da, podemos
substituir
p q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO ( ) a frmula p
q
.
(Uma frmula marcada no poder mais ser utilizada na construo da rvore!!!)
1. p q
2. p
3. p
4. q
- Como p verdadeira se e somente se p verdadeira, marcamos p e substitumos por
p gerando a linha 5.
1. p q
2. p
3. p
4. q
5. p
- A rvore terminou, pois das premissas e da negao da concluso obtivemos variveis
proposicionais ou negaes de variveis proposicionais. Por outro lado, encontramos nas linhas
3. e 5. uma frmula F, ou seja, nossa tentativa de refutao falhou e, portanto, o argumento
vlido. Isso ser expresso escrevendo um X no final da lista, gerando a linha 6 e fechando o
nico ramo da rvore.
1. p q
2.p
3. p
4. q
5. p
6. X
(3,5)
A rvore de refutao est completa. A nossa busca para uma refutao do argumento dado
falhou e, portanto, o argumento vlido.
Exemplo:Construir uma rvore de refutao para mostrar que : p q, p |
- Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da concluso:

1. p q
2. p
3. q
- Sabemos que p q verdadeira se, e somente se, p verdadeira ou q verdadeira. Para
representar esse fato, marcamos p q e ramificamos a rvore, gerando a linha 4 com dois ramos:
1. p q
2. p
3. q
/ \
4. p q
- A rvore terminou, pois das premissas e da negao da concluso obtivemos variveis
proposicionais ou negaes de variveis proposicionais. Por outro lado, encontramos uma
frmula F em um ramo, nas linhas 2. e 4. e no outro ramo, nas linhas 3. e 4., ou seja, nossa
tentativa de refutao falhou e, portanto, o argumento vlido. Isso ser expresso escrevendo um
X no final de cada ramo da lista gerando a linha 5 e fechando os dois ramos da rvore.
1. p q
2. p
3. q
/ \
4. p q
5. X X
(2, 4) (3,4)
A rvore de refutao est completa. Como a tentativa de refutao falhou nos dois ramos, o
argumento dado vlido.
Exemplo:Construir uma rvore de refutao para verificar a validade do argumento:
p q, p | q
1. p q
2. p
3. q
- Temos que q equivalente a q; da, marcamos q e escrevemos q gerando a linha 4. :
1. p q
2. p
3. q
4. q
- Como no exemplo anterior, marcamos p q e ramificamos a rvore gerando a linha 5. com
dois ramos:
1. p q
2. p
3. q
4. q
/ \
5. p q
- A rvore terminou e nos dois ramos no h contradies, ou seja, uma frmula F. Neste caso os
ramos no sero fechados e o argumento no vlido.
REGRAS PARA A CONSTRUO DE UMA RVORE DE REFUTAO
As regras para a construo de uma rvore de refutao esto relacionadas com as tabelas
verdade j conhecidas. Ao aplicar uma regra em uma frmula da rvore, temos a observar que :
- a frmula ser marcada () para evitar aplicaes repetidas de uma regra em uma mesma
frmula.
- a aplicao de uma regra deve gerar : uma ou duas linhas, um ramo ou dois ramos conforme a
regra, e ser aplicada em todos os ramos abertos (no fechados com X) aos quais a frmula
pertence.
Temos as seguintes regras :
1. REGRA DA DUPLA NEGAO () : Uma frmula do tipo A gera uma linha e
escrevemos A na linha. Procedemos assim em todos os ramos abertos aos quais a frmula A
pertence pois, A verdadeira se e somente se A verdadeira.
2. REGRA DA CONJUNO (): Uma frmula do tipo A B gera duas linhas e escrevemos,
em cada linha, as frmulas A e B. Procedemos assim em todos os ramos abertos aos quais a
frmula A B pertence pois, A B assume valor V se, e somente, as frmulas A e B so
verdadeiras.
1. A B
2. A
3. B
3. REGRA DA DISJUNO (): Uma frmula do tipo A B gera uma linha e dois ramos e
escrevemos, na linha e, em cada ramo, as frmulas A e B, respectivamente. Procedemos assim
em todos os ramos abertos aos quais a frmula A B pertence pois, A B assume valor V se, e
somente, a frmula A verdadeira ou a frmula B verdadeira.
1.A B
/ \
2. A B
4. REGRA DA IMPLICAO (): Uma frmula do tipo A B gera uma linha e dois ramos
e escrevemos, na linha e, em cada ramo, as frmulas A e B respectivamente. Procedemos
assim em todos os ramos abertos aos quais a frmula A B pertence pois, A B assume valor
V se, e somente, a frmula A verdadeira ou a frmula B verdadeira.
1. A B
/ \
A
B
5. REGRA DA BI-IMPLICAO () : Uma frmula do tipo AB gera duas linhas e dois
ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas A e B no outro
ramo. Procedemos assim em todos os ramos abertos aos quais a frmula AB pertence pois,
AB
assume
valor
V
se,
e
somente,
a
frmula
(A B) verdadeira ou a frmula (A B) verdadeira.
AB
/ \
2.A A
3.B B
6. REGRA DA NEGAO DA CONJUNO (): Uma frmula do tipo (A B) gera uma
linha e dois ramos e escrevemos, na linha e, em cada ramo, as frmulas A e B
respectivamente. Procedemos assim em todos os ramos abertos aos quais a frmula (A B)
pertence pois, (A B) assume valor V se, e somente, a frmula A verdadeira ou a frmula
B verdadeira.
(A B)
/ \
A B
7. REGRA DA NEGAO DA DISJUNO ( ) : Uma frmula do tipo (A B) gera duas
linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os ramos
abertos aos quais a frmula (A B) pertence pois, (A B) assume valor V se, e somente, as
frmulas A e B so verdadeiras.
(A B)
A
B
8. REGRA DA NEGAO DA IMPLICAO () : Uma frmula do tipo (A B) gera
duas linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os
ramos abertos aos quais a frmula (A B) pertence pois, (A B) assume valor V se, e
somente, as frmulas Ae B so verdadeiras.
(A B)
2. A
B
9. REGRA DA NEGAO DA BI- IMPLICAO (): Uma frmula do tipo (AB) gera
duas linhas e dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas
A e B no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula
(AB) pertence pois, (AB) assume valor V se, e somente, a frmula (A B)
verdadeira ou a frmula (A B) verdadeira.
(AB)
/ \
A A
3. B B
10. RAMO FECHADO: Um ramo ser fechado se nele existem uma frmula A e sua negao
A e escrevemos X no final do ramo.
1. A
2. A
3. X
OBSERVAES:
- As regras dadas para construir rvores de refutao se aplicam em cada linha ao conectivo
principal da frmula e no as subfrmulas. Por exemplo:
1. p q
2. p q
1.() (INCORRETO!!)
- No importa a ordem em que as regras so aplicadas; no entanto, mais eficiente aplicar as

regras, primeiramente, em frmulas que no resultam em ramificaes.
- Cada linha gerada deve ser justificada indicando a respectiva linha de origem na qual foi
aplicada a regra e tambm a regra usada.
- Frmula na qual foi aplicada alguma regra deve ser marcada ( ) para evitar aplicaes
repetidas da mesma.
Exemplos:
a) p r s, r s q p q
1.
prs
Premissa
2.
rsq
Premissa
3.
(p q)
Negao da Concluso
4.
p
3.()
5.
q
3.()
/
\
6.
p
(r s) 1.()
7.
X(6.4)
/
\
8.
r
s
6. ()
/
\
/
\
9.
(r s) q (r s) q 2.()
/ \
\
/ \
\
10.
r s X r s X ()
11.
X ? (9.5) ? X
(9.5)
(10.8)
(10.8)
Temos neste caso dois ramos que no fecharam e, portanto, o argumento no vlido.
b) (p q) (p q) uma tautologia:
1.
2.
3.
4.
5.
6.
7.
((p q) (p q)) Negao da Concluso

(p q)
1. ()
(p q)
1. ()
p
2. ()
q
2. ()
/ \
p q
3. ()
X
X
(6.4)
(6.5)
Todos os ramos esto fechados; assim a frmula vlida, ou seja, uma tautologia.
Atividades
1) Verificar, por meio de rvore de refutao, a validade dos argumentos:
a) ~P P ~P
b) P Q
PQ
c) P Q, ~P, ~Q R
d) ~(P Q), R P ~R
e) (P Q) R, S (T U), S P R U
f) p q, p q p q
g) p r, (r p) r (p q)
Aula 9 Lgica de Predicados

Introduo
A linguagem da lgica proposicional, vista em aulas anteriores, limitada para
representar relaes entre objetos do mundo real. Por exemplo, se usssemos a linguagem
proposicional para representar as sentenas: "Todos so mortais" e "Algum bondoso"
utilizaramos duas proposies quaisquer sem decompor em sentenas menores ligadas pelos
conectivos lgicos. Outra limitao da lgica proposicional a que esta linguagem tem baixo
poder de expresso, pois incapaz de representar instncias de uma propriedade geral. Para
sanar problemas deste tipo, surgiu ento a lgica de predicados que uma extenso da lgica
proposicional (Aranha e Martins, 2003).
A lgica de predicados tambm conhecida na literatura como lgica de primeira ordem
ou clculo de predicados. Esta lgica possibilita captar relaes entre indivduos de um mesmo
domnio e permitir concluir particularidades de uma propriedade geral dos indivduos de um
domnio, assim como derivar generalizaes a partir de fatos que valem para um indivduo
qualquer do domnio. Desta maneira, expressar sentenas com as palavras existe, qualquer,
todos, alguns e somente, por exemplo, possvel. Para ter este grande poder de
expresso, a lgica de predicados dispe uma variedade de smbolos. Ento vamos conhecer
o seu alfabeto inicialmente e, em seguida, como representar conhecimento, relaes entre
objetos, mais especificamente.
9.1 Alfabeto
O alfabeto da linguagem da lgica de predicados consiste em smbolos lgicos e nolgicos. Os smbolos lgicos so caracterizados por:
pontuao: (, )
conectivos:
quantificadores:
Os smbolos no-lgicos so definidos por:
variveis: por conveno, letras do fim do alfabeto, tais como: ...x, y, z.

constantes: por conveno, letras do incio do alfabeto, tais como a, b, c...
predicativos (ou predicados): por conveno, letras do meio para o fim do alfabeto,
tais como: ...p, q, r... ou uma palavra em letras minsculas para ser mais
representativa
Como dito anteriormente, a lgica de predicados uma extenso da lgica

proposicional, e, desta maneira, tanto os smbolos de pontuao quanto os conectivos lgicos
possuem o mesmo significado.
Com relao aos quantificadores, tem-se o
(universal) e
(existencial) para
expressar propriedades que valem para todos os indivduos do domnio ou para alguns
indivduos do domnio, respectivamente. Estes quantificadores estaro sempre acompanhados
de uma varivel (smbolo no-lgico) para captar o conceito das palavras para qualquer e
para algum, respectivamente. importante ressaltar que variveis diferentes no designam
necessariamente objetos diferentes e que a escolha de variveis no faz diferena para o
significado (Franco, 2008).
O ingrediente novo da lgica de primeira ordem no encontrado na lgica proposicional a
quantificao (Wikipdia, 2008).
As variveis nesta lgica designam a representao de um exemplo ou indivduo do
domnio que est se referindo. Assim, podemos dizer, por exemplo, que existe um aluno
inteligente na sala de aula, porm esta pessoa no est sendo especificada e sim informando a
existncia de tal fato. Portanto, uma varivel representa um elemento de quaisquer domnio de
aplicao.
As constantes, por sua vez, so usadas para definir ou especificar um determinado
indivduo do domnio. Considerando ainda o exemplo anterior, poderamos definir que Joo o
aluno inteligente da sala de aula. Observe que neste caso, estamos definindo exatamente
quem a pessoa inteligente da sala. Cada constante indica exatamente um objeto particular.
Os smbolos predicativos ou predicados representam o conceito de relao entre um ou
mais indivduos de um domnio. Com este tipo de smbolo, poderamos criar um predicado
chamado pai para representar a relao de parentesco entre Joo e Ana, por exemplo,
conforme o conhecimento fornecido no incio desta aula. Os predicados (nomes de relao)
podem possuir um ou mais argumentos. A definio da quantidade de argumentos num
predicado depender da forma como os relacionamentos entre os objetos esto sendo
tratados. Com relao quantidade de argumentos que um predicado possui, chamamos de

aridade.
Por exemplo, os predicados vereador(juarez) e pai(joo, ana) tm aridade igual a um e
dois, respectivamente. No primeiro predicado, representamos que Juarez um vereador e,
neste caso, a leitura deste predicado inicia-se pela constante (juarez) e, depois, l-se o nome
do predicado (vereador). No segundo exemplo, representamos que Joo pai de Ana e a
forma de leitura comea com o primeiro parmetro (joo), depois analisa o nome do predicado
(pai) e, em seguida, retorna ao segundo parmetro (ana).
9.2 Interpretao
Como a lgica de predicados possui um alfabeto bem mais diversificado se comparado
com o da lgica proposicional, as interpretaes das frmulas tornam-se, naturalmente, mais
bem elaboradas. Observe a seguir a simbologia da lgica de primeira ordem em quatro
sentenas bastante conhecidas na literatura, bem como a sua forma de leitura, conforme pode
ser encontrado em (Abar, 2008):
x( s( x) p( x ))
Todo s p:
x
Usando a letra como uma varivel para representar objetos individuais,
x
expressamos tal enunciado por: qualquer que seja
s
de leitura so:
so
, se
s
; cada
um
x
, ento
. Outras opes
s
; qualquer
um
e todos os objetos que
s
tem propriedade
so objetos que tem propriedade
. Sendo assim, podemos inferir que
Todo s p est relacionado a uma universal afirmativa.
x( s ( x) p( x))
Alguns s so p:
x x
Neste caso, o enunciado pode ser expresso por para pelo menos um
s
. Outras opes de leitura so: existem
que so
x
e
s
e h
que so
. Este exemplo,
ao contrrio do enunciado anterior, restringe um certo grupo do todo e assim est relacionando
uma particularidade afirmativa.
x( s ( x) p( x))
Alguns s so no p:
x
Para esta situao, temos a interpretao que existe um
tal que
s
existem
que no so
no so
x
e
no
s
; certos
no so
s
e pelo menos um
s
. Podemos ainda ler esta sentena como alguns
no
. Observando este enunciado
identificamos que existe uma seleo do todo, porm com aspecto de negao. Assim,
dizemos que obtemos uma particularidade negativa.
x( s( x) p( x))
Nenhum s p:
x
Nesta ltima sentena temos qualquer que seja
x
, se
no
s
; nada que seja
. Neste exemplo, obtemos uma generalizao negativa, pois qualquer que
x
seja
, ento
s
nenhum dos
s
possvel ainda ler esta sentena como ningum que seja
, este no
Assim, a partir da linguagem natural usada no cotidiano, podemos expressar a mesma

idia utilizando o alfabeto da lgica de predicados. Nestes ltimos exemplos, foram usados os
s
predicados
, os quais no expressam muita informao para o usurio. Por isso,
importante que se apresente nomes de predicados condizentes com o que se deseja

representar uma vez que estes auxiliam interpretao do pensamento. Vale a pena lembrar
que a definio de um nome do predicado de sua escolha. Veja na tabela a seguir alguns
exemplos do uso desta representao, sendo neste caso com nomes de predicado mais
significativos.
Tabela 1: Linguagem Natural e Lgica de Predicados
Linguagem Natural
Todos os homens so mortais
Alguns gatos so bonitos
Nenhuma baleia rptil
Meninos e meninas gostam de brincar
Lgica de Predicados
x(homem(x)
x(gato(x)
mortal(x))
bonito(x))
x(baleia(x)
rptil(x))
x((menino(x)
gosta_brincar(x))
H pintores que no so artistas mas artesos
x(pintor(x)
Todos os nmeros mpares no so divisveis

por 2
Todos os cachorros so protegidos pelos

homens
Todas as crianas so mais jovens que os
pais
menina(x))
Joo no foi o primeiro homem
artista(x)
arteso(x))
x(homem(x)
nasceu_antes(x, joo))
x(nmero(x)
divisvel(x,2))
mpar(x)
x
y))
y(criana(x)
cachorro(y)
pai(y, x)
x y(homem(x)
protege(x,y))
jovem(x,
Como voc deve ter observado, numa mesma frmula pode existir mais de um
quantificador, conectivo, varivel ou predicado. Analisando a frase Meninos e meninas gostam
de brincar, por exemplo, observamos que a conjuno e apresentada na sentena no est
expressa na sua frmula. Na verdade, ao invs do e, tem-se a representao do OU (
).
E, neste caso a representao est correta? A resposta sim, pois avaliando a frmula,
veremos que a varivel x, que um elemento do domnio, pode ser um menino ou uma menina
somente, nunca os dois ao mesmo tempo. E, ou menino ou menina, seja este ou esta, gosta de
brincar.
Com relao sentena Todas as crianas so mais jovens que os pais, observe que
foram utilizados dois quantificadores universais, um com a varivel x e outro com a varivel y.
Para expressar que uma criana mais jovem que pai, apresentamos inicialmente a condio
necessria para que isto acontea. Ou seja, preciso que o x seja uma criana e o y seja o pai
da criana. Caso positivo, ento podemos inferir que o x mais jovem do que o y.
Ao fazer o uso dos quantificadores, possvel observar a existncia de 4 situaes: A
(Universal Afirmativa), E (Universal Negativa), I (Particular Afirmativa) e O (Particular Negativa),
conforme mostra a Figura 1.
x( s ( x) p( x))
A: Universal Afirmativa
(Ex: Toda aula expositiva)
I: Particular Afirmativa
(Ex: Alguma aula expositiva)
x( s ( x) p ( x))
x( s ( x) p( x ))
E: Universal Negativa
(Ex: Nenhuma aula expositiva)
O: Particular Negativa
(Ex: Alguma aula no expositiva
x( s( x) p( x))
Figura 1: Abrangncia dos Quantificadores (adaptado de Soares, 2003).

Nesta figura possvel observar quando se acompanha as linhas verticais tem-se uma
generalizao (baixo para cima) ou uma restrio (cima para baixo). Ambas informam a mesma
verdade ou falsidade, porm diferenciam em termos de quantidade. Ao acompanhar a linha
horizontal mais inferior, observa-se uma oposio parcial de um lado para o outro, pois apenas
o valor de um predicado est sendo alterado, opondo-se assim em termos de qualidade. J na
linha horizontal superior tem-se uma oposio em termos de qualidade porque uma afirma e
outra nega um mesmo predicado de um mesmo sujeito, universalmente. E, por fim, as
diagonais apresentam a oposio mais forte porque no h nada que se possa convir, se
opondo em termos de quantidade e qualidade.
9.3 Equivalncias Lgicas
A lgica de predicados uma linguagem utilizada para a representao de
conhecimento observando os objetos existentes e os relacionamentos entre eles. Dentre as
linguagens de representao disponveis, a lgica de predicados uma das linguagens mais
estudadas porque esta pode ser aplicada em diversos domnios (Russell e Norvig, 2003). Para
esta representao, podemos usar diferentes maneiras para expressar a mesma idia ou
conceito.
Se quisssemos representar o conceito de que nem todos os indivduos possuem a
x( p( x))
propriedade p, poderamos usar a representao:
. Neste caso, usamos o
x
quantificador universal com o conectivo de negao informando que no verdade que todo
p
tem a propriedade
. Alm disso, para expressar esta mesma idia podemos utilizar tambm
x (p ( x )
o quantificador existencial. Neste caso, teremos a expresso
. Para este caso,
x
informamos que existe pelo menos um
que no tem a propriedade
. Ambas
representaes so vlidas para a expresso de que nem todos os indivduos possuem a
x( p( x))
p
propriedade
ou seja,
. Logo, conclumos que
x( p( x)) x(p ( x))
x(p( x))
e
so equivalentes logicamente,
E, se agora quisssemos representar o conceito de que no existe um indivduo do
p
domnio que possua a propriedade
. Para esta situao, poderamos usar o quantificador
x( p ( x))
existencial com o conectivo da negao como, por exemplo,
. Observe que o
conectivo de negao est externo negando toda a expresso e, assim, representando que no
x
existe um
que tem a propriedade
. De forma similar situao anterior, este conceito pode
x(p( x))
ainda ser expresso com o quantificador universal. Neste caso, temos
x( p ( x))
x
no tem a propriedade
, em que todo
. Portanto, conclumos que as expresses
x(p( x))
e
so equivalentes, ou seja,
x( p ( x)) x(p( x))
. importante lembrar que como estas
representaes so equivalentes logicamente, ambas podem ser usadas indistintamente.

Alm dessas equivalncias apresentadas, podemos ainda mencionar as seguintes
equivalncias:
x ( p( x)) x(p( x))

x( p( x)) x(p( x))
No primeiro caso, temos que todo
x( p( x))
x
tem a propriedade
x
dizer que no verdade que um
) equivalente a
tal que no possui a propriedade
, representado por
x(p ( x))
x
. J para o segundo caso, temos que existe pelo menos um
x( p( x))
p
propriedade
tal que tem a
). Assim, poderamos expressar a mesma idia com o uso do
x
quantificador universal, informando que no verdade que todo
no tem a propriedade
x(p( x))
).
Enfim, para todas essas situaes, o papel fundamental da equivalncia possibilitar a
substituio de uma frmula pela a outra sem perdas lgicas. Com isso, recomenda-se o uso
da verso em que seja mais familiar e compreensiva.
9.4 Implicaes Lgicas
xyP( x, y ) yxP( x, y )
xP( x) xQ( x) xP( x) Q( x)

xP(( x) Q( x)) xP( x) Q( x)
xP( x) xQ( x) x( P ( x) Q( x))
9.5 Negao de Quantificadores

A negao de uma proposio que contenha um quantificador exige certos cuidados, tendo em
vista a natureza do quantificador e do predicado, pois no a mesma coisa negar o
quantificador e negar o predicado.
Seja por exemplo: Se P(x) o predicado x um gato preto, tem-se:
(1) x: P(x) significa: todos os gatos so pretos.
(2) x: ~P(x) significa: todos os gatos no so pretos.
(3) ~x : P(x) significa: nem todos os gatos so pretos.
Neste caso, o item (2) a negao do predicado enquanto o item (3) a negao do
quantificador.
A proposio (3), negao do quantificador universal equivalente a "existem gatos que no
so pretos" ou "existe pelo menos um gato que no preto". Disto se conclui [~x: P(x)] [x:
~P(x)].
possvel resumir a negao dos quantificadores em 2 grupos, que so:
A negao de Todo A B Algum A no B (e vice-versa). s seguir a linha diagonal
na Figura 1.
A negao de Algum A B Nenhum A B (e vice-versa). s seguir a linha diagonal
na Figura 1.
A negao de "Todos brasileiros comem churrasco" "No verdade que todos brasileiros
comem churrasco". Assim, considerando C(x) uma funo que representa que x come
churrasco, ento a negao seria formalizada como: ~xC(x) que equivale a x~C(x). Em
linguagem natural, essa expresso pode ser dita como "Existe um brasileiro que no come
churrasco", ou ainda "Alguns brasileiros no comem churrasco".
9.6 Validade de Argumentos com Diagrama de Venn
A teoria dos conjuntos uma forma de verificar a validade de argumentos que contenham
quantificadores.
Exemplo 1:
P1: Alguns estudantes so dedicados.
P2: Todos os homens so dedicados.
C: Logo, alguns estudantes so homens.
Considere:
E = estudantes
D = dedicados
H = homens
E
H
Assim, tem-se uma possibilidade de ter premissas verdadeiras e concluso falsa (ou seja, pode
ser que alguns estudantes sejam homens e pode ser que no). Logo, o argumento invlido.
Exemplo 2:
P1: Todo nmero primo mpar.
P2: Nenhum nmero mpar par.
C: Existe um nmero primo que par.
Considere:
Pr = primo
P = par
I = mpar
P
Pr
Neste caso, o argumento invlido porque a concluso no decorre das premissas (pode ser
que exista um nmero par e primo e pode ser que no. Assim, a concluso pode ser verdadeira
ou falsa).
Exemplo 3:
P1: Todos os engenheiros so ricos.
P2: Poetas so temperamentais.
P3: Nenhum pessoa temperamental rica.
C: Nenhum engenheiro poeta.
Considere:
E = engenheiro
R = rico
P = poeta
T = temperamental
T
E
Neste caso, o argumento vlido.

9.7 Sentenas Abertas
Uma sentena aberta no uma proposio, pois no pode ser classificada como verdadeira ou falsa.
Por exemplo: X cantor. Quando substitumos X por uma constante obtemos uma proposio. Da
forma que est uma sentena aberta.
Outros exemplos:
1) x + 2 > 6 (se x igual a 3, ela falsa, mas se x igual a 8, ela verdadeira).
2) Ele mais velho que Pedro.
3) x + y = 5
O conjunto-verdade da sentena o conjunto dos valores da varivel para as quais a sentena

verdadeira. Denotaremos este conjunto por V.
V = {x U| V(p(x)) = 1 ou verdadeiro}
em que p(x) uma sentena aberta na varivel x.
Ex1: Determinar o conjunto-verdade da sentena aberta x + 5 <= 11, x R.
V = {x R| x <=6}
Ex2: Determinar o conjunto-verdade da sentena aberta x+1 > 8 em que x N={1, 2, 3, ...}
V = {x N| x >8}
Usaremos o smbolo (para todo) chamado quantificador universal para exprimir o fato de que para
todo x em um dado conjunto a proposio P(x) verdadeira.
No simbolismo da lgica matemtica indica-se este fato abreviadamente por uma das seguintes
maneiras:
a) ( x A) (P(x))
b) x A, P(x)
c) x A: P(x)
No caso de proposies que envolvem expresses do tipo: existe, h pelo menos um e algum usaremos
o smbolo chamado quantificador existencial.
Uma proposio do tipo existe um x tal que P(x) pode ser escrito simbolicamente x, P(x) .
As proposies a seguir tm o mesmo significado.
x,xN
Existe um x tal que x pertence aos naturais.
Algum nmero natural.
Existe pelo menos um nmero natural.
Dados dois conjuntos A e B chama-se sentena aberta com duas variveis em AxB uma expresso
P(x,y) tal que P(a,b) falsa ou verdadeira para todo par ordenado (a,b) AxB (produto cartesiano).
Chama-se conjunto verdade de uma sentena aberta P(x,y) em AxB o conjunto de todos os elementos
(a,b) AxB tais que (a,b) uma proposio verdadeira.
Atravs dos conjuntos dados A = {1,2,3,4} e B = {1,3,4}, encontrar o conjunto verdade a partir da
sentena p:
AxB = {(1,1), (1,3), (1,4), (2,1), (2,3), (2,4), (3,1), (3,3), (3,4), (4,1), (4,3), (4,4)}
x>y
Vp={(2,1),(3,1),(4,1),(4,3)}
Generalizando-se as sentenas abertas para uma quantidade n qualquer de variveis e uma quantidade
n de domnios, tem-se as sentenas abertas com N variveis.
Considere-se os n conjuntos A1, A2,..., An e o respectivo produto cartesiano entre eles, ou seja, A1 x A2
x,...,x An. Uma sentena aberta com n variveis em A1 x A2 x,...,x An uma expresso p(x1, x2,...,xn) tal
que p(a1, a2,...,an) falsa ou verdadeira para toda n-upla (a1, a2,...,an) A1 x A2 x,...,x An. O conjunto
A1 x A2 x,...,x An recebe o nome de conjunto universo ou domnio das variveis x1, x2,...,xn, e qualquer
elemento (a1, a2,...,an) A1 x A2 x,...,x An chama-se de uma n-upla de valores das variveis (x1, x2,...,x
n).
Se (a1, a2,...,an) A1 x A2 x,..., x An tal que p(a1, a2,...,a) uma proposio verdadeira, diz-se que
(a1, a2, an) satisfaz p(x1, x2,...,xn).
Por exemplo: A expresso 2x + 2y + 2k +2z > 10 uma sentena aberta em N x N x N x N, sendo N o
conjunto dos nmeros naturais.
A quadra ordenada (2, 2, 2, 2) N x N x N x N, por exemplo, satisfaz essa sentena aberta, j que 2.2 +
2.2 +2.2 + 2.2 > 10.
O conjunto-verdade de uma sentena aberta p(x1, x2,...,xn) em A1 x A2, x,...,x An o conjunto de todas
as n-uplas (a1, a2,...,an) A1 x A2 x,...,x An, tais que p(a1, a2,...,an) uma proposio verdadeira.Em
smbolos:Vp = {(x1,x2,...,xn) | x1 A1 x2 A2 ... xn An p(x1, x2,...,xn)}
possvel efetuar operaes lgicas sobre as sentenas abertas, tais como: no, e, ou, se ento, se e
somente se.
- Negao
Considerando uma sentena aberta, o conjunto-verdade de uma sentena aberta da forma ~p(x) em A
obtido pelo complementar do conjunto-verdade Vp. Este conjunto formado por todos os elementos que
esto em A mas no esto em Vp. Disso tem-se que a interseco de Vp com V~p vazia.
Dado o conjunto A{1,2,3,4,5} e 'x' A, determine o conjunto verdade de:
a) ~(x<=3)
V~p{4,5}
b) ~(x par)
V~p{1,3,5}
- Conjuno
Considerando duas sentenas abertas, o conjunto-verdade de uma sentena aberta da forma p(x) ^ q(x)
em A obtido pela interseo dos conjuntos-verdade Vp e Vq.
Dado o conjunto A sendo natural, tal que A>=1 e A<=10:
a) x<7 ^ x impar
V ={1,3,5}
b) x par ^ x+2 <= 10
V = {2,4,6,8}
c) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):

p(x) : x - 3 = 0;
q(x) : x2 - 9 = 0.
Vpq = {x Z I x-3 = 0} {x Z I x2 9 = 0} = {3} {-3,3} ={3}
Vpq = {x Z I X = 3}
d) Dados os conjuntos A = {1,2,3,4} e B = {1,3,4}, encontrar o conjunto verdade a partir da sentena x+ y
= 4 ^ x - y =3
Na primeira parte, tem os seguintes casos para verdadeiro: (1,3) e (3,1)
Na segunda parte, tem o seguinte caso para verdadeiro: (4,1)
Como no h pares que se repetem nas duas partes, logo o conjunto verdade vazio.
- Disjuno
Considerando duas sentenas abertas, o conjunto-verdade de uma sentena aberta da forma p(x) v q(x)
em A obtido pela unio dos conjuntos-verdade Vp e Vq.
a) Dado A{2,3,4,5,6,7,8,9,18,20}, encontrar o conjunto verdade de:
- x divisvel por 6 v x divisvel por 10
V = {6,18,20}
- x - 3x = 0 v x=x
V = {3}
b) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):
p(x): x - 3 = 0;
q(x): x2 - 9 = 0.
Vpvq = {x Z I x-3 = 0} {x Z I x2 9 = 0} = {3} {-3,3} ={-3, 3}
Vpvq = {x Z I X = -3 v X = 3}
-Condicional
Considerando duas sentenas abertas, o conjunto-verdade de uma sentena aberta da forma p(x) q(x)
em A obtido pela unio dos conjuntos-verdade V~p e Vq.
Observando o condicional (x > 5) (x > 2), em N, podemos notar que:
Vp{0, 1,2....,8,9,...}
- Bicondicional
Considerando duas sentenas abertas, o conjunto-verdade de uma sentena aberta da forma p(x)
q(x) em A obtido pela interseo dos conjuntos-verdade Vpq e Vqp.
Exemplo: Dadas as sentenas abertas em N (conjunto dos nmeros naturais):
p(x): x > 16, q(x): x < 5
Tem-se:
Vpq = V~p U Vq = {x > 16} U {x < 5} = {x 16} U {x < 5 } = {x 16}
Vqp = V~q U Vp = { x < 5} U {x > 16} = {x 5} U { x > 16} = {x 5}
nalmente: Vp q = {x 16} {x 5} = { 5 x 16}
Atividades
1) Formalize os enunciados a seguir usando o alfabeto da lgica de primeira ordem.
a)
Nenhum tubaro considerado uma pessoa.
b)
Nem todos os tubares so carnvoros.
c)
S verdadeiros e falsos so valores lgicos.
d)
Todos os tubares tm dentes afiados.
2) Relacione a primeira coluna com a segunda de forma que ambos expressem o mesmo conhecimento,
f (x)
embora estejam usando linguagens diferentes. Considere ainda que
h(x)
um feiticeiro,
pr (x)
p(x)
x
representa
x
representa
um humano,
representa x um nmero par e
representa
um
nmero primo.
x( f ( x) h( x))
I-
x(h( x) f ( x))
II III -
x y (y
p(y))
x( p( x) pr ( x))
IV ( ) Para todo nmero, existe um outro nmero que maior ou igual a ele e par
( ) Existem feiticeiros humanos
( ) Nem todo homem feiticeiro
( ) Existem nmeros pares e primos
a) III, II, I, IV
b) IV, I, II, III
c) IV, II, I, III
d) III, I, II, IV
a ( x, y )
3) Considerando que a relao
p ( x, y )
x
representa
av de y e
x
representa
pai de
escreva usando a linguagem natural a seguinte expresso:
xy (a ( x, y ) g ( p( x, g )) p( g , y ))
4) A partir da linguagem da lgica de predicados, possvel representar o mesmo conhecimento de

diversas formas. Sendo assim, analise as frases Alguns peixes so surubim e Nenhum peixe
surubim e, em seguida, assinale a alternativa que possua sua representao da forma correta.
a)
x (peixe(x)
surubim (x));
x (peixe(x)
surubim(x))
b)
c)
d)
x (peixe(x)
surubim (x));
x (surubim (x)
peixe (x));
x (peixe(x)
surubim (x));

x (peixe(x)
surubim(x))

x (peixe(x)
x(
surubim(x))
peixe(x)
surubim(x))
5) Represente as seguintes frases utilizando o alfabeto da lgica de predicados.

a) Nenhum argumento com premissas verdadeiras e concluso falsa um argumento vlido.
b) Todo argumento correto tem concluso verdadeira.
c) Todo argumento com premissas falsas e invlido tem concluso falsa.
d) Nem todo argumento invlido e com premissas verdadeiras tem concluso falsa.
e) Nenhum argumento correto tem concluso falsa.
f) Todo argumento com concluso falsa invlido.
g) No existem argumentos corretos com concluso falsa.
h) Existem argumentos invlidos com concluso verdadeira.
6) Utilizando a linguagem da lgica de predicados, formalize os argumentos apresentados a seguir.
a) Nenhum poltico sincero. Alguns polticos so advogados. Logo, alguns advogados no so
sinceros.
b) Fernando Collor foi presidente do Brasil. Fernando Collor foi destitudo da presidncia atravs de um
processo de impeachment. Logo, existe pelo menos um presidente que foi destitudo atravs de um
processo de impeachment.
c) Todos os senadores so eleitos pelo povo. Posto que alguns senadores so desonestos, pode-se
concluir que existem pessoas desonestas eleitas pelo povo.
d) Alguns polticos so desonestos. Alguns advogados so polticos. Logo, alguns advogados so
desonestos.
e) Nenhum deputado governista vai votar contra as reformas. Pedro no um deputado governista.
Logo, Pedro vai votar contra as reformas.
f) H monitor que bom estudante, mas no comunicativo. Apenas bons estudantes so monitores.
Todo artista comunicativo. Portanto, nem todo bom estudante um artista.
g) Alguns escritores so poetas. Nenhum msico poeta. Logo, nenhum msico escritor.
h) Alguns escritores so poetas. Nenhum msico poeta. Logo, existem escritores que no so msicos.
i) Todo psiquiatra mdico. Nenhum engenheiro de software mdico. Portanto, nenhum psiquiatra
engenheiro de software.
j) Todo trabalhador responsvel. Todo artista, se no for filsofo, ou trabalhador ou poeta. No h
filsofo e no h poeta que no seja responsvel. Portanto, todo artista responsvel.
7) Considerando que os predicados P(x) e Q(x) significam x divisvel por 2 e x divisvel por 3,
respectivamente, traduza as frmulas abaixo para a linguagem natural (lngua portuguesa) levando em
considerao o significado do alfabeto da lgica de predicados.
a) (x) P(x)
b) (x) P(x)
c) (x) P(x)
d) ((x) P(x))
e) (x) P(x)
f) (x) (P(x) Q(x))
g) (x) (P(x) Q(x))
8) Determinar o conjunto verdade em N de cada uma das sentenas abertas a seguir.
a) 2x = 8
b) x - 1 = 4
c) x2 - 5x + 6 = 0
9) Formalize os enunciados a seguir usando o alfabeto da lgica de primeira ordem.
a) Todos os programas funcionam.
b) Nenhum programa funciona.
c) Alguns programas funcionam.
d) Alguns programas no funcionam.
e) Qualquer coisa funciona.
f) Alguma coisa funciona.
g) Nem tudo funciona.
h) Nada funciona.
i) Joo ama a si prprio.
j) Joo ama todo mundo.
k) Todo mundo ama Joo.
l) Qualquer pessoa ama a si mesma.
m) Existe algum que se ama.
n) Existe algum que Maria no ama.
o) Existe algum que tanto Joo quanto Maria amam.
p) Todo mundo ama todo mundo.
q) Algum ama algum.
r) Existe algum que ama todo mundo.
s) Todo mundo amado por algum.
t) Todo aluno mais novo do que algum professor.
u) Nem todos os pssaros so capazes de voar.
v) Algumas coisas esto ligadas e outras no esto.
w) Qualquer coisa ou est ligada ou no est ligada.
x) Todos os programas so programas.
y) Somente programas funcionam.
z) Existe pelo menos um gacho aqui.
aa) Existe pelo menos um nmero que menor que 2.
ab) Todo homem imaginativo.
ac) Alguns homens so bombeiros.
ad) Alguns alunos so baianos.
10) Represente o conhecimento apresentado a seguir usando a linguagem de primeira ordem.
a) Premissa1: Todos os homens so mortais.

Premissa2: Scrates homem.
Concluso: Portanto, Scrates mortal.
b) Premissa1: Toda baleia um mamfero.
Premissa2: Todo mamfero tem pulmes.
Concluso: Portanto, toda baleia tem pulmes.
c) Premissa1: Jeremias rico.
Premissa2: Todos os homens ricos so felizes.
Concluso: Logo, Jeremias feliz.
d) Premissa1: Alguns felinos so tigres.
Premissa2: Todos os tigres so belos.
Concluso: Logo, alguns felinos so belos.
e) Premissa1: Todos os so-carlenses so paulistas.
Premissa2: Todos os paulistas so brasileiros.
Concluso: Logo, todos os so-carlenses so brasileiros.
f) Premissa1: Nenhuma baleia peixe.
Premissa2: Moby Dick baleia.
Concluso: Logo, Moby Dick no peixe.
g) Premissa1: Todo amigo de Carlos amigo de Jonas.
Premissa2: Pedro no amigo de Jonas.
Concluso: Logo, Pedro no amigo de Carlos.
h) Premissa1: Todos os cientistas so estudiosos.
Premissa2: Alguns cientistas so inventores.
Concluso: Alguns estudiosos so inventores.
i) Premissa1: Todos os humanos so racionais.
Premissa2: Alguns animais so humanos.
Concluso: Portanto, alguns animais so racionais.
11) (ENADE 2008) Uma frmula bem formada da lgica de predicados vlida se ela verdadeira
para todas as interpretaes possveis. Considerando essa informao, analise as duas asseres
apresentadas a seguir.
A frmula bem formada (x) P(x) (x) P(x) vlida
porque,
em qualquer interpretao de uma frmula da lgica de predicados, se todo elemento do conjunto
universo tem a propriedade P, ento existe um elemento do conjunto que tem essa propriedade.
Assinale a opo correta com relao a essas asseres.
a) As duas asseres so proposies verdadeiras, e a segunda uma justificativa correta da primeira.
b) As duas asseres so proposies verdadeiras, e a segunda no uma justificativa correta da
primeira.
c) A primeira assero uma proposio verdadeira, e a segunda uma proposio falsa.
d) A primeira assero uma proposio falsa, e a segunda uma proposio verdadeira.
e) As duas asseres so proposies falsas.
12) (SERPRO Analista de Sistemas/2005) Considere a seguinte argumentao lgica:
Todo psiquiatra mdico.
Nenhum engenheiro de software mdico.
Portanto, nenhum psiquiatra engenheiro de software.
Denote por x um indivduo qualquer e simbolize por P(x) o fato de o indivduo ser psiquiatra, por M(x) o
fato de ele ser mdico, e por E(x) o fato de ser engenheiro de software. Nesse contexto e com base na
argumentao lgica, julgue os itens seguintes.
1) A argumentao lgica pode ser simbolizada por

(x) (P(x) M(x))
(x) (E(x) M(x))
(x) (P(x) E(x))
2) A forma simblica (x) (E(x) M(x)) logicamente equivalente a (x) (E(x) M(x))
13) Escreva em linguagem natural a negao das seguintes afirmaes.
a) Todos os cargos deste concurso so de analista de informtica.
b) Alguns escritores so poetas.
c) Nenhum engenheiro de software mdico.
d) Alguns polticos no so honestos.
e) Pelo menos um economista no mdico.
f) Todos os no mdicos so no economistas.
g) Existem pessoas inteligentes que no sabem ler ou escrever.
h) Toda pessoa culta sbia se, e somente se, for inteligente.
14) Todos os alunos de matemtica so, tambm, alunos de ingls, mas nenhum aluno de ingls
aluno de histria. Todos os alunos de portugus so tambm alunos de informtica, e alguns alunos de
informtica so tambm alunos de histria. Como nenhum aluno de informtica aluno de ingls, e
como nenhum aluno de portugus aluno de histria, ento:
a) pelo menos um aluno de portugus aluno de ingls.
b) pelo menos um aluno de matemtica aluno de histria.
c) nenhum aluno de portugus aluno de matemtica.
d) todos os alunos de informtica so alunos de matemtica.
e) todos os alunos de informtica so alunos de portugus.
15) Um contra-exemplo para Todo homem cristo um homem penitente encontrar
a)
um homem no cristo que seja penitente.
b)
um homem que no seja penitente nem cristo.
c)
uma mulher crist e penitente.
d)
um homem que no seja penitente e que seja cristo.
e)
uma mulher crist e que no seja penitente.
16) Dados os conjuntos A = -2,0,1,2
e B = -1,0,3
determinar o conjunto verdade da
sentena aberta x + y 1 em AxB.

17) Determinar o conjunto verdade da sentena aberta x + y 7 em AxB sendo A = -1,0,1,3,4
e B = 2,3,5,6,7 .
Aula 10 Regras para Lgica de Predicados

1 Eliminao do Universal (EU)
Se tivermos estabelecido que x S(x), e se soubermos que d um nome de um objeto que
pertence ao domnio do discurso, ento podemos legitimamente inferir S(d).
Isto porque no existe nenhuma forma que permita que a declarao universal seja verdadeira
sem que a declarao especfica tambm o seja. Esta inferncia denominada Instanciao
Universal ou Eliminao do Universal.
2 Introduo do Existencial (IE)
Suponhamos, por exemplo, que estabelecemos que d um quadrado amarelo. Obviamente
podemos concluir que existe no domnio um quadrado que amarelo. No existe nenhuma
forma que permita que a declarao especfica seja verdadeira sem que a existencial tambm
o seja.
Se estabelecemos S(d) ento podemos inferir x S(x). Esta inferncia denominada
Generalizao existencial ou Introduo do Existencial.
3 Introduo do Universal (IU)
Diz-nos que podemos introduzir um novo nome d, para denominar um membro arbitrrio do
domnio do discurso, e prosseguir no sentido de provar S(d). Se o fizermos podemos concluir
x S(x).
A esta regra coloca-se a seguinte restrio:
1. a constante d no pode ocorrer em premissa ou hiptese vigente.
Ex: Pa xPx
1 Pa
2 xPx
1 IU
-> INCORRETO
Da premissa que a primo, no implica que todos os nmeros so primos.
Ex: x(Px Cx) Pa xCx

1 x(Px Cx)
2 Pa Ca
1 EU
3 | Pa
Hiptese para PC
4 | Ca
2, 3 MP
5 | xCx
4 IU
6 Pa xCx
3 5 PC
-> INCORRETO
Considerando que P poltico e C corrupto, incorreto dizer que se a poltico ento

todos so corruptos. No se pode introduzir um universal a partir de um caso especfico.
4 Eliminao do Existencial (EE)
Dada uma frmula quantificada existencialmente x e uma derivao de alguma concluso
a partir de uma hiptese da forma [x/a], podemos descartar a hiptese e reafirmar .
Restries:
a no ocorre em
a no ocorre em
a no ocorre em qualquer premissa
a no ocorre em qualquer hiptese vigente na linha em que EE aplicada.
Ex: x A(x, x) xA(a, x)

1 x A(x, x)
2 | A(a, a)
Hiptese para EE
3 | xA(a, x)
2 IE
4 xA(a, x)
1 e 2 - 3 EE -> INCORRETO PORQUE a EST EM (LINHA 3).
A constante a no deve ocorrer em . Da premissa que algum ama a si prprio no se segue

que Ana ama algum (x A(a, x)).
Ex: xy F(y, x) x F(x, x)
1 xy F(y, x) P
2 y F(y, a)
1 EU
3 | F(a, a)
Hiptese para EE
4 | x F(x, x) 3 IE
5 x F(x, x)
2 e 3 - 4 EE -> INCORRETO PORQUE a EST EM (LINHA 2).
A constante a no pode ocorrer em . Da premissa que todos tem um pai (xy F(y, x)) no se
segue que algum pai de si mesmo.
Ex: x Gx, Fa x (Fx Gx)
1 x Gx
2 Fa
3 | Ga
hiptese para EE
4 | Fa Ga
2, 3 Conjuno
5 | x (Fx Gx)
4 IE
6 x (Fx Gx)
2).
1, 3 5 EE -> INCORRETO PORQUE a EST NAS PREMISSAS (LINHA
A constante a no pode ocorrer em qualquer premissa.
Ex: xGx Fa x(FxGx)

1 xGx
2 | Fa
3 | | Ga
Hiptese para PC
Hiptese para EE
4 | | Fa Ga
2,3 conjuno
5 | | x(FxGx)
4 IE
6 | x(FxGx)
1, 3-5 EE -> INCORRETO PORQUE a EST NA HIPTESE (LINHA
2).
7 Fa x(FxGx) 2-6 PC
A a no pode ocorrer em qualquer hiptese vigente na linha em que EE ser aplicada.
Semelhante a regra anterior, mas aplicada para hipteses em vez de premissas
CONSIDERAES FINAIS
1 ~(x ~F(x)) = xF(x)
2 ~(x F(x)) = x~F(x)
3 x ~F(x) = ~(xF(x))
4 x F(x) = ~(x~F(x))
Atividades
1) Verifique a validade dos argumentos a seguir utilizando as regras da lgica de predicados.
a) x(Hx Mx), Hs Ms
b) Fa xFx, xFx PFa P
c) x(Fx Gx), xFx Ga
d) Fa xFx
e) xyFxy Faa
f) x(Px Qx), Qa Pa
g) Ac La xAx yLy
h) x(Px Qx), Pa xQx
i) x(Ax Bx), As xBx
j) x(Rx Sx), xRx xSx
k) x(Fx (Gx Hx)), xGx xFx xHx
l) x(Ax Bx), x(Cx Dx) x(Ax Cx)
m) x (F(x) ^ G(x)) x F(x)
n) x(F(x) G(x)), xF(x) xG(x)
o) xP(x), (xP(x)) Qb Qb
p) x (Fx) xFx
q) Ra Ba x(Rx Bx)
2)
a)
b)
c)
d)
e)
f)
g)
h)
As formas abaixo so vlidas ou invlidas?

Todo A B. Todo A C. Logo, todo B C.
Algum A B. Logo, algum B A.
Todo B C. Todo A B. Logo, todo A C.
Nenhum A B. Logo, nenhum B A.
Todo A B. Todo C no B. Logo, todo C no A.
Algum A no B. Logo, algum A B.
Todo A no B. Todo B no C. Logo, algum A C.
Nenhum A no B. Todo B C. Logo, todo A C.
3) Quais dentre os argumentos abaixo so vlidos e quais so invlidos? (Escreva a forma do argumento
com a linguagem da lgica de predicados).
a) Nenhum mamfero invertebrado. Gatos so mamferos. Logo, gatos so vertebrados.
b) Alguns polticos so honestos. Logo, nem todos os polticos so desonestos.
c) Colombo era corintiano, pois era paulista e todos os paulistas so corintianos.
d) Todo brasileiro fantico por futebol. Bush no brasileiro, portanto, no fantico por futebol.
e) Nenhum deputado governista vai votar contra as reformas. Pedro no um deputado governista.
Logo, Pedro vai votar contra as reformas.
f)
Somente os brasileiros so cariocas. Ora, posto que todos os flamenguistas so cariocas, todo
flamenguista brasileiro.
g) Todo flamenguista campeo do mundo. Nenhum atleticano campeo do mundo. Logo, nenhum
atleticano flamenguista.
4) Represente os argumentos a seguir utilizando a linguagem da Lgica de Predicados. Em seguida,
prove a validade de cada argumento usando o mtodo da deduo natural.
a) Todos os cachorros so estpidos. Todas as criaturas estpidas so amveis. Nenhuma criatura

amvel sensata. Portanto, nenhum cachorro sensato.
Use os smbolos: Ca(x), E(x), A(x) e S(x).
b) Nenhum cantor intil, pois nenhum cantor ignorante e todas as pessoas ignorantes so inteis.
Use os smbolos: C(x), In(x) e Ig(x).
c) Todo microcomputador tem uma porta serial. Alguns microcomputadores tm uma porta paralela.
Portanto alguns microcomputadores tm uma porta serial e uma porta paralela.
Use os smbolos: M(x), PS(x) e PP(x).
d) No existem mortais. Portanto, todos so no imortais.
Use o smbolo: M(x).
e) Todos tm um pai. Logo, algum pai de si mesmo.
Use o smbolo: P(x).
Aula 11 rvore de Refutao para Lgica de Predicados

Na Lgica Proposicional, mostrou-se como as tabelas verdade, as demonstraes e as rvores
de refutao podem ser usadas para a verificao da validade de argumentos e de tautologias.
Verificaremos no que segue como as rvores de refutao podem ser generalizadas para o
Clculo de Predicados.
Como anteriormente, as rvores de refutao iro permitir verificar a validade de argumentos
em um nmero finito de passos. No entanto, esta tcnica na Lgica de Predicados pode no
nos fornecer nenhuma resposta em alguns casos.
A generalizao das rvores de refutao para a Lgica de Predicados mantm todas as regras
anteriormente vistas para a Lgica Proposicional e novas regras sero estipuladas para as
frmulas contendo os quantificadores Universal () e Existencial (). Teremos ento, alm das
dez regras dadas na lgica Proposicional, mais quatro novas regras (Alves, 2010).
1 Regra da Negao do Quantificador Universal (~):
Uma frmula do tipo ~(x) gera uma linha na qual escreve-se a frmula (x)~. Procede-se
assim em todos os ramos abertos aos quais a frmula ~(x) pertence
2 Regra da Negao do Quantificador Existencial(~):

Uma frmula do tipo ~(x) gera uma linha na qual escreve-se a frmula (x)~. Procede-se
assim em todos os ramos abertos aos quais a frmula ~(x) pertence
3 Regra do Quantificador Existencial ():

Uma frmula do tipo (x)(x) gera uma linha na qual escrevemos a frmula (c) onde c uma
nova constante que no ocorre em qualquer ramo da rvore e substituir as ocorrncias da
varivel x, do quantificador, na frmula . Procedemos assim em todos os ramos abertos aos
quais a frmula (x)(x) pertence.
Justificativa: A frmula (x)(x) significa que existe pelo menos um objeto do Universo que tem
a propriedade e este ser identificado, sempre, por uma "nova" constante, ou seja, uma
constante que no ocorre na rvore.
4 Regra do Quantificador Universal () :
Uma frmula do tipo (x)(x) gera uma linha na qual escrevemos a frmula (c) onde c
qualquer constante que j ocorre em qualquer ramo da rvore e substituir as ocorrncias da
varivel x, do quantificador, na frmula . Procedemos assim em todos os ramos abertos aos
quais a frmula (x) (x) pertence.
Justificativa: A frmula (x)(x) significa que todos os objetos do universo tm a propriedade .
Sendo assim, a regra deve ser aplicada a todas as constantes presentes na rvore e
eventualmente para aquelas que surgirem durante a "construo" da rvore.
Algumas Observaes Importantes
1. Como vimos anteriormente, as frmulas para as quais so aplicadas as regras, sempre
sero "marcadas" (). No entanto, para a regra () do quantificador universal isto no ser
obedecido pois, se surgir uma nova constante na rvore por aplicao da regra (), para esta
constante dever ser aplicada a regra () em todas as frmulas do tipo (x)(x) da rvore.
2. Somente se nenhuma constante ocorre em algum ramo que podemos introduzir uma nova
constante para usar em possveis aplicaes da regra () ao longo do referido ramo.
Atividades
1) Prove a validade dos argumentos a seguir por meio da rvore de refutao.
a) (x)P(x) (x)P(x)
b) Todos os cientistas so estudiosos. - (x) (C(x) E(x))
Alguns cientistas so inventores. - (x) (C(x) I(x))
Alguns estudiosos so inventores. - (x) (E(x) I(x))
c) Nenhum estudante velho. - (x) (E(x) ~V(x))
Alguns jovens no so estudantes. - (x) (J(x) ~E(x))
Alguns velhos no so jovens. - (x) (V(x) ~J(x))
d) x(F(x) G(x)), x ~G(x) x ~ F(x)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
x (F(x) ~G(x)), x (H(x) G(x)) x (F(x) ~H(x))

x F(x) x G(x) x (F(x) G(x))
x (F(x) G(x)) x F(x) x G(x)
x y (F(x) G(y)) y x (G(y) F(x))
x y (F(x) G(y)) y x (F(x) G(y))
xF(x) xF(x)
xF(x) x(F(x) P)
xy(F(x) G(y)) yx(G(y) F(x))
xy Pxy Paa
x(Fx Gx) x(Fx Gx)
2) Represente os argumentos a seguir usando a linguagem da Lgica de Predicados. Depois, construa

uma rvore de refutao para provar a sua validade.
a) Todos os membros do conselho vm da indstria ou do governo. Todos que vm do governo e so
advogados so a favor da moo. Joo no vem da indstria mas advogado. Portanto, se Joo um
membro do conselho, ele a favor da moo.
Use os smbolos: M(x), I(x), G(x), A(x), F(x) e j.
b) Todos os gatos so mansos. Alguns cachorros so mansos. Logo, alguns cachorros so gatos.
Use os smbolos: G(x), C(x) e M(x).
c) Algumas ferramentas so venenosas. Todas as coisas venenosas so prejudiciais. Logo, algumas
ferramentas so prejudiciais.
Use os smbolos: F(x), V(x) e P(x).
3) Escreva os argumentos abaixo usando a linguagem da lgica de predicados. Depois, verifique a
validade do argumento por meio de deduo natural (uso de regras de equivalncia e inferncia) e
tambm por meio de rvore de refutao.
a) Se os filsofos sabem lgica, ento sabem argumentar. Mas h filsofos que no sabem argumentar.
Assim, alguns filsofos no sabem lgica.
Use os smbolos: L(x) = filsofos que sabem lgica; e A(x) = filsofos que sabem argumentar.
b) Todos os girassis so amarelos e alguns pssaros so amarelos, logo nenhum pssaro um
girassol.
Use os smbolos: G(x) = girassol, A(x) = amarelo e P(x) = pssaro.
c) Alguns baianos so surfistas. Alguns surfistas so loiros. No existem professores surfistas. Portanto,
alguns professores so baianos.
Use os smbolos: B(x) = baiano, S(x) = surfista, L(x) = loiro e P(x) = professor.
d) Todos os cachorros tm asas. Todos os animais de asas so aquticos. Existem gatos que so
cachorros. Logo, existem gatos que so aquticos.
Use os smbolos: C(x) = cachorro, As(x) = animais de asas, Aq(x) = animais aquticos e G(x) = gato.
Aula 12 Programao em Lgica - Prolog

A ideia de criar mquinas inteligentes no nova. Desde o Renascimento que se tem
procurado de forma sistemtica conceber mquinas capazes de substiturem o homem em
certas tarefas. Foi no sculo XVII que comeou uma sucesso de notveis investigaes e
invenes que iriam conduzir inteligncia artificial. As ideias filosficas do tempo
estimulavam estas descobertas (Fontes, 2010).
O desenvolvimento dos computadores acabou por impulsionar o aparecimento de uma nova
cincia nos anos 50, a inteligncia artificial. Esta cincia aplicada dedica-se ao estudo da
construo de mquinas capazes de simularem atividades mentais, tais como a aprendizagem
por experincia, resoluo de problemas, tomada de decises, reconhecimento de formas e
compreenso da linguagem (Fontes, 2010).
Por volta de 1950, na rea de Inteligncia Artificial, surgiu a linguagem Prolog que pertence ao
paradigma de programao lgico. Prolog uma linguagem declarativa e bastante utilizada
para representar conhecimento de um domnio e realizar inferncias. Existem vrios dialetos do
Prolog disponveis na Internet. Uma das ferramentas que trabalha com o Prolog o Amzi
Prolog, que pode ser encontrado em http://www.amzi.com/.
Considere o argumento:
Todo brasileiro fantico por futebol.
Bush no brasileiro, portanto, no fantico por futebol.
Poderamos implementar as premissas da seguinte forma:
fanatico(X) :- brasileiro(X).
americano(bush).
Neste caso, este seria o conhecimento que temos do domnio. Na sequncia, poderamos
perguntar ao Prolog se Bush no fantico por futebol. Para isso, faremos esta pergunta no
formato:
?- not fanatico(bush).
yes
Considere agora o argumento:
Colombo era corintiano, pois era paulista e todos os paulistas so corintianos.
Neste caso, as premissas ficariam da seguinte forma:
paulista(colombo).
corintiano(X):-paulista(X).
Para perguntar ao Prolog se Colombo era corintiano, faramos:
?-corintiano(colombo).
yes
Algumas observaes:
Qualquer letra maiscula considerada uma varivel para a linguagem. Assim, a utilize
para representar os objetos dos quantificadores.

:- representa se, ou seja, se os predicados do lado direito forem verdadeiros, ento o
predicado da esquerda tambm o ser.

Os nomes dos predicados so livres, mas opte para que eles sejam mais significativos.
Todo fato (ex: paulista(colombo).) ou regra (ex: corintiano(X):-paulista(X).) deve finalizar
com um ponto final.
Atividades
1) Considere o programa lgico a seguir.
gosta(antonio,eva).
gosta(ivo,ana).
gosta(ivo, eva).
gosta(eva,antonio).
gosta(ana,antonio).
namora(X,Y):- gosta(X,Y), gosta(Y,X).
Agora faa as seguintes perguntas ao Prolog:
Ivo gosta de quem?

Quem gosta de Antonio?
Ivo namora Eva?

Antonio namora com quem?
Eva namora Antonio?
2) Considere o programa lgico a seguir.

pai(adao,cain).
pai(adao,abel).
pai(adao,joao).
pai(joao,jose).
avo(X,Z):-pai(X,Y), pai(Y,Z).
Agora faa as seguintes perguntas ao Prolog:
Quem pai de Abel?

Adao pai de quem?
Quem av de Jos?
Joo av de algum?
3) Crie regras para irmo, irm, avoh, primo, prima, tio, tia, sobrinho, sobrinha, ...
4) Considere o seguinte conhecimento do domnio.
crime para um americano vender armas para um pas inimigo

Iraque possui msseis.
Joseph americano
Iraque uma nao
Iraque inimigo dos EUA
Todos os msseis so armas
Iraque compra os msseis de Joseph
Diante disso, reescreva todo este conhecimento para o Prolog e faa a pergunta: Joseph criminoso?
5) Represente em Prolog os conhecimentos a seguir.
Jorge gosta de automveis e de avies
Sofia gosta de nadar no vero
Sbado ou domingo final de semana
O patinho feio.
Eu sou legal.
O vento levou.
Quem no chora, no mama.
Todo homem mortal, exceto o super-homem
A Carla fala ingls e sueco.

A Paula e Sofia falam espanhol.
Portugal um pais da europa.
Na Blgica fala-se francs e flamengo.
6) Faa as seguintes perguntas diretamente ao Prolog.
7 igual a 3 + 4
8 igual a 3 + 4
4 maior ou igual a 3
7) Represente na linguagem Prolog as seguintes afirmaes.
Jos de Alencar escreveu senhora.
Jos de Alencar escreveu Iracema.
Isaac Asimov escreveu eu, rob.
Aguinaldo Silva escreveu o tieta.
Silvio de Abreu escreveu Passione.
Jos de Alencar tem nacionalidade brasileira.
Aguinaldo Silva tem nacionalidade brasileira.
Silvio de Abreu tem nacionalidade brasileira.
Isaac Asimov tem nacionalidade inglesa.
Senhora um livro.
Iracema um livro.
Eu, rob um livro.
Tieta uma novela.
Passione uma novela.
Reescreva as seguintes perguntas conforme a linguagem Prolog e, depois, informe a(s) resposta(s):
a)
Quais os autores da mesma nacionalidade que escrevem novelas?
b)
Quais os livros escritos por mais de um autor?
c)
Quais os autores que escrevem mais de um livro?
d)
Quais os livros escritos por Jos de Alencar?
e)
Quais os livros escritos por autores brasileiros?
Referncias Bibliogrficas
ABAR,
Celina.
Noes
de
Lgica
Matemtica.
Disponvel
em:
<http://www.pucsp.br/~logica/CalculodePredicados.htm>. Acesso em: 05 ago. 2008.

ALVES,
Messias.
Lgica
de
Predicados.
Disponvel
em:
<http://www.ati.pi.gov.br/~jmessias/intlogica/aulas/intlogica-parte05-3x3.pdf> Acesso em 05 jul.

2010.
ARANHA, Maria Lcia de Arruda; MARTINS, Maria Helena Pires. Filosofando Introduo
filosofia. 3. ed. So Paulo: Moderna, 2003.
CASANOVA, Marco A.; GIORNO, Fernando; FURTADO, Antnio L. Programao em Lgica e
a Linguagem Prolog. So Paulo: edgard Blucher, 1987.
CHAUI, Marilena. Convite Filosofia. So Paulo: Ed. tica, 2003.
COPI, Irving M. Introduo lgica. 2. ed. So Paulo: Mestre Jou, 1978.
CUNHA,
J.
F.
Lgica
Informal:
Argumentos.
Disponvel
em:
<http://
www.dsc.ufcg.edu.br/~logica/Apresentacoes/Log2_Argumentos.ppt>. Acesso em 04 ago. 2008.

FONTES,
Carlos.
Breve
Histria
da
Lgica.
Disponvel
em:
<http://afilosofia.no.sapo.pt/Hist.htm>. Acesso em 07 jul. 2010.

FRANCO,
Mrcia
Islabo.
Introduo
Lgica
de
Predicados.
Disponvel
em:
<http://www.inf.ufrgs.br/~jkv/LogicaPred.pdf>. Acesso em: 10 jul 2008.

HUBNER,
Jomi
Fred.
Lgica
Proposicional.
Disponvel
em:
<http://www.inf.furb.br/~jomi/logica/slides/logProp-4x1.pdf>. Acesso em: 16 ago. 2008.

IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemtica Elementar. So Paulo:
Atual, 1993.
KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. Petrpolis: Vozes, 2000.
MORTARI, Cezar A. Introduo Lgica. So Paulo: UNESP, 2001.
NOLT, John; ROHATYN, Dennis. Lgica. So Paulo: McGraw-Hill, 1991.
PINHO, Antnio. A. Apostila de Introduo Lgica Matemtica. Rio de Janeiro, 1999.
ROISENBERG,
Mauro.
Teoria
dos
Conjuntos.
Disponvel
em:
<http://www.inf.ufsc.br/~mauro/ine5381/slide/Conjuntos.PDF> Acesso em 06 Ago. 2008.

RUSSELL, S.; NORVIG, P. Artificial Intelligence: A Modern Approach. 2nd. ed, Prentice-Hall,
Inc, 2003.
SALMON, W. Lgica. Zahar, 6a. ed., 1984.
SOARES, Edvaldo. Fundamentos de Lgica: Elementos da Lgica Formal e Teoria da
argumentao. So Paulo: Atlas, 2003.
SOUZA, Joo Nunes de. Lgica para Cincia da Computao. Rio de Janeiro: Campus,
2002.
TELES, Antnio Xavier. Introduo ao Estudo de Filosofia. So Paulo: tica, 2000.

TUTORVISTA.
Number
Theory.
Disponvel
<http://www.tutorvista.com/content/math/number-theory/number-theory.php> Acesso
em:
em
10
Ago. 2008.
WIKIPEDIA
Enciclopdia.
Conjunto
das
Partes.
Disponvel
em:
Disponvel
em:
<http://pt.wikipedia.org/wiki/Conjunto_de_partes> Acesso em 11 Ago. 2008.

WIKIPDIA-Enciclopdia
Livre.
Lgica
proposicional.
<http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional>. Acesso em: 03 ago. 2008.

WIKIPDIA-Enciclopdia
Livre.
Lgica
de
primeira
ordem.
Disponvel
<http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem>. Acesso em: 05 ago. 2008.
em:

Apostila IL 2013 1

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila IL 2013 1

Enviado por

Direitos autorais:

Formatos disponíveis

Material Didtico para a Disciplina de

Curso de Cincia da Computao

Apostila de Introduo Lgica Pgina 2

Aula 1 Raciocnio Lgico-Quantitativo

Apostila de Introduo Lgica Pgina 3

Nestes exemplos, temos a apresentao do conjunto

contendo uma coleo de

, embora temos uma descrio possvel identificar quais valores pertencem

a este conjunto. Assim, podemos dizer que

so conjuntos limitados, ou seja,

possui um conjunto especfico de elementos.

. Considerando estes conjuntos, teramos:

PS: A ordem em que os elementos so apresentados num conjunto irrelevante. Por

, por sua vez, constitudo por todos os elementos que so maiores ou

para designar a existncia de um elemento sendo

Apostila de Introduo Lgica Pgina 4

composto por todos os nmeros inteiros pares. De forma similar ao conjunto

, a partir da descrio possvel identificar quais os elementos que pertencem a este

conjunto. No caso dos conjuntos

, especificamente, podemos ainda denomin-los de

ilimitados, ou seja, no existe um limite definido.

No confundam. A representao do conjunto vazio realizada somente por

Um conjunto chamado unitrio quando este possui somente um elemento. Alguns

questo. A notao utilizada para denotar o conjunto universo

Apostila de Introduo Lgica Pgina 5

A repetio dos elementos num conjunto tambm irrelevante. Por exemplo,

(l-se: 2 pertence ao conjunto A)

(l-se: 52 pertence ao conjunto C)

(l-se: 500 pertence ao conjunto E)

para mostrar esta

informao. Desta maneira, alguns exemplos desta relao so:

(l-se: 3 no pertence ao conjunto A)

(l-se: 57 no pertence ao conjunto D)

(l-se: 1 no pertence ao conjunto F)

Alm de verificar se um elemento pertence ou no a um conjunto, podemos ainda

Apostila de Introduo Lgica Pgina 6

conjuntos C e D definidos anteriormente, podemos afirmar que o conjunto D est contido em C.

, que pode ser expresso da seguinte forma:

O conjunto de todos os subconjuntos de um conjunto dado

potncia (ou conjunto das partes) de

(WIKIPEDIA, 2008). Podemos

ainda definir assim:

refere-se quantidade de elementos do conjunto. Considerando

. Assim, teremos oito subconjuntos. So eles:

Apostila de Introduo Lgica Pgina 7

Alm dessas operaes, podemos tambm estabelecer a igualdade entre dois

1.1.4 Operaes sobre conjuntos

Apostila de Introduo Lgica Pgina 8

Por exemplo, considerando os conjuntos

definidos anteriormente, podemos

. Neste caso, temos:

No modo mais detalhado, a unio dos conjuntos

pode ser visualizada como

Por exemplo, considerando os conjuntos

denotar a interseo destes conjuntos por

definidos anteriormente, podemos

. Neste caso, temos:

Ento, observando os elementos dos conjuntos, teremos:

conjunto A, o complemento de A, representado por

Ou ainda definido com a expresso

, pode ser definido da seguinte forma:

Apostila de Introduo Lgica Pgina 9

, a operao de diferena entre conjuntos representada