100

Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Unidade IV
Objetivos
Estudar tcnicas adicionais para aplicabilidade em casos nos quais a Lgica proposicional no se
aplica. O estudo da teoria dos conjuntos apresentado, como ferramenta auxiliar para o entendimento
da lgica dos predicados.
7 EMBASAMENTO PARA A LGICA DOS PREDICADOS
7.1 Sentenas abertas
Note-se a seguinte sentena, em que x uma varivel:
x menor que 8
Para essa sentena, no possvel atribuir um valor lgico de verdadeiro ou falso, pois no se tem
conhecimento do valor de x, por isso, essa sentena no uma proposio. Porm, se for atribudo um
valor a x, por exemplo, 45, a sentena ser 45 menor que 8, pode ser dita como falsa, logo, chamada
de proposio. As sentenas desse tipo que possuem uma ou mais variveis e que no podem ser
avaliadas como verdadeiras ou falsas so denominadas de sentenas abertas.
As sentenas abertas no so apenas aquelas que envolvem variveis numricas, elas podem
representar outros tipos de valores, por exemplo, pessoas ou cidades. Diga-se y a capital de So Paulo.
Se a y atribuir-se o contedo So Paulo, a sentena ser verdadeira, caso contrrio, ser falsa.
As sentenas abertas podem possuir uma quantidade de variveis qualquer. Outra maneira de
us-las quando utilizam-se frases fora de um contexto, Por exemplo: Ele foi jogador do Corinthians.
Obviamente, no se pode armar se a sentena verdadeira ou falsa, pois no se sabe quem ele,
porm, em um contexto determinado: Rivelino foi um craque. Ele foi jogador do Corinthians, sabe-se
que o Ele se refere a Rivelino, logo, no caso, pode-se armar que a frase verdadeira.
7.2 Reviso de teoria dos conjuntos
Denio de conjunto: uma coleo de zero ou mais objetos distintos, chamados elementos do
conjunto, os quais no possuem qualquer ordem associada. Em outras palavras, uma coleo no
ordenada de objetos.
Exemplo:
A = {branco, azul, amarelo}.
101
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Em um conjunto, a ordem dos elementos no importa e cada elemento deve ser listado apenas uma vez.
Pode-se denir um conjunto de diferentes formas:
Denotao por extenso: os elementos so listados exaustivamente.
Exemplo:
Vogais = {a, e, i, o, u}
Denotao por compreenso: denio de um conjunto por propriedades comuns aos objetos. De
forma geral, escreve-se {x | P(x)}, onde P(x) representa a propriedade.
Exemplo:
Pares = {n | n par}, que representa o conjunto de todos os elementos n, tal que n um nmero par.
Ainda podemos especicar um conjunto omitindo alguns elementos que esto implcitos na notao
adotada. Veja exemplos:
Dgitos = {0, 1, 2, 3,..., 9}.
Pares = {0, 2, 4, 6,...}.
Relao de pertinncia
Se a elemento de um conjunto A, ento podemos escrever: a A e diz-se que a pertence ao
conjunto A.
Se a no elemento de um conjunto A, ento podemos escrever: a A e diz-se que a no
pertence ao conjunto A.
Exemplos:
Considerando o conjunto Vogais = {a, e, i, o, u}, pode-se dizer que:
- e Vogais;
- m Vogais.
Considerando o conjunto B = {x | x brasileiro}, temos que:
- Pel B.
- Bill Gates B.
102
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Alguns conjuntos importantes
O conjunto vazio um conjunto que no possui elementos e pode ser denotado por ou { }.
Ainda temos:
- N, que representa o conjunto dos nmeros naturais;
- Z, que representa o conjunto dos nmeros inteiros;
- Q, que representa o conjunto dos nmeros racionais;
- I, que representa o conjunto dos nmeros irracionais;
- R, que representa o conjunto dos nmeros reais;
- C, que representa o conjunto dos nmeros complexos.
Denio de alfabeto: um alfabeto um conjunto nito, ou seja, um conjunto que pode ser denotado
por extenso. Os elementos de um alfabeto so chamados de smbolos ou caracteres.
Denio de palavra: uma palavra sobre um alfabeto uma sequncia nita de smbolos do alfabeto,
justapostos.
Exemplos:
- um alfabeto;
- {a, b, c, d} um alfabeto;
- N no um alfabeto;
- e uma palavra sobre {a, b, c].
Relao de incluso
Se todos os elementos de um conjunto A so tambm elementos de um conjunto B, ento dizemos que:
A B - A est contido em B,
ou que
B A - B contm A.
Neste caso, podemos dizer que A um subconjunto de B.
Por outro lado, se A B e A B, ou seja, existe b B tal que b A, ento diz-se que:
A B A est contido propriamente em B,
ou que
103
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
B A B contm propriamente A.
Neste caso, dizemos que A um subconjunto prprio de B.
Exemplos:
- {1, 2, 3} {3, 2, 1};
- {1, 2} {1, 2, 3};
- {1, 2} {1, 2, 3}.
Denio de conjunto universo: denotado por U, o conjunto que contm todos os conjuntos que
esto sendo considerados, ou seja, dene o contexto de discusso. Dessa forma, U no um conjunto
xo e, para qualquer conjunto A, temos que A U.
Igualdade de conjuntos
Dois conjuntos A e B so ditos iguais se, e somente se, possuem os mesmos elementos, ou seja:
A = B, ou seja, (A B B A).
Exemplos:
- {0,1,2} = {x N | x 0 x < 3},
- N = {xZ x 0},
- {a, b, c} = {a, b, b, c, c, c}.
Pertinncia x Incluso
Os elementos de um conjunto podem ser conjuntos.
Exemplos:
Considere o conjunto S = {a, b, c, d, , {0}, {1, 2}}. Ento:
- {a} S;
- {a} S;
- S;
- S;
- {0} S;
- {1,2} S;
104
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
- {a, b, c, d} S;
- {a, b, c, d} S;
Podem-se representar conjuntos e suas operaes atravs de guras geomtricas, como elipses e
retngulos, os diagramas de Venn.
Usualmente, os retngulos so utilizados para representar o conjunto universo e as elipses para
representar os demais conjuntos.
Conjunto A = {a, b, c, d, e}.
a
b
c
d
e
Figura 12
Conjunto A B.
a
b
c
d
e
A B
Figura 13
Conjunto A U.
a
b
c
d
e
A
U
Figura 14
105
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
7.3 Sentena aberta
D-se o nome de sentena aberta de uma varivel em um conjunto A ou apenas
sentena aberta em A a uma expresso p(x) tal que p(a) falsa (F) ou verdadeira
(V) para todo a A. Isto , p(x) uma sentena aberta em A se e somente se p(x)
torna-se uma proposio (falsa ou verdadeira) todas as vezes que se substitui a
varivel x por qualquer elemento a do conjunto A(a A) (ALENCAR FILHO, 2002).
O conjunto A recebe o nome de conjunto universo ou domnio da varivel x. Aos elementos a A
d-se o nome de valor da varivel x.
Se a A tal que p(a) uma proposio verdadeira (V), diz-se que a satisfaz ou verica p(x).
D-se o nome de funo proposicional a uma sentena aberta com uma varivel cujos valores
possveis esto em um conjunto A (ALENCAR FILHO, 2002).
Exemplos
a. y + 4 > 10;
b. x divisor de 50;
c. z no primo;
d. k mltiplo de 7;
e. u capital da Argentina;
f. Ele presidente da Guatemala.
7.3.1 Conjunto-verdade de uma sentena aberta com uma varivel
D-se o nome de conjunto verdade de uma sentena aberta p(x) em um conjunto A ao conjunto
de todos os elementos a A tais que p(a) uma proposio verdadeira (V). Obviamente, o conjunto
verdade um subconjunto do conjunto A.
Esse conjunto representa-se por V
p
.
Em smbolos:
V
p
= {x | x A p (x) V}
ou seja:
V
p
= {x | x A p(x)} ou V
p
= {x A I p(x)}
106
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
O conjunto-verdade V
p
de uma sentena aberta p(x) em A sempre um subconjunto do conjunto
A(V
p
A).
Exemplos:
Nos exemplos a seguir, N conjunto dos nmeros naturais, ou seja, {0,1,2,...}.
1. Seja a sentena aberta x + 4 > 7 em N. O conjunto verdade :
V
p
= {x | x N x + 4 > 7 } = {4, 5, 6,...} N
Neste caso, tem-se como conjunto-verdade um subconjunto de N com innitos valores.
2. Para a sentena aberta x + 10 < 3 em N, o conjunto-verdade :
V
p
={x | x N x + 7 < 3} = {-8, -9, -10,...} = N
Neste caso, tem-se como conjunto-verdade o conjunto vazio, e pela denio de conjunto vazio, ele
est contido em qualquer conjunto.
3. O conjunto verdade em N da sentena aberta x + 2 > 1 :
V
p
{x | x N x + 4 > 3} ={0, 1,...} = N N
Neste exemplo, o conjunto-verdade coincidiu com o domnio da varivel e, logo, com innitos
valores.
4. Para a sentena aberta x divisor de 4 em N, temos:
Vp {x | x N x divisor de 4} = {1, 2, 4} N
Neste caso, tem-se como conjunto-verdade um subconjunto de N, com uma quantidade nita de
valores.
Se p(x) uma sentena aberta em um conjunto A, trs casos podem ocorrer:
a) Se p(x) verdadeira para todo x A, isto , o conjunto-verdade V
p
coincide
com o universo A da varivel x, ou seja, V
p
= A, ento p(x) uma condio
universal ou uma propriedade universal no conjunto A.
b) Se p(x) verdadeira somente para alguns x A, isto , o
conjunto-verdade V
p
um subconjunto prprio do universo A da
varivel x, ou seja, V
p
A, ento p(x) uma condio possvel ou uma
propriedade possvel no conjunto A.
107
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
c) Se p(x) falso para todo x A, isto , o conjunto-verdade V
p
vazio, ou
seja, Vp = , ento p(x) uma condio impossvel ou uma propriedade
impossvel no conjunto A (ALENCAR FILHO, 2002).
7.3.2 Sentenas abertas com duas variveis
Sejam A e B dois conjuntos, uma sentena aberta com duas variveis em A x B (A cartesiano B) uma
expresso p(x, y) tal que p(a, b) falsa ou verdadeira para todo o par ordenado (a, b) A x B.
O conjunto A x B recebe o nome de conjunto universo ou domnio das variveis x e y, e qualquer
elemento (a, b) de A x B denominado um par de valores das variveis x e y.
Se (a, b) A x B tal que p(a, b) uma proposio verdadeira, ento diz-se que (a, b) satisfaz ou
verica p(x, y).
Uma sentena aberta com duas variveis em A x B tambm se chama funo proposicional com duas
variveis em A x B ou, simplesmente, funo proposicional em A x B.
Exemplos adaptados de Alencar Filho (2002):
Sejam os conjuntos A {1, 2, 3} e B = {5, 6} e as seguintes sentenas abertas a seguir.
a. x menor que y;
b. y o dobro de x.
O par ordenado (3, 5) A x B, por exemplo, satisfaz (a), pois 3 < 5, e o par ordenado (3, 6) A x B
satisfaz (b). O par (3,5) no satizfaz b.
7.3.3 Conjunto-verdade de uma sentena aberta com duas variveis
O conjunto-verdade de uma sentena aberta p(x, y) em A x B o conjunto de todos os elementos
(a, b) A x B tais que p(a, b) uma proposio verdadeira (ALENCAR FILHO, 2002). Este conjunto
representa-se por V
p
.
Em smbolos:
V
p =
{(x,y)| x A y B (x,y)}
ou, simplesmente:
V
p
{(x,y) A x B | p(x,y)}
O conjunto-verdade Vp de uma sentena aberta p(x, y) em A x B sempre um subconjunto do
conjunto A x B, ou seja, V
p
A x B (ALENCAR FILHO, 2002).
108
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Exemplos:
1. Qual o conjunto-verdade da sentena aberta x y em A x B quando A e B so A = {1,2,3,4,5}
e B {1,2,3}.
Vp = {(x, y) | x A y B x y} = {(1,1),(1,2),(1,3),(2,2),(2,3),(3,3)} A x B
2. O conjunto-verdade da sentena aberta x + y 0 em N x N, sendo N o conjunto dos nmeros
naturais, :
V {(x,y) | x,y N x + y 0} = NxN N x N
Esse exemplo resultou em um conjunto innito de valores, e ainda esse conjunto o prprio
universo.
2. O conjunto-verdade da sentena aberta x + y < 0 em N x N, sendo N o conjunto dos nmeros
naturais, :
V {(x,y) I x,y N x + y < 0} = N x N
Esse exemplo resultou em um conjunto vazio, pois obviamente no possvel obter-se um numero
menor que zero para a expresso usando-se apenas os nmeros naturais.
7.3.4 Sentenas abertas com n variveis
Generalizando-se as sentenas abertas para uma quantidade n qualquer de variveis e uma
quantidade n de domnios, segue-se:
Considere-se os n conjuntos A
1
, A
2
,..., A
n
e o respectivo produto cartesiano entre eles, ou seja,
A
1
x A
2
x,...,x A
n
.
Uma sentena aberta com n variveis em A
1
x A
2
x,...,x A
n
uma expresso p(x
1
, x
2
,...,x
n
) tal que
p(a
1
, a
2
,...,a
n
) falsa ou verdadeira para toda n-upla (a
1
, a
2
,...,a
n
) A
1
x A
2
x,...,x A
n
.
O conjunto A
1
x A
2
x,...,x A
n
recebe o nome de conjunto universo ou domnio das variveis
x
1
, x
2
,...,x
n
, e qualquer elemento (a
1
, a
2
,...,a
n
) A
1
x A
2
x,...,x A
n
chama-se de uma n-upla de valores
das variveis (x
1
, x
2
,...,x
n
).
Se (a
1
, a
2
,...,a
n
) A
1
x A
2
x,..., x A
n
tal que p(a
1
, a
2
,...,a) uma proposio verdadeira, diz-se que (a
1
, a
2
a
n
)
satisfaz ou verica p(x
1
, x
2
,...,x
n
).
Uma sentena aberta com n variveis em A
1
x A
2
x,...,x A
n
tambm se chama funo proposicional
com n variveis em A
1
x A
2
x,...,x A
n
.
109
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
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.
7.3.5 Conjunto-verdade de uma sentena aberta com n variveis
O conjunto-verdade de uma sentena aberta p(x
1
, x
2
,...,x
n
) em A
1
x A
2
, x,...,x A
n
o conjunto de todas
as n-uplas (a
1
, a
2
,...,a
n
) A
1
x A
2
x,...,x A
n
, tais que p(a
1
, a
2
,...,a
n
) uma proposio verdadeira.
Em smbolos:
Vp = {(x
1
,x
2
,...,x
n
) | x
1
A
1
x
2
A
2
... x
n
A
n
p(x
1
, x
2
,...,x
n
)}
ou seja,
Vp = {(x
1
,x
2
,...,x
n
) A
1
x A
2
x,...,x A
n
I p(x
1
, x
2
,...,x
n
)}
Observao
Em matemtica, as equaes e as inequaes so sentenas abertas que
denem uma relao de igualdade e desigualdade, respectivamente, entre
duas ou mais expresses com uma ou vrias variveis. Mas, o conceito de
sentena aberta muito mais amplo que o de equao ou inequao; assim,
x divide y, x jogador do time y, x mecnico de y, etc., so sentenas
abertas, sem serem equaes nem inequaes (ALENCAR FILHO, 2002).
7.4 Operaes lgicas sobre as sentenas abertas
As operaes lgicas sobre as sentencas abertas tem o comportamento idntico s operaes lgicas
sobre as proposies, por conseguinte, o desenrolar das explicaes ser abreviado.
7.4.1 Negao
Considere-se como conjunto universo o conjunto dos numeros naturais N para a seguinte sentena
aberta adaptado de Alencar Filho (2002):
x > 12
110
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Antepondo a essa sentena aberta o conectivo ~ (que se l no verdade que), obtm-se uma
nova sentena aberta em N:
~x > 12
que natural chamar negao da primeira, pois verdadeira quando x no satisfaz a proposio
original.
A negao de x > 12 logicamente equivalente seguinte sentena aberta em H:
x = 12 x < 12, melhor representada por x 12.
Segue outro exemplo adaptado de Alencar Filho (2002):
No universo N (conjunto dos nmeros naturais):
~ x par x mpar.
Isto , x no par se e somente se x mpar.
Dada uma sentena p(x) aberta em um conjunto A, e seja o elemento a A, este satisfaz a sentena
aberta ~p(x) em A se a proposio ~p(a) verdadeira e, consequentemente, a proposio p(a) falsa,
isto , se e somente se a A no satisfaz a sentena aberta p(x) em A. Portanto, o conjunto-verdade
V
~p
da sentena aberta p(x) em A o complemento em relao a A do conjunto-verdade V
p
da sentena
aberta p(x) em A (ALENCAR FILHO, 2002).
Em smbolos:
V
~p
= C
A
V
p
= C
A
{x A I p(x)}
Ou seja, o conjunto complementar de V
p
em A formado por todos os elementos que esto em A
mas no esto em V
p
. Disso tem-se que a interseco de V
p
com V
~p
vazia.
Exemplo adaptado de Alencar Filho (2002):
Seja A o conjunto dos nmeros naturais mltiplos de 3, isto , A = {3k |k N} = {3, 6, 9, 12,...}.
p(x): x mltiplo de 3
temos:
V
~p
= C
A
{x A | x mltiplo de 3} = {x A | x no divisvel por 3}.
111
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
7.4.2 Conjuno
Sejam as seguintes sentenas abertas (adaptadas de Alencar Filho, 2002):
x carpinteiro, x piloto de avio.
O conjunto universo da varivel x para cada uma das proposies pode ser considerado como sendo
o conjunto H dos seres humanos.
Unindo essas duas sentenas abertas pelo conectivo , obtm-se uma nova sentena aberta em
H:
x carpinteiro x piloto de avio.
que ser verdadeira para todos os indivduos que satisfazem ao mesmo tempo as duas condies
dadas, e s por esses indivduos.
Diz-se que a nova sentena aberta obtida a conjuno das proposies.
Analogamente, a conjuno das sentenas abertas em R (conjunto dos nmeros reais):
x > 5, x < 10 ,
a sentena aberta em x > 5 x < 10
A conjuno x > 5 x < 10 costuma ser escrita da seguinte forma 5 < x < 10.
Generalizando-se para dois nmeros reais quaisquer a e b, tem-se:
a < x < b x > a x < b
ou
]a, b[ x > a x < b.
Observe-se que os colchetes esto de tal forma que indicam intervalo aberto; para se indicar um
intervalo fechado, usar-se-ia a seguinte notao.
[a, b] x a x b.
Como outro exemplo de sentena aberta, pode-se citar o seguinte sistema de equaes lineares.
Presumindo-se que o conjunto universo R (conjunto dos nmeros reais):
112
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
2 2 6
2 3 4
1
2
x y
x y
x
y
+ =
=

=
=

o qual pode ser escrito de uma forma mais sinttica:

2x + 2y = 6 2x - 3y = -4 x = 1 y = 2
Generalizando-se, sejam as proposies P
1
(x), P
2
(x),...,P
n
(x) sentenas abertas em um conjunto A
qualquer. Para satizfazer a conjuno de P
1
(x) P
2
(x) ... P
n
(x), o elemento a A deve satisfazer cada
sentena aberta P
1
(x), P
2
(x),..., P
n
(x) em A para que a proposio P
1
(x) P
2
(x) ... P
n
(x) seja verdadeira.
Portanto, o conjunto verdade V
P1P2...Pn
da sentena aberta P
1
(x) P
2
(x) ... P
n
(x) em A a
interseco dos conjuntos-verdade V
p1
,V
p2
,..., V
pn
(ALENCAR FILHO, 2002).
Em smbolos:
V
P1P2...Pn
= V
P1
V
P2
... V
Pn
= {x A I P
1
(x) } {x A I P
2
(x)} ... {x A I P
n
(x)}.
Exemplo:
A) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):
p(x) : x - 3 = 0;
q(x) : x
2
- 9 = 0.
Temos:
V
pq
= {x Z I x-3 = 0} {x Z I x
2
9 = 0}
= {3}) {-3,3} ={3}
V
pq
= {x Z I X = 3}
7.4.3 Disjuno
Sejam as seguintes sentenas abertas adaptadas de Alencar Filho (2002):
x carpinteiro, x piloto de avio.
O conjunto universo da varivel x para cada uma das proposies pode ser considerado como sendo
o conjunto H dos seres humanos.
113
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Unindo essas duas sentenas abertas pelo conectivo , obtm-se uma nova sentena aberta em
H:
x carpinteiro x piloto de avio.
que ser verdadeira para todos os indivduos que satisfazem pelo menos uma das duas condies
dadas.
Diz-se que a nova sentena aberta obtida a disjuno das proposies.
Analogamente, a conjuno das sentenas abertas em R (conjunto dos nmeros reais):
x > 5, x < 10
a sentena aberta em x > 5 x < 10.
Obviamente, qualquer nmero real satisfaz essa proposio, logo, o conjunto-verdade
seria o prprio R, sendo que, em alguns casos, ele pode satizfazer simultaneamente as duas
proposies.
V
pq
= R
Para as seguintes proposies:
x < 5, x > 10,
a sentena aberta em x < 5 x > 10 tem uma diferena no conjunto-verdade, que j no mais
R, mas, sim, R menos a regio entre 5 e 10.
V
pq
= R - {x R | 5 x 10}
Generalizando-se, sejam as proposies P
1
(x), P
2
(x),..., P
n
(x) sentenas abertas em um conjunto A
qualquer. Para satisfazer a conjuno de P
1
(x) P
2
(x) ... P
n
(x), o elemento a A deve satisfazer
cada sentena aberta P
1
(x), P
2
(x),..., P
n
(x) em A para que a proposio P
1
(x) P
2
(x) ... P
n
(x) seja
verdadeira.
Portanto, o conjunto-verdade V
P1P2...Pn
da sentena aberta P
1
(x) P
2
(x) ... P
n
(x) em A a unio
dos conjuntos verdade V
p1
,V
p2
,..., V
pn
(ALENCAR FILHO, 2002).
Em smbolos:
V
P1P2...Pn
= V
P1
V
P2
... V
Pn
= {x A I P
1
(x) } {x A I P
2
(x)} ... {x A I P
n
(x)}.
114
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Exemplo:
A) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):
p(x) : x - 3 = 0
q(x) : x
2
- 9 = 0
Temos:
V
pq
= {x Z | x-3 = 0} {x Z | x
2
9 = 0}
= {3} {-3,3} = {-3,3}
V
pq
= {x Z | X = -3 X = 3 }
7.4.4 Condicional
Dadas duas proposies p(x) e q(x) que sejam sentenas abertas em um
mesmo conjunto A. Se essas duas sentenas abertas forem unidas pelo
conectivo , obter-se- uma nova sentena aberta em A: p(x) q(x),
que verdadeira para todo elemento a A tal que a condicional p (a)
q(a) verdadeira.
Para encontrar-se o conjunto-verdade da condicional, ser considerada
a seguinte expresso p(x) q(x) ~p(x) q(x), e da segue-se que o
conjunto-verdade Vp q da sentena aberta p(x) q(x) em A coincide
com o conjunto-verdade da sentena aberta ~p(x) q(x) em A e, portanto,
a unio dos conjuntos-verdade e V
~p
e V
q
das sentenas abertas ~p (x) e
q(x) em A (ALENCAR FILHO, 2002).
Em smbolos:
V
p q
= V
~p
U V
q
= C
A
V
p
U V
q
Ou seja:
V
p q
= CA { x A | p(x) } U { x A | q (x)}
Exemplo adaptado de Alencar Filho (2002):
Dadas as sentenas abertas em N (conjunto dos nmeros naturais):
p(x) : x < 13, q(x) : x > 9
115
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Escreve-se:
V
pq
= C
N
{x N |x < 13} U {x N |x > 9}
= {x N |x . 13} U {x N |x > 9}
= {x N |x > 9}
7.4.5 Bicondicional
Dadas duas proposies p(x) e q(x) que sejam sentenas abertas em um mesmo
conjunto A. Se essas duas sentenas abertas forem unidas pelo conectivo
obter-se- uma nova sentena aberta em A: p(x) q(x), que verdadeira
para todo elemento a A tal que a bicondicional p(a) q(a) verdadeira
(ALENCAR FILHO, 2002).
Para determinar-se o conjunto-verdade da bicondicional, ser considerada a seguinte expresso:
p(x) q(x) (p(x) q(x)) (q(x) p(x)), e da segue-se que o conjunto-verdade V
p q
da sentena
aberta p(x) q(x) em A coincide com o conjunto-verdade da sentena aberta em A:
(p(x) q(x)) (q(x) p(x))
que a interseo dos conjuntos-verdade das condicionais p(x) q(x) e q(x) p(x) em A, ou seja, V
p q

intersero V
q p
das sentenas abertas em A:
Em smbolos:
V
p q
= V
p q
V
q p
= (V
~p
U V
q
) (V
~q
U V
p
) = (C
A
V
p
U V
q
) (C
A
V
q
U V
p
)
Exemplo adaptado de Alencar Filho (2002):
Dadas as sentenas abertas em N (conjunto dos nmeros naturais):
p(x): x > 16, q(x): x < 5
Tem-se:
C
N
V
p
U V
q
= CN {x > 16} U {x < 5} = {x 16} U {x < 5 } = {x 16}
C
N
V
q
U V
p
= CN { x < 5} U {x > 16} = {x 5} U { x > 16} = {x 5}
nalmente: Vp q = {x 16} {x 5} = { 5 x 16}
Note-se nesse exemplo que o conjunto-verdade torna a proposio verdadeira, porm, observe que
no caso em questo a proposio verdadeira porque ambos os lados so falsos, ou seja, F F.
116
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
7.4.6 Propriedades das sentenas abertas
No tocante s propriedades das sentenas abertas, isto , as propriedades da distribuio, associao
etc., tem-se exatamente o mesmo comportamento das proposies normais.
7.5 Quanticadores
7.5.1 Quanticador universal
Encontramos em Alencar Filho (2002) que, dada uma sentena aberta p(x) em um conjunto no
vazio A(A ), onde V
p
o conjunto-verdade. Em smbolos: V
p
={x|x A p(x)}.
Quando V
p
= A, isto , todos os elementos do conjunto A satisfazem a sentena aberta p(x), pode-se
escrever de alguma destas maneiras a seguir:
1. Para todo elemento x em A, p(x) verdadeira.
2. Qualquer que seja o elemento x de A, p(x) verdadeira.
Em smbolos:
x A,p(x)
Simplicadamente, por exemplo:
x, p(x)
pois vale a equivalncia:
( x A)(p(x)) V
p
= A
Observao
Nota-se que p(x) uma sentena aberta e, por isso, no tem valor lgico
V ou F; contudo, a sentena aberta p(x) com o smbolo antes dela, isto ,
( x A) (p(x)), torna-se uma proposio e, portanto, tem um valor lgico,
que verdadeiro se V
p
= A e falso se V
p
A (ALENCAR FILHO, 2002).
A essa operao lgica d-se o nome de quanticao universal e ao respectivo smbolo (que
um A invertido), o de quanticador universal.
Em particular, seja A um conjunto nito com n elementos a
1
, a
2
,..., a
n
, isto , A = {a
1
, a
2
,..., a
n
}, bvio
que a proposio ( x A)(p(x)) equivalente conjuno das n proposies p(a
1
), p(a
2
),..., p(a
n
),
117
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
ou seja,
( x A)(p(x)) (p(a
1
) p(a
2
) ... p(a
n
)).
Quado o conjunto universo nito, o quanticador universal equivale a conjunes sucessivas.
Exemplos adaptados de Alencar Filho (2002):
1. No universo nito A = {2, 4, 6} e sendo p(x) a sentena aberta x par, tem-se:
( x A) (x par) (2 par 4 par 6 par).
No caso, pode-se dizer qualquer que seja o elemente x pertencente a A, ele ser par.
2. ( x) (x mortal)
L-se Qualquer que seja x, x mortal; uma proposio verdadeira no universo A dos animais.
Analogamente, as expresses:
( x) (3x > x): Qualquer que seja x, 3x > x
Essa expresso O triplo de um nmero sempre maior que esse nmero, o que verdadeiro
quando em N, mas falso em Z.
Exemplo:
Tem-se em R:
x
2
y
2
= (x + y )(x - y), x, y
7.5.2 Quanticador existencial
Dada uma sentena aberta p(x) em um conjunto no vazio A(A ) e seja V
p
o seu conjunto-
verdade:
Vp = {xIx A p(x)}.
Quando V
p
, no vazio (V
p
), ento pelo menos um elemento do conjunto A satisfaz a sentena
aberta p(x), da pode-se dizer que:
1. Existe pelo menos um x A tal que p(x) verdadeira;
2. Para algum x A, p(x) verdadeira.
118
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Em smbolos:
x A, p(x)
Simplicadamente, por exemplo:
x, p(x)
pois, vale a equivalncia:
( x A)(p(x)) Vp
Observao
A essa operao lgica d-se o nome de quanticao existencial e ao
respectivo smbolo (que um E invertido), o de quanticador existencial
(ALENCAR FILHO, 2002)..
Seja A um conjunto nito com n elementos a
1
, a
2
, e seja a, isto , A = {a
1
, a
2
,..., a
n
}, a proposio
( x A)(p(x)) equivalente disjuno das n proposies p(a
1
), p(a
2
),..., p(a), ou seja:
( x A) (p(x)) (p (a
1
) p(a
2
) ... p(a
n
))
Lembrete
Em um universo nito, o quanticador existencial equivale a disjunes
sucessivas.
Exemplo adaptado de Alencar Filho (2002):
Seja o seguinte conjunto universo nito A = {3, 4, 5} e sendo p(x) a sentena aberta x par,
temos:
( x A) (p(x)) = (3 par 4 par 5 par)
7.5.3 Quanticador da unicidade
Temos em Alencar Filho (2002) uma sentena aberta p(x) em um conjunto no vazio A(A ) e
seja V
p
o seu conjunto-verdade composto por apenas um elemento, e somente um elemento. Usa-se a
seguinte simbologia:
119
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
! ou |, isto , existe um e somente um.
Exemplo adaptado de Alencar Filho (2002):
Seja a sentena: x - 3 = 0, em que o conjunto universo o dos numeros naturais N
(! x N)(x 3 = 0)
Ou seja, existe um e somente um x em N tal que x 3 = 0 seja vericada.
7.5.4 Negao de um quanticador
Evidentemente, pode-se negar qualquer expresso na qual se use o quanticador universal ou o
quanticador existencial.
a. ~ ou
b. ~
Em a. se est negando o quanticador universal todos; isso quer dizer que h pelo menos um, ou
seja, existe ao menos um que no satisfaz a condio proposta. No caso b. se est negando a existncia
de pelo menos um, e nesse caso quer dizer que no existe nenhum elemento que satisfaa a condio
proposta. No caso b. tambm usa-se o smbolo do E invertido cortado por uma barra inclinada, ou seja,
~ equivale a
/
, que quer dizer que no existe nenhum elemento.
Exemplos:
1. Todos os carros so bonitos; neste caso, pode-se usar como o conjunto universo o conjunto de
carros produzidos por uma montadora qualquer.
Negar essa frase signica dizer:
Nem todos os carros so bonitos.
2. Pelo menos um aluno tirou nota dez em lgica; neste caso, o conjunto universo pode ser o
conjunto de todos os alunos de uma turma em particular.
Negar essa proposio quer dizer:
Nenhum alunos tirou dez em lgica.
7.5.5 Quanticao com vrias variveis
A quanticao de sentenas abertas com vrias variveis possui algumas particularidades que
devem ser exploradas.
120
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
7.5.6 Quanticao parcial
A quanticao parcial aparece quando apenas uma das variveis da sentena aberta
quanticada:
Exemplo:
( x A) (5x - 3y = 12)
onde o conjunto universo das variveis x e y A = {1,2,3,4,5}
Visto que no se sabe o valor de y, no se pode armar se existe o valor de x para que se tenha uma
proposio falsa ou verdadeira.
Neste caso, a varivel y denominada de varivel livre.
7.5.7 Quanticao mltipla
Quando uma sentena aberta possui um quanticador para cada varivel, pode-se ento dizer que
a sentena em questo uma proposio, pois poder-se- vericar se ela uma declarao falsa ou
verdadeira.
Note-se que os quanticadores podem ser diferentes para cada varivel.
Exemplos (ALENCAR FILHO, 2002):
a. ( x A)( y B)(p(x,y))
b. ( x A)( y B)(p(x,y))
c. (
/
x A)( y B)(p(x,y))
d. (
/
x A)(! y B)(p(x,y))
e. ( x A)( y B)(p(x,y))
8 NOES SOBRE SILOGISMOS CATEGRICOS
8.1 Proposies categricas
Seja o seguinte argumento:
Todos os bandidos so pessoas de mau carter.
Alguns polticos so bandidos.
Logo, alguns polticos so pessoas de mau carter.
121
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Observe que a relao que existe entre as proposies simples do argumento decorre da estrutura
interna das prprias proposies, particularmente em razo da presena dos quanticadores todos e
alguns.
As proposies desse argumento apresentam a seguinte estrutura:
Quanticador + termo sujeito + verbo ser + termo predicado.
As proposies com tal estrutura so conhecidas como proposies categricas.
As proposies categricas so classicadas da seguinte forma, em que S o termo sujeito e P, o
termo predicado.
1. Proposio universal armativa: Todo S P.
Exemplo: Todos os polticos so ricos.
2. Proposio universal negativa: Nenhum S P.
Exemplo: Nenhum poltico rico.
3. Proposio particular armativa: Algum S P.
Exemplo: Alguns polticos so ricos.
4. Proposio particular negativa: Algum S no P.
Exemplo: Alguns polticos no so ricos.
As proposies categricas sempre so escritas com o verbo ser, fazendo-se as alteraes necessrias
para manter o do sentido original.
Por exemplo, a proposio Alguns rpteis vivem na gua caria assim: Alguns rpteis so seres
que vivem na gua.
O quanticador algum apresenta o sentido de pelo menos um. Esse sentido se mantm quando se
emprega o plural: alguns. Ou seja, considera-se, por conveno, que algum e alguns tm o mesmo
signicado.
Diagramas de Euler
As relaes anteriores podem ser representadas pelos diagramas de Euler adaptados de Alencar Filho
(2002):
1. Todos os polticos so ricos.
122
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
ricos
polticos
Figura 15
Esse diagrama mostra que o conjunto dos polticos est contido no conjunto de ricos.
Apenas a partir dessa proposio, no temos elementos para armar que alguns polticos no so
polticos (isto , no podemos garantir que haja elementos no conjunto ricos fora do conjunto polticos).
Do mesmo modo, tambm no podemos concluir que todos os ricos so polticos, isto , no podemos
armar que os conjuntos ricos e polticos so iguais. Sabe-se apenas que essas duas possibilidades
existem; por isso, para melhor visualizao, podemos imaginar as seguintes representaes:
1 representao
ricos
polticos
Ricos no polticos
Figura 16
2 representao
ricos = polticos
Figura 17
O que essas duas representaes tm em comum o fato de, em ambas, o conjunto polticos estar
contido no conjunto ricos, pois esse precisamente o contedo da proposio Todos os polticos so
ricos. Assim, qualquer concluso, para poder ser inferida a partir dessa proposio, deve ser coerente
com as duas representaes anteriores.
Em outras palavras, ambos os diagramas tornam verdadeira a proposio Todos os polticos so
ricos. Na verdade, a segunda representao nada mais do que um caso particular da primeira, em que
no h elementos na regio correspondente aos ricos no polticos.
2. Nenhum poltico rico.
Polticos Ricos
Figura 18
123
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
O diagrama nos mostra que o conjunto dos polticos e o conjunto dos ricos no possuem nenhum
elemento em comum.
3. Alguns polticos so ricos.
Polticos Ricos
Figura 19
A interseco entre o conjunto dos polticos e o dos ricos nos fornece o conjunto dos polticos
ricos.
O que esse diagrama nos mostra que a interseco dos conjuntos ricos e polticos possui
elementos, ou seja, existem polticos ricos.
Entretanto, no podemos concluir que existem polticos no ricos, nem que no existem. Nada nos
armado a esse respeito. Por vezes, para deixar mais claras essas possibilidades, podemos considerar
as duas representaes a seguir:
1 representao

Polticos Ricos
Polticos no ricos Polticos ricos
Figura 20
2 representao
Ricos
Polticos
Polticos ricos
Figura 21
124
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
A primeira representao admite a possibilidade de haver polticos no ricos, j a segunda nos diz,
efetivamente, que todos os polticos so ricos.
Observe que a segunda no passa de um caso particular da primeira, em que a regio que representa
os polticos no ricos vazia.
Admitindo-se a existncia de polticos (hiptese existencial), se for verdade que todos os polticos
so ricos, tambm ser verdade que alguns polticos so ricos.
Em termos gerais, se a proposio todo S P verdadeira, ento a proposio algum S P tambm
. O fato de a proposio algum S P ser verdadeira no garante que a proposio todo S P seja
verdadeira.
4. Alguns polticos so ricos.
Poltico Ricos
Polticos no ricos Polticos ricos
Figura 22
A regio sombreada representa o conjunto dos polticos no ricos.
Ao dizer que alguns polticos no so ricos, no se est armando que haja polticos ricos, nem
tampouco que no haja.
Assim, admitindo-se que existem polticos (hiptese existencial), se verdade que nenhum poltico
rico, claro que tambm verdade que alguns polticos no so ricos.
Genericamente, se a proposio Nenhum, S P verdadeira, ento a proposio Algum S no
P tambm verdadeira, assim a verdade da proposio Algum S no P no garante a verdade da
proposio Nenhum S P.
8.2 Proposies contraditrias
Duas proposies so contraditrias quando uma a negao da outra, isto , sendo uma verdadeira,
a outra falsa, e vice versa.
Seguem algumas maneiras de escrever a negao das proposies categricas em sua forma tpica:
125
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
1. Negao de Todo S P
H vrias formas de expressar a negao dessa proposio, todas com o mesmo signicado:
a. Nem todo S P.
b. Existe pelo menos um S que no P.
c. Algum S no P.
Essa ltima a mais usada.
Exemplo:
A negao de Todos os polticos so ricos pode ser escrita, na forma tpica, como: Alguns polticos
no so ricos.
2. Negao de Nenhum S P
A negao dessa proposio pode ser assim expressa:
a. No verdade que nenhum S P.
b. Existe pelo menos um S que P.
c. Algum S P.
Exemplo:
A negao de Nenhum poltico rico Alguns polticos so ricos.
3. Negao de Algum S P
a. No verdade que algum S P.
b. No existe nenhum S que seja P.
c. Nenhum S P.
Exemplo:
A negao de Alguns polticos so ricos Nenhum poltico rico.
4. Negao de Algum S P
a. No verdade que algum S P.
126
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
b. Todo S P.
Exemplo:
A negao de Alguns polticos no so ricos Todos os polticos so ricos.
Por m, considerem-se as quatro proposies contraditrias:
Todo S P e Alguns S no so P
Nenhum S P e Alguns S so P
As proposies Todos os polticos so ricos e nenhum poltico rico no so contraditrias,
pois, embora no seja possvel que ambas sejam verdadeiras, possvel que sejam ambas falsas; tais
proposies so denominadas contrrias.
As proposies Alguns polticos so ricos e Alguns polticos no so ricos tambm no so
contraditrias, pois, apesar de no poderem ser ambas falsas, pode ocorrer que ambas sejam verdadeiras;
essas proposies so denominadas subcontrrias.
8.3 Silogismos categricos
O silogismo um argumento constitudo de exatamente trs proposies, sendo duas premissas e
uma concluso. Os silogismos constitudos por proposies categricas so denominados por silogismos
categricos.
Os diagramas de Euler so teis para nos auxiliar na anlise da validade desses tipos de argumentos.
Para isso, basta desenhar o diagrama das premissas e analisar se a concluso no cou automaticamente
desenhada.
Se a concluso car automaticamente desenhada para todos os desenhos possveis das premissas,
ento o argumento vlido; caso contrrio, se a concluso no for automaticamente desenhada para
alguma forma de desenho possvel, o argumento ser invlido.
Exemplo:
Todos os mamferos voam.
Todos os gatos so mamferos.
Logo, os gatos voam.
Usando o diagrama de Euler, v-se que o argumento vlido, apesar da concluso no ser verdadeira.
Lembre-se que, em lgica, o que importa a forma do argumento.
127
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Animais que voam
Animais que so mamferos
Gatos
Figura 23
Lembrete
Origem da losoa
A losoa ocidental surgiu na Grcia, incentivada por um contexto
poltico grave difcil de suportar.
Um grupo de elite de eruditos de vrios campos reunia-se para discutir
e compreender os acontecimentos.
A partir do sculo VI a.C at o sculo II, comea na Grcia o
movimento filosfico que influenciou e ainda continua a influenciar a
nossa cultura.
Os lsofos antes de Scrates (sculo IV a.C.), chamado pr-socrticos,
integram o grupo chamado cosmolgico, frequentemente agrupados em
escolas, como a jnica, de Mileto, Pitgoras etc.
Os mais importantes foram Tales (sculo. VI a.C.), Anaximandro (sculo
VI a.C.), Anaxmenes (sculo VI a.C.), Herclito (sculo V AC), Parmnides
(sculo V a.C.), Pitgoras (sculo V a.C.), Empdocles (sculo IV. a.C.),
Anaxgoras (sculo IV. a.C.) e Demcrito (sculo IV a.C.).
Resumo
Nesta ltima unidade, foi realizada uma breve introduo lgica
dos predicados. Para isso, fundamentaram-se os conceitos de sentenas
abertas e quantificadores. Entre os quantificadores, foram abordados os
quantificadores universais e de existncia, bem como suas variantes e a
negao de quantificadores. Finalizou-se com os conceitos de silogismos
categricos.
128
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Exerccios
Questo 1. (SAE-PE/2008) Na gura abaixo, cada quadrinho possui um nmero oculto.
Em cada uma ss situaes abaixo, o nmero que aparece embaixo de cada gura a soma dos
nmeros que esto nos quadrinhos sombreados.
26 29 22 23 24
O nmero do quadrinho central :
A) 5
B) 6
C) 7
D) 8
E) 9
Resposta correta: alternativa C.
Anlise das alternativas
Considerando-se X, Y, W, Z e T os nmeros nos quadrinhos de forma que estejam assim
dispostos:
X est no quadrinho superior, Y est no da esquerda, W est no central, Z est no da direita e T no
inferior. Utilizando-se esta notao, partindo-se das cinco guras podemos escrever:
Primeira gura: X+Y+W+Z=26.
Segunda gura: X+Y+W+T=29.
Terceira gura: Y+W+Z+T=22.
129
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Quarta gura: X+W+T+Z=23.
Quinta gura: X+Y+Z+T=24.
Deseja-se obter o valor de W. Logo:
Somando-se algebricamente membro a membro as cinco expresses acima, encontramos:
4 (X+Y+W+Z+T) = 124
Ento:
X+Y+W+Z+T = 31
Substituindo-se a expresso obtida pela expresso obtida a partir da quinta gura, temos: W+24=31
Logo, W=7.
Sendo assim, o nmero do quadrinho central 7. Ento:
A) Alternativa incorreta.
Justicativa: de acordo com os clculos.
B) Alternativa incorreta.
Justicativa: de acordo com os clculos.
C) Alternativa correta.
Justicativa: de acordo com os clculos.
D) Alternativa incorreta:
Justicativa: de acordo com os clculos.
E) Alternativa incorreta:
Justicativa: de acordo com os clculos.
Questo 2. (SAE-PE/2008) Observe as guras abaixo:
1 1 5 10 3 15 5 x
1 2 2 10 5 6 6 y
Os nmeros que existem dentro de cada uma das guras possuem uma regra lgica que os une.
Ento, a diferena x-y igual a:
130
Unidade IV
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3

R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
A) 20
B) 18
C) 16
D) 12
E) 10
Resoluo desta questo na Plataforma.
REFERNCIAS
Textuais
ALENCAR FILHO, E. de. Iniciao lgica matemtica. So Paulo: Nobel, 2002.
DAGLIAN, J., Lgica e lgebra de Boole 4. Ed. So Paulo: Atlas, 1995.
DOTTAVIANO, . M. L., FEITOSA, H. A., Sobre a histria da lgica, a lgica clssica e o surgimento das
lgicas no-clssicas. V SEMINRIO NACIONAL DE HISTRIA DA MATEMTICA. Rio Claro. Abr. de 2003.
Disponvel em: <ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/ArtGT.pdf>. Acesso em: 22 Fev. 2011.
MAOR, E. A histria de um nmero. Rio de Janeiro: Record, 2003.
TAHAN, M. O homem que calculava. Rio de Janeiro: Record, 2001.
Exerccios
Unidade I Questo 1: ESCOLA DE ADMINISTRAO FAZENDRIA (ESAF). Concurso pblico 2002:
Analista de Finanas e Controle. Questo 2. Disponvel em: < http://raciociniologico.50webs.com/
AFC2002/AFC2002.html >. Acesso em: 21 mai. 2011.
Unidade I Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa - PE. Questo 22. Disponvel em: < http://200.198.188.123/download/provas/
sadpe_prova_objetiva_analista_gestao_administrativa_02.pdf >. Acesso em: 21 mai. 2011.
Unidade II Questo 1: Disponvel em:< http://www.jusdecisum.com.br/sistema/turma/arquivos/APOS
TILA%20DE%20RACIOCINIO%20LOGICO%202011.pdf> Acesso em: 23 mai. 2011.
Unidade II Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa PE, caderno 1. Questo 34. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.
Unidade III Questo 1: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa - PE. Questo 1. Disponvel em: < http://200.198.188.123/download/provas/
sadpe_prova_objetiva_analista_gestao_administrativa_02.pdf >. Acesso em: 21 mai. 2011.
Unidade III Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 26. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.
131
132
Unidade IV Questo 1: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 21. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.
Unidade IV Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 23. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.
133
134
135
136