Captulo 1

CLCULO PROPOSICIONAL

1. PROPOSIES E CONECTIVOS
A Lgica Matemtica se ocupa da anlise e relaes entre certas sentenas, quase
sempre de contedo matemtico, chamadas proposies.
Uma proposio uma sentena (conjunto de palavras e smbolos) declarativa, que
exprime um pensamento de sentido completo, e que pode ser classificada como
verdadeira ou falsa.
Os termos verdade e falsidade so chamados valores lgicos de uma proposio.
Para efeito de classificar as proposies em verdadeiras ou falsas, e desenvolver
a teoria de modo consistente, a Lgica Matemtica adota como regras fundamentais os dois
seguintes princpios:
I) Princpio da No Contradio - Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
II) Princpio do Terceiro Excludo - Toda proposio ou verdadeira ou falsa (isto ,
verifica-se sempre um desses casos e nunca um terceiro).
Pelos dois princpios anteriores temos que: Toda proposio tem um e somente um
dos valores lgicos,

verdade

ou

falsidade. Por este motivo, chamamos a Lgica

Matemtica de bivalente.
Exemplos e Contra-Exemplos:
1) Salvador a capital da Bahia.

2) O poeta Castro Alves era baiano.

3) 2 um nmero par.

4) 2 + 3 < 5

5) x + 2 = 1

6) Davi era baixo.(*)

7) Como faz calor!

8) Que dia hoje?

(*)

Referncia ao personagem bblico

-1-

9) Resolva o exerccio.

10) A matemtica

11) A matemtica fcil.

Nos exemplos, 1) 2) e 3) temos proposies verdadeiras e em

4) temos uma

proposio falsa. O exemplo 5) no uma proposio, uma vez que no podemos atribuir
um nico valor lgico, este depende do valor atribuido a x. Em 6) e 11) no temos
proposies pois os conceitos baixo e fcil so subjetivos. Os exemplos 7) , 8) e 9) no
so proposies pois no so sentenas declarativas. 10) no uma proposio porque no
tem sentido completo.

Indicaremos as proposies por letras minsculas p, q, r, s, t, ... e os valores

lgicos por V(p) = V (ou 1), para uma proposio verdadeira e, V(p) = F (ou 0), para uma
proposio falsa.
Exemplo: Sejam as proposies,
p: O arco-ris colorido.
q: 2 > 3
Temos que V(p) = V e V(q) = F

Dadas proposies podemos formar outras proposies usando as expresses no,

e , ou , se ... ento

e se, e somente se. Essas expresses so os conectivos

fundamentais da Lgica Matemtica.

Exemplos: Com as proposies 2 mpar e 3 primo podemos formar as
sentenas,
1)

2 no mpar

2)

2 mpar e 3 primo.

3)

2 mpar ou 3 primo.

4)

Se 2 mpar ento 3 primo.

5)

2 mpar se, e somente se, 3 primo.

-2-

As sentenas formadas pela combinao de proposies usando-se os conectivos so

proposies e seus valores lgicos sero definidos na seco 2 deste captulo. Neste caso,
so chamadas de proposies compostas ou moleculares (*)
As proposies simples so aquelas que no contm nenhuma outra como parte de si
mesma, ou seja, no so obtidas de outras com o uso dos conectivos.

So tambm

chamadas de atmicas.
Proposies como 2 mpar e 3 primo so simples. J as proposies de 1) a
5), dadas acima, so compostas.
A seguir temos os conectivos fundamentais, os smbolos usados para represent-los e
suas denominaes

Conectivo

Smbolo

Denominao

conjuno

ou

disjuno

se ... ento

condicional

se, e somente se,

bicondicional

no

negao ou modificador

Dadas proposies p e q, usaremos tambm as seguintes denominaes para as

proposies compostas:
"p e q" a conjuno de p e q e indicada por p q
"p ou q" a disjuno de p e q e indicada por p q
"se p ento q" a condicional de p e q e indicada por p q
"p se, e somente se, q" a bicondicional de p e q e indicada por p q
A negao de p indicada por ~p e representada na linguagem corrente por "no
p" ou por "no verdade que p" ou ainda por " falso que p".
(*)

Devemos ressaltar que esta no uma classificao realmente importante. Existem proposies simples
que, mantendo-se essencialmente o mesmo contedo, podem ser transformadas em compostas e vice-versa, como, por
exemplo, a proposio simples "2 e 3 so nmeros primos" e a proposio composta "2 um nmero primo e 3 um
nmero primo".

-3-

Exemplos:
1) Dadas as proposies:
p: Jorge Amado escreveu o romance "Mar Morto" (*).
q: Rui Barbosa era baiano (**).
temos as seguintes tradues para a linguagem corrente,
Jorge Amado no escreveu o romance "Mar Morto".
ou
~p:

No verdade que Jorge Amado escreveu o romance "Mar

Morto".

p ~q:

Jorge Amado escreveu o romance "Mar Morto" e falso que Rui

Barbosa era baiano.
Jorge Amado no escreveu o romance "Mar Morto" ou Rui
Barbosa era baiano.

~p q:

ou
No verdade que Jorge Amado escreveu o romance "Mar
Morto" ou Rui Barbosa era baiano.

~(pq)

No verdade que: Jorge Amado escreveu o romance "Mar

Morto" ou Rui Barbosa era baiano.

2) Dadas,
p: 2 um nmero par
q: 6 mltiplo de 3,
temos a seguir proposies e suas tradues para a linguagem simblica
2 no par ou 6 mltiplo de 3

~p q

Se 6 no mltiplo de 3 ento 2 par

~q p

(*)

Escritor baiano - (1912-2001). Autor de vrios romances como Gabriela Cravo e Canela, Mar Morto etc.
Poltico e jurisconsulto brasileiro, natural de Salvador-BA, (1849-1923).

(**)

-4-

2 no par se, e somente se, 6 mltiplo de ~p q

3

EXERCCIOS
1) Identifique quais das sentenas a seguir no so proposies, justificando.
a) Marcos elegante.
b) O Sol uma estrela.
c) 1010 um nmero grande.
d) 1010 > 109.
e) Salvador a capital da Bahia e a lua de queijo.
f) Se 5 primo ento 2 no divide 5.
g) A terra redonda?
h) O Pico da Neblina muito alto. (*)
i) O Pico da Neblina mais alto que o Pico da Bandeira. (**)
j) A baleia um mamfero ou Davi era baixo(***).

2) No exerccio anterior, classifique as proposies em simples ou compostas.

3) Traduza para a linguagem corrente as seguintes proposies:

a) p ~q

b) p q

c) ~p ~q

d) p ~q

e) (p ~q) (q ~p)

I) Para proposies p: "D. Pedro I proclamou a independncia do Brasil" e q: "D. Pedro I

foi imperador do Brasil".
II) Para proposies "p: 2 > 3" e "q: 2 3".

4) Considere as proposies "p: Davi era mais baixo que Golias

e "q: Davi era judeu". Traduza para a linguagem simblica as seguintes proposies:
a) No verdade que: Davi era mais baixo que Golias ou era judeu.
(*)

Ponto culminante do Brasil com 3.014 m

Ponto culminante do centro-sul do Brasil com 2.890 m.

(**)

-5-

b) Davi era mais alto ou da mesma altura que Golias.

c) Davi no era mais baixo que Golias e nem judeu.
(Expresses da forma "no p e nem q" devem ser vistas como "no p e no q")

d) Se Davi era judeu ento no era mais baixo que Golias.

Respostas:
1) No so proposies:
a) o conceito elegante subjetivo, algum que seja elegante na opinio de algumas
pessoas pode no ser para outras.
c) grande um conceito relativo, depende do contexto.
g) no uma sentena declarativa
h) anlogo ao item a)
j) anlogo ao item a)
2) b) simples; d) simples; e) composta; f) composta; i) simples.
3) I) a) D. Pedro I proclamou a independncia do Brasil ou no foi imperador do Brasil;
b) Se D. Pedro I proclamou a independncia do Brasil ento foi imperador do Brasil;
c) D. Pedro I no proclamou a independncia do Brasil e no foi imperador do Brasil;
d) D. Pedro I proclamou a independncia do Brasil se, e somente se, no foi imperador do
Brasil;
e) D. Pedro I proclamou a independncia do Brasil ou no foi imperador do Brasil se, e
somente se, D. Pedro I foi imperador do Brasil e no proclamou a independncia do
Brasil;
II) a) 2 > 3 ou 2 =3 (ou de forma mais resumida "2 3");
b) Se 2 > 3 ento 2 3;
c) 2 no maior que 3 e 2 =3 (ou 2 3 e 2 = 3 );
d) 2 > 3 se, e somente se, 2 =3;
e) 2 > 3 ou 2 =3 se, e somente se, 2 3 e 2 no maior que 3 ( ou de forma mais
resumida, 2 3 se, e somente se, 2 < 3).
4) a) ~(pq); b) ~p; c) ~p~q; d) q ~p.
(***) Davi, personagem bblico (sc XI a.C.), segundo rei dos judeus, derrotou o gigante Golias.

-6-

2. OPERAES LGICAS COM PROPOSIES

VALORES LGICOS
O que queremos saber agora : conhecidos os valores lgicos das proposies dadas,
qual o valor lgico da proposio resultante obtida com os conectivos?
Respondendo a esta pergunta vamos definir os valores lgicos das proposies: ~p, p
q, p q, p q, p q, como decorrentes dos valores lgicos das proposies p e q.
Para que o tema se torne o mais natural, usaremos, sempre que possvel, nosso "bom senso"
adquiridos de situaes cotidianas. Mas vale ressaltar que estas definies nem sempre nos
conduzem a situaes ou a exemplos que esto em acordo com este "bom senso".
Negao
Tomemos como exemplos as proposies a seguir e seus valores lgicos.
1) Sejam p: "1 raiz da equao x2-1 = 0" e a sua negao ~p: "1 no raiz da equao x21 = 0". Ento V(p) = V e V(~p) = F.
2) Sejam q: " um nmero racional" e ~q: "No verdade que um nmero racional".
Ento V(q) = F e V(~q) = V.

De um modo geral temos:

A negao de uma proposio p tem valor lgico verdade quando p
falsa e valor lgico falsidade quando p verdadeira.

Conjuno
Dadas as proposies p: "O Zimbbue um pas africano e q: "O ingls a
lngua oficial da Guiana mesmo que no saibamos os valores lgicos de p e de q, sabemos
que a proposio p q: " O Zimbbue um pas africano e o ingls a lngua oficial da

-7-

Guiana verdadeira apenas se o Zimbbue for um pas africano e tambm o ingls for a
lngua oficial da Guiana. Em qualquer outra situao a proposio p q falsa. (*)
De modo geral temos,
Dada a proposio p e a proposio q, a proposio p q verdadeira quando as
duas proposies forem verdadeiras, e falsa se pelo menos uma delas for falsa.

Exemplos:
1) 2 mpar e 3 primo.
2) Salvador a capital da Bahia e a lua uma estrela.
3) um nmero irracional e 3 divide 9.
4) 2 raiz da equao x2-1 = 0 e 0,333... no um nmero racional.

De acordo com o que j estabelecemos, apenas a proposio do item 3) verdadeira,

todas as outras so falsas.

Disjuno

Dadas as proposies p: "O Portugus a lngua oficial do Brasil" e q:"Zamzibar

uma ilha da Europa", como sabemos que p verdadeira, ento podemos afirmar que a
proposio p q: " O Portugus a lngua oficial do Brasil ou Zamzibar uma ilha da
Europa" verdadeira mesmo que no saibamos se q ou no verdadeira.(*)
De um modo geral temos,
Dadas proposies p e q, a proposio p q verdadeira quando pelo menos uma
De modo geral dizemos que,
das proposies for verdadeira, e falsa se as duas forem falsas.
Exemplos:
Sejam as proposies,
1) 2 mpar ou 3 primo.

(*)
(*)

Escreve-se Zimbabwe ou Zimbbue. Ambas so proposies verdadeiras.

Zamzibar uma ilha da frica

-8-

2) Salvador a capital da Bahia ou a lua uma estrela.

3) um nmero irracional ou 3 divide 9.
4) 2 raiz da equao x2-1 = 0 ou 0,333... no um nmero racional.

De acordo com o que estabelecemos, apenas a proposio do item 4) falsa, todas as

outras so verdadeiras.

Observao: A disjuno definida anteriormente chamada disjuno inclusiva. Existe

tambm a chamada disjuno exclusiva, indicada por (que se l: ou ... ou) em que p
q verdadeira se apenas uma das proposies verdadeira.

Condicional
Dadas as proposies p: "O poeta Castro Alves nasceu em Salvador" e q: "O
poeta Castro Alves era brasileiro" ento o nosso "bom senso" nos diz que, mesmo que
sejam desconhecidos os valores lgicos de

p ou de q, a proposio p q: "Se o

poeta Castro Alves nasceu em Salvador ento era brasileiro" verdadeira. Neste caso ns
nos baseamos na certeza que caso p seja verdadeira ento q tambm verdadeira. Ou seja,
podem ocorrer as seguintes combinaes de valores lgicos para as proposies acima:
V(p) = V e V(q) = V.
V(p) = F e V(q) = V.
V(p) = F e V(q) = F (*).
E, como as pessoas que nascem em Salvador so brasileiras, no pode ocorrer
V(p) = V e V(q) = F.

De modo geral temos,

Dadas proposies p e q , a proposio p q falsa quando p
verdadeira e q falsa e verdadeira nos demais casos.

(*)

O poeta Castro Alves nasceu em Muritiba, perto de Curralinho, hoje cidade de Castro Alves-Ba

-9-

Exemplos:
a) As proposies p: "2 divide 4" e q: "2 divide 8" so verdadeiras. Logo a proposio
p q: "Se 2 divide 4 ento divide 8" verdadeira.
b) As proposies

p: "2 = -2" e

q: "-1 = 3" so falsas. Logo a proposio p q:

"Se 2 = -2 ento -1 = 3" verdadeira.

c) A proposio p: "2 =- 2" falsa e a proposio q: "4 = 4" verdadeira. Logo, p
q: "Se -2 = 2 ento 4 = 4" verdadeira.
d) A proposio p: "1< 3" verdadeira e a proposio q: "
q: "Se 1< 3 ento

1 3
" falsa. Logo, p

2
2

1 3
" falsa.

2
2

Observaes:
1) Na condicional p q temos que: p chamado de antecedente e q chamado de
conseqente. Dizemos tambm que q consequncia de p (veja mais adiante as proposies
de cunho matemtico).
2) A condicional p q tambm pode ser lida como: "p somente se q" ou "q, se p"
3) Quando a condicional p q verdadeira dizemos que "p condio suficiente para q"
ou ainda q condio necessria para p. O exemplo a seguir pode nos ajudar a "aceitar"
o uso dos termos suficiente e necessria.
Se Ado pai de Abel ento mais velho que Abel. (*)
a) Ado ser o pai de Abel condio suficiente para ele ser mais velho que Abel, ou seja,
suficiente Ado ser o pai de Abel para garantirmos que ele mais velho que Abel.
b) Ado ser mais velho que Abel condio necessria para ele ser o pai de Abel, ou seja,
necessrio que Ado seja mais velho que Abel para que ele possa ser o pai de Abel.
3) Notemos que, de acordo com a regra que estabelecemos para o valor lgico da
condicional, quando o valor lgico da proposio

falso, temos que p q

automaticamente verdadeira (no depende do valor lgico de q). Para o nosso "bom senso",
isto se justifica pelo fato de que se p falsa, qualquer concluso pode ser tirada da,
verdadeira ou falsa. Por exemplo, se supusermos que "-2 = 2" (somando-se 1 a ambos os
membros)

podemos concluir

que "-1 = 3"

- 10 -

e (elevando-se ambos os membros ao

quadrado) tambm que "4 = 4". Em outras palavras, se p falsa, tudo vlido como nos
ditados populares: Se voc o dono da Coca-Cola ento eu sou o rei da Inglaterra.
4) Tambm da regra estabelecida, surgem proposies que apesar de no terem nexo so
verdadeiras. Tais como: Se 2 = 2 ento a Lua satlite da Terra, Se a Terra quadrada
ento 2 + 2 = 4, "Se a Bahia a capital do Brasil ento Paris uma cidade dos Estados
Unidos". Essas proposies, apesar de serem verdadeiras, no tm nenhum sentido prtico.
5) Uma condicional p q no afirma que o consequente q se "deduz" do antecedente p,
ou seja, pode no haver uma relao intrnseca entre p e q. Por essa razo a condicional
tambm chamada de "implicao material".
A partir da condicional p q podemos obter as seguintes proposies:
a) "q p" que a sua recproca
b) "~q ~p"que a sua contrapositiva

Exemplos:
1) Dada a condicional "Se > 3 ento > 4" temos
a) a sua recproca: "Se > 4 ento > 3 "
b) a sua contrapositiva: "Se no maior que 4 ento no maior que 3 " (ou
"Se 4 ento 3")
2) Dada a condicional: Se

3 um nmero irracional ento 2 3 irracional, temos

a) a sua recproca: "Se 2 3 irracional ento

3 irracional

b) a sua contrapositiva: "Se 2 3 no irracional ento

2 3 racional ento

(*)

3 racional

Referncia aos personagens bblicos

- 11 -

3 no irracional ou "Se

Bicondicional

Dadas as proposies p: "O poeta Castro Alves nasceu na Bahia" e q: "O poeta Castro
Alves era baiano ", ento mesmo que fossem desconhecidos os valores lgicos
ou

de

de q, a proposio p q: "O poeta Castro Alves nasceu na Bahia, se, e somente

se, era baiano" verdadeira. Isto acontece porque p e q tm sempre os mesmos valores
lgicos, ou seja, ou ambas so verdadeiras ou ambas so falsas. Podem ocorrer as seguintes
combinaes de valores lgicos para as proposies acima:
V(p) = V e V(q) = V.
V(p) = F e V(q) = F.
No pode ocorrer a situao: O poeta Castro Alves nasceu na Bahia e no era baiano.
V(p) = V e V(q) = F.
Nem a situao: O poeta Castro Alves no nasceu na Bahia e era baiano.
V(p) = F e V(q) = V.

De modo geral dizemos que,

Dadas as proposies p e q, a proposio p q verdadeira quando p e
q tiverem os mesmos valores lgicos e falsa nos demais casos.

Exemplos:
a) As proposies p: "2 divide 4" e

q: "2 divide 8" so ambas verdadeiras. Logo a

proposio p q: "2 divide 4 se, e somente se, divide 8" verdadeira.

b) As proposies p: "2 = -2"

q: "-1 = 3"

so ambas falsas. Logo a proposio

q: "2 = -2 se, e somente se, -1 = 3" verdadeira.

c) A proposio p: "2 = -2" falsa e a proposio q: "4 = 4" verdadeira. Logo, p
q:"2 = -2 se, e somente se, 4 = 4" falsa.
d) A proposio p: "1< 3" verdadeira e a proposio q: "
q: "1< 3 se, e somente se,

1 3
" falsa.

2
2

- 12 -

1 3
" falsa. Logo, p

2
2

No caso da bicondicional p q ser verdadeira tambm pode ser lida como

i) p condio necessria e suficiente para q.
ii) q condio necessria e suficiente para p.

Exemplo: "Ado pai de Abel se, e somente se, Abel filho de Ado" uma bicondicional
verdadeira ento "Ado pai de Abel condio necessria e suficiente para Abel filho de
Ado" e "Abel filho de Ado condio necessria e suficiente para Ado pai de
Abel"

Observao: Em geral, para evitar ambiguidades, usamos parntesis na simbologia das

proposies compostas, como por exemplo (p q) r. Nos casos em que fazemos a
supresso dos parntesis, adotamos a seguinte ordem de precedncia dos conectivo:
1) ~ ;

2) , (na ordem de aparecimento);

3) ;

Exemplo: A proposio p q r ~ r s, deve ser lida como

((p q) r) ((~ r) s).

EXERCCIOS
1) Determine os valores lgicos das proposies:
a) 3 > 2 e 3 = 2
b) 3 > 2 ou 3 = 2
c) 3 2
d) 2 3
e) 2 par e primo
f) A lua satlite da terra ou uma estrela.
g) racional ou irracional.
h) racional e irracional.
i) Se a Terra redonda ento gira em torno do Sol.
j) Se a Terra redonda ento no gira em torno do Sol.
- 13 -

4) .

k) Se a Terra quadrada ento no gira em torno do Sol.

l) Jorge Amado escreveu o romance "Mar Morto" e nasceu na Bahia.
m) No verdade que: Jorge Amado escreveu o romance "Mar Morto" ou nasceu no Rio de
Janeiro.
n) Sofia Loren (*) nasceu na Itlia, se somente se, italiana.
o) Curitiba no capital do Amazonas e nem de Pernambuco.
p) falso que: 2 par se, e somente se, 3 mpar.
q) falso que -3 par se, e somente se, -3 mpar.

2) Dadas proposies p, q, e r tais que q verdadeira e r falsa, estude as possibilidades

para os valores lgicos das proposies a seguir:
a) pq
q) p

c) q p

b) pq
h) p q

m) q q

i) ~ (r q )

d) r q

j) ~ r q

e) r p

k) p ~ p

l) p p

n) r r

3) Escreva a recproca e a contrapositiva das condicionais:

a) Se Ado pai de Abel ento mais velho que Abel.
b) Se 2 N ento 2 Z

Respostas:
1) So verdadeiras as proposies: b) c) e) f) g) i) k) l) n) o) q).
2) a) Se V(p) = V ento V (pq) = V; se V(p) = F ento V (pq) = F
b) V(pq) = V
c) Se V(p) = V ento V (q p) = V; se V(p) = F ento V (q p) = F
d) V(r q) = V
e) V(r p) = V
f) Se V(p) = V ento V (p r) = F; se V(p) = F ento V (p r) = V
g) V((r q) p)
h) Se V(p) = V ento V (p q) = V; se V(p) = F ento V (p q) = F
i) V(~ (r q )) = F

- 14 -

f) p r g) (r

j) V(~ r q) = V
k) V (p ~ p)
l) Se V(p) = V ento V (p p) = V; se V(p) = F ento V (p p) = F
m) V(q q) = V
n) V(r r) = V
3) a) Recproca: Se Ado mais velho que Abel ento pai de Abel.
Contrapositiva: Se Ado no mais velho que Abel ento no o pai de Abel.
b) Recproca: Se 2 Z ento 2 N.
Contrapositiva: Se 2 Z ento 2 N.

3 - VARIVEIS E FRMULAS PROPOSICIONAIS.

CONSTRUO DE TABELAS-VERDADE
Como dissemos anteriormente, usamos as letras minsculas p, q, r,... ou essas letras
com sub-ndice, p1, p2, ... pn, para representar proposies. Como podem representar
quaisquer proposies, chamamos essas letras de variveis proposicionais.
Aplicando os conectivos s variveis proposicionais obtemos as frmulas
proposicionais.
Chamamos de frmula proposicional a uma expresso envolvendo
variveis proposicionais e conectivos tal que, fixando as variveis,
obtemos uma nica proposio.

A conjuno p q, com p e q variando entre as proposies, um exemplo de

frmula proposicional com duas variveis p e q. De modo anlogo, podemos dizer que p
q, p q e p q so tambm exemplos de frmulas proposicionais de duas varveis. J
no caso da negao, ~ p, como ela envolve apenas uma varivel, p, trata-se de uma frmula

(*)

Atriz italiana

- 15 -

proposicional de uma varivel. As variveis proposicionais so tambm exemplos de

frmulas proposicionais.
Aplicando repetidamente os conectivos fundamentais s frmulas proposicionais
podemos obter outras frmulas proposicionais.

Por exemplo, dadas as frmulas

proposicionais p q e r q podemos obter as frmulas:

(p q) (r q), (p q) (r q), etc.
Exemplo: Seja a frmula proposicional ~(p q).
a) Aplicando esta frmula s proposies "O Brasil est situado na Amrica do Sul" e "A
lngua oficial do Brasil o Espanhol" obtemos a proposio "No verdade que: se o Brasil
est situado na Amrica do Sul ento sua lngua oficial o Espanhol".
b) Aplicando esta frmula s proposies " 3 " e " 4 " obtemos a proposio "No
verdade que: se 3 ento 4 ".
Quando necessrio, indicaremos as frmulas proposicionais usando letras maisculas
P, Q, R etc.
Exemplo: Dadas as frmulas proposicionais P: ~ p q e Q: p q ento P Q a
frmula proposicional P Q: (~ p q) (p q).

Construo de Tabelas - Verdade

Considere a negao ~p. Pelo visto anteriormente, temos que, fixando a varivel p
ento obtemos uma proposio verdadeira ou falsa. Se p for verdadeira ento ~p ser falsa e
caso contrrio ~p ser verdadeira.
Vamos resumir este resultado em forma de uma tabela, em que na primeira coluna
apresentamos todas as possibilidades de valores lgicos possveis para as proposies p e na
ltima os valores lgicos das proposies ~p.

~p

- 16 -

Seja a conjuno p q. Sabemos que, aps fixarmos as variveis p e q, a

proposio p q verdadeira quando p e q so ambas verdadeiras, em todas as outras
possibilidades p q falsa. Podemos resumir este resultado atravs da tabela em que nas
duas primeiras colunas apresentamos todas as possibilidades de valores lgicos para p e q e
na ltima os valores lgicos resultantes para as proposies p q.
p

pq

De modo anlogo podemos considerar tabelas-verdades para todas as frmulas

proposicionais.
Exemplos: Apresentamos a seguir tabelas-verdades para algumas frmulas
proposicionais.
1) p q
p

pq

2) p q
p

pq

- 17 -

3) p q
p

pq

4) ( p ~q) ( r p)
p

~q

p~q

rp

(p q) (r p)

EXERCCIOS
1) Aplique a frmula proposicional p ~q s seguintes proposies:
p: "A Bahia um estado da regio nordeste" e

q: "Salvador a capital da Bahia e foi

fundada em 1549 (*)"

2) Construa tabelas-verdade para as seguintes frmulas proposicionais:
a) ~(~p) p

b) (p q) r

c) (p q) ( ~p q)

Respostas:
1) a) Se a Bahia um estado da regio nordeste ento no verdade que: Salvador a
capital da Bahia e foi fundada em 1549.
2) a)
(*)

A cidade de Salvador foi fundada por Tom de Sousa em 29 de maro de 1549

- 18 -

~p

~ (~ p)

~(~p) p

b)
p

p q

(p q) r

c)
p

p q

~p

~p q

(p q) ( ~p q)

- 19 -

4. TAUTOLOGIAS E CONTRADIES
Tautologias
Tomemos a frmula proposicional p q p. Atravs da tabela-verdade abaixo
podemos verificar que esta frmula ao ser aplicada a quaisquer proposies p

q,

resulta em proposio, representada por p q p, verdadeira.

pq

p q p

Dizemos, neste caso, que p q p uma tautologia.

De modo geral dizemos que,
Uma tautologia uma frmula proposicional a n variveis, p1, p2, ... pn que ao
ser aplicada a quaisquer n proposies, representadas pelas variveis p1, p2, ... pn,
resulta em proposio verdadeira.
Como no exemplo acima, podemos identificar uma tautologia atravs da sua tabelaverdade, verificando se a ltima coluna apresenta apenas valor lgico verdade.

Exemplo: A frmula proposicional

~p p uma tautologia, pois ao ser aplicada a

qualquer proposio resulta em proposio verdadeira

Se P uma tautologia, P tambm chamada de frmula proposicional tautolgica ou
logicamente verdadeira. Uma tautologia em geral indicada por V, T ou 1.

Contradies
Consideremos a frmula proposicional p (~p q ). Atravs da sua tabela-verdade
(dada a seguir) podemos ver que ao ser aplicada a quaisquer proposies, representadas por
p e q, resulta em proposio falsa.
- 20 -

~p

~pq

(~ p q) p

Temos que p (~p q ) uma contradio.

De modo geral dizemos que,
Uma contradio uma frmula proposicional a n variveis, p1, p2, ... pn que ao
ser aplicada a quaisquer n proposies, representadas pelas variveis p1, p2, ... pn,
resulta em proposio falsa.

Assim como no caso de tautologias, podemos identificar uma contradio atravs da

sua tabela-verdade, verificando se a ltima coluna apresenta apenas valor lgico falsidade.

Exemplos:
1) A frmula proposicional p ~ p uma contradio, pois ao ser aplicada a qualquer
proposio resulta em proposio falsa.
2) fcil ver que se P uma tautologia ento ~P uma contradio e, vice-versa, se P
uma contradio ento ~ P uma tautologia.
Se P uma contradio, P tambm chamada de frmula proposicional logicamente
falsa. Uma contradio em geral indicada por F, C ou 0.

EXERCCIOS
1) Verifique se as frmulas proposicionais so tautologias ou contradies:
a) ~(p q) ~p ~q
ssr

b) p ~q ~p q

e) ~( p q p)

Respostas:
1) So tautologias: a) c). contradio: e).
- 21 -

c) p q ~q ~p

d) r

5. EQUIVALNCIA

Dizemos que uma frmula proposicional P equivalente frmula

proposicional Q ou, simplesmente, que P equivalente a Q se a frmula
proposicional P Q tautolgica.

Para indicar que P equivalente a Q usamos a notao P Q.

Exemplos:
1) Como consequncia do modo como se define o valor lgico da bicondicional de duas
proposies (a bicondicional verdadeira se as duas proposies possuem mesmos valores
lgicos, caso contrrio falsa) temos as seguintes equivalncias,
a) P P para toda frmula proposicional P.
b) Se P Q ento Q P.
c) Se P e Q e R so frmulas proposicionais tais que P Q e Q R ento P R
Isto , a relao de equivalncia goza das propriedades reflexiva, simtrica e transitiva.
2) Dadas as frmulas proposicionais P: p q e Q : ~p q, temos que P Q
tautolgica (veja tabela a seguir), portanto P Q.

pq

~p

~p q

(p q) (~p q)

Observao: Os smbolos e so distintos!

indica uma operao lgica.

estabelece que P Q tautolgica (estabelece uma relao entre P e Q).

- 22 -

Exemplos: A seguir listamos vrias equivalncias, muito utilizadas em Matemtica, e que

podem ser demonstradas pela construo das tabelas-verdade ou analisando valores lgicos,
tarefa que deixaremos ao leitor.
1) Se P e Q so ambas tautolgicas ou ambas contradies ento P Q.
2) p ~p F
3) p ~p V
4) p q ~p q (Veja o exemplo 2) anterior)
5) p q ~q ~p (a condicional e sua contrapositiva so equivalentes, nessa
equivalncia se baseia o mtodo de demonstrao por absurdo que exemplificaremos no
captulo seguinte).
6) ~(p q) p ~q (negao da condicional).
7) p q (p q) (q p) (a bicondicional p q equivalente a conjuno da
condicional p q e sua recproca q p).
8) ~(p q) (p ~q) (q ~p) (negao da bicondicional ).

As operaes lgicas negao, conjuno e disjuno gozam das seguintes

propriedades que podem ser verificadas facilmente.

Dupla Negao

~(~p)

Idempotente

pp

pp

pq

qp

pq

qp

(p q) r

p (q r)

(p q) r

p (q r)

pV

pF

Comutativa

Associativa

Elemento Neutro

- 23 -

p F

pV

p (q r)

(p q) (p r)

p (q r)

(p q) (p r)

p (p q)

p (p q)

~(p q)

~p ~q

~(p q)

~p ~q

Elemento Absorvente

Distributiva

Absoro

Leis de De Morgan

Observao: Qualquer equivalncia continua sendo vlida

quando substitumos variveis proposicionais por frmulas

Exemplo: Quaisquer que sejam as frmulas proposicionais P, Q e R temos,

1) P (Q R) (P Q) (P R), como no caso de tomarmos P: p r, Q: p q e R:
q p, ou seja,
(p r) ((p q) (q p)) ((p r) (p q)) ((p r) (q p))

EXERCCIO
1) Mostre as equivalncias citadas na seo anterior.

- 24 -

6. MTODO DEDUTIVO
SIMPLIFICAO DE FRMULAS PROPOSICIONAIS
A maioria das equivalncias foram demonstradas at aqui usando tabelas-verdade. Veremos
agora a demonstrao de equivalncias usando outro mtodo, denominado mtodo dedutivo.
Este mtodo consiste em substituir frmulas proposicionais por outras equivalentes. No
emprego do mtodo dedutivo desempenham papis importantes as equivalncias j citadas
na seco anterior.

Exemplos: Vamos demonstrar as equivalncias a seguir, usando o mtodo dedutivo:

1) p q p ~q F (Esta equivalncia bastante usada em demonstraes de
Matemtica, como veremos no captulo seguinte, e denominada reduo ao absurdo)
D] (p ~q) F ~ (p ~q) F ~(p ~q) ~p ~ (~q) ~p q p
q
2) p q p q q
D] p q q ~ (p q) q (~ p ~ q) q (~ p q) ( ~ q q)
(~ p q) V (~ p q) p q
3) p q r p ~ q r
D] p (~ q) r ~ (p (~ q)) r ~p q r ~ p (q r) p q r.

Substituindo frmulas proposicionais por outras equivalentes, podemos obter

frmulas mais simples. Ilustraremos esse procedimento no exemplo a seguir.
Exemplo: Vamos simplificar a frmula proposicional ~ p (p q):
~ p (p q) p (p q) (p p) (p q) p(p q) p.

EXERCCIOS
1) Usando mtodo dedutivo, mostre as seguintes equivalncias:
- 25 -

a) ~p p p
b) (p q) q p q
c) (p q) (p r) p (r q)
d) p (q r ) ( p ~q ) r

2) Utilizando as propriedades operatrias, simplifique as seguintes proposies:

a) ( p ( p q) ) ~( p q)
b) ( p ~(q r)) (p ~(p ~q)) ( p ~(p ~r))

Respostas
1) b) (p q) q (~p q) q ~ (~p q) q (p ~q) q (p q) (~ q
q) (p q) V (p q)
d) ( p ~q ) r ~( p ~q ) r (~p q ) r ~p (q r) p (q r )
2) a) p ~q

b) p

- 26 -

7. IMPLICAO LGICA
Dadas duas frmulas proposicionais P e Q, dizemos que P implica logicamente Q,
ou simplesmente, P implica Q se a frmula proposicional P Q tautolgica.

Se P implica Q usamos a notao P Q.

A uma condicional P Q tautolgica, chamamos de implicao.

Exemplos:
1) Como consequncia do modo como se define o valor lgico da condicional de duas
proposies (a condicional falsa apenas se a proposio antecedente verdadeira e a
consequente falsa, caso contrrio verdadeira) temos as seguintes implicaes.
a) P P para toda frmula proposicional P.
b) Se P Q e Q P ento P Q (ver exemplo 7) da seo 5).
c) Se P e Q e R so frmulas proposicionais tais que P Q e Q R ento P R
Isto , a relao de equivalncia goza das propriedades reflexiva, anti-simtrica e transitiva.
2) Dadas as frmulas proposicionais P: p q e Q: p, temos que P Q tautolgica
(veja tabela a seguir), portanto P Q.

p q

pqp

Observao: Os smbolos e so distintos!

indica uma operao lgica

- 27 -

estabelece que a condicional P Q tautolgica. (estabelece uma relao entre P

e Q).

Regras de Inferncia
Algumas implicaes lgicas se destacam por terem papel importante nas
demonstraes matemticas. Tais implicaes so chamadas de Regras de Inferncia.
Vejamos alguns exemplos.

Regra da Adio

(A.D.)

ppq
qpq
Regra da Simplificao

(SIMP)

pqp
pqq
Regra do Modus Ponens (*)

(M.P)

(p q) p q
Regra do Modus Tollens(**)

(M.T)

(p q) ~q ~p
Regra do Silogismo Hipottico
(p q) (q r) p r

EXERCCIOS
1) Mostre as implicaes citadas na seco anterior.
2) Mostrar sem usar tabela verdade que :
a) (r s) ( ~r t) (~s) t
b) (~p q) p q

(*)

Modo direto

- 28 -

(S.H)

Respostas
1) Regra de Adio
p p q ~p (p q) (~p p) q V q V.
Regra Modus Ponens
(p q) p q (~p q) p q (~p p) (q p) q F (q p) q
(q p) q ~(q p) q (~q ~ p) q (~q q) ~ p V ~ p
V.
2) b) (~p q) p q ~((~p q) p) q (p ~ q) ~ p q (p ~ q)
~( p ~ q) V.

(**)

Modo indireto

- 29 -

Captulo 2
SENTENAS ABERTAS / QUANTIFICADORES

1. SENTENAS ABERTAS
Seja a expresso x + 1 = 0.
Observamos que essa expresso no uma proposio pois no possui valor lgico
definido. Mas passa a t-lo quando fixamos x. Por exemplo, torna-se uma proposio
verdadeira para x = -1 e uma proposio falsa para qualquer valor diferente de -1.

Chama-se sentena aberta em um conjunto U a uma regra que associa a

cada elemento x de U uma nica proposio p(x).
Exemplos:
1) p(x): "x + 1 = 0", no conjunto U = N.
2) p(x): "x2 - 4 = 0", no conjunto U = N.
3) p(x): "x2 - 4 = 0", no conjunto U = Z.

Se U o produto cartesiano dos conjuntos

U1, U2, U3,... Un, isto , U =

U1U2U3... Un , ento x = (x1, x2, x3, ...xn). Neste caso, temos uma sentena aberta de n
variveis x1, x2, x3, ...xn, xi Ui, i = 1, 2, ..., n.
Exemplos:
1) p(x): " x 1 = 0", no conjunto U = N.
2) p(x,y): "x + y = 1", no conjunto U = N2.
2

2) p(x, y, z): "x + y + z 0", no conjunto U = R3.

Uma sentena aberta tambm chamada funo proposicional, o conjunto U, de
conjunto-universo e o conjunto dos elementos x de U tais que p(x) verdade chamado de
conjunto-verdade da funo proposicional, que indicaremos por Vp.
Vp = { x U; V(p(x)) = V } ou de modo mais resumido Vp = { x U; p(x)}

- 30 -

Exemplos:
1) O conjunto verdade da sentena aberta

p(x): "2x 1 = 3", no conjunto N Vp =

{x N; 2x 1 = 3}, que tambm pode ser representado por Vp = {2}

2) O conjunto verdade da sentena aberta p(x): "x2 + 5x + 6 = 0", no conjunto Z Vp = {x
Z; x2 + 5x + 6 = 0 }, que pode ser representado por Vp = {-2, -3}.
3) O conjunto verdade da sentena aberta p(x): "x2 + 5x + 6 = 0", no conjunto N Vp = {x
N; x2 + 5x + 6 = 0 }, que pode ser representado por Vp =
4) O

conjunto

verdade

da

sentena aberta

p(x): "x > 3",

no

conjunto

U=

{-1,0, 2, 3, 5, 6, 7} Vp = {5, 6, 7}
5) O conjunto verdade da sentena aberta p(x,y): "x - y = 0", no conjunto N2 Vp =
{(x,y) N2 | x = y} = {(0,0), (1,1), (2,2),...}

Operaes Lgicas com Sentenas Abertas

As operaes lgicas sobre proposies se estendem naturalmente s sentenas

abertas. Assim, dadas as sentenas p(x) e q(x) no conjunto U podemos obter novas
sentenas como:
~p(x), p(x) q(x), p(x) q(x), p(x) q(x), p(x) q(x)

Outras sentenas podem ser formadas aplicando-se repetidamente as operaes

lgicas como, por exemplo, p(x) [q(x) r(x)].

Nem sempre as sentenas abertas so apresentadas exibindo-se claramente suas

variveis e o seu conjunto universo, como por exemplo:
1) "Carlos baiano". A no ser que estejamos nos referindo a uma determinada pessoa,
significa "x baiano" com x pertencente ao conjunto dos seres humanos que se chamam
Carlos.
2) "O tringulo ABC retngulo" que significa "x retngulo" com x pertencente ao
conjunto dos tringulos.

- 31 -

3) "O pssaro canta" que significa "x canta no instante y" com x pertencente ao conjunto
dos pssaros e y indica o tempo.
4) "Chove" significa "Chove no lugar x e no instante y".
5) "As retas a, b e c so distintas" significa "a, b e c so distintas" com a, b e c
pertencentes ao conjunto das retas.
Por essa razo, usaremos tambm para indicar sentenas abertas, em alguns casos, a
notao p, q, r, etc, no lugar de p(x), q(x), r(x), etc.

Exemplo: Dadas as sentenas abertas p: "Chove hoje"

"Hoje sexta-feira"

ento

podemos

obter

q:"No chove amanh" e

as

sentenas

r:

~p: "No chove

hoje", p r: "Chove hoje e hoje sexta-feira ", p q: "Chove hoje ou no chove

amanh " , p [q r] : Se chove hoje ento: no chove amanh ou hoje sexta-feira", etc.

Tautologias e Contradies
Uma sentena aberta p(x) no conjunto U uma tautologia (ou
tautolgica) se seu conjunto verdade Vp igual a U.

De modo anlogo s frmulas proposicionais tautolgicas, indicamos as sentenas

abertas que so tautolgicas por V.

Exemplos:
1) Em qualquer conjunto U temos p(x):" x = x" uma tautologia.
2) p(x): "x U" , no conjunto U, uma tautologia.
3) p(x): "x -1 Z " , em U = Z, uma tautologia.
4) p(x): "x -1" N, em U = N, no uma tautologia pois Vp = N* ={1, 2, 3, ...}.
5) p(x): "x 1 > 0", em U = R, no uma tautologia pois Vp = {x R; x >1}.
Uma sentena aberta p(x) no conjunto U uma contradio se seu
conjunto verdade Vp o conjunto vazio.

- 32 -

Indicamos as sentenas abertas que so contradies por F.

Exemplos:
1) Em qualquer conjunto U temos p(x): x x uma contradio.
2) p(x): "x 2 = -1", em U = R uma contradio.
3) p(x): "x2 = 1", em U = R no uma contradio pois Vp = {-1, 1} .

Equivalncia entre sentenas abertas

Exemplo: Considere as sentenas abertas p(x):"x par" e q(x): "x + 1 mpar" no
conjunto Z dos nmeros inteiros temos que Vp = Vq = {nmeros inteiros pares}. Dessa
forma, para todo valor fixo de x Z as proposies p(x) e q(x) tm mesmos valores
lgicos, logo a proposio p(x) q(x): "x par se, e somente se, x + 1 mpar"
verdadeira Dizemos, neste caso, que as sentenas abertas p(x) e q(x) so equivalentes.

De modo geral temos,

Dadas as sentenas abertas p(x) e q(x) no conjunto U, se a sentena

aberta

p(x) q(x) tautolgica, dizemos

que

p(x) e q(x) so

equivalentes.
Como no exemplo acima, se p(x) e q(x) so equivalentes ento seus conjuntos
verdade so iguais e, vice-versa, se as sentenas possuem conjuntos verdade iguais ento
so equivalentes.
Se as sentenas p(x) e q(x) so equivalentes indicamos p(x) q(x)
Exemplos:
Nos exemplos a seguir considere U = N
1) p(x): x par e q(x): x2 par so equivalentes.
2) p(x): x primo, x 2 e q(x): x mpar no so equivalentes.
- 33 -

Observao: As

definies em matemtica so sempre equivalncias,

como por

exemplo,
"ABC um tringulo retngulo se, e somente se, possui um ngulo reto" .
Mas nem sempre so escritas nesse formato, como por exemplo,
"Um tringulo retngulo se tem um ngulo reto".

Todas as regras de equivalncias vistas para frmulas proposicionais tambm so

vlidas para sentenas abertas, j que ao fixarmos as variveis de uma sentena obtemos
proposies.

Exemplos: 1) Usando as Leis de De Morgan para sentenas abertas:

~ (p(x) q(x)) ~ p(x) ~q(x)
~ (p(x) q(x)) ~ p(x) ~q(x)
temos,
a) Em U = Z vlida a equivalncia "No verdade que: x > 3 e x par x 3 ou x
no par"
b) "No verdade que: Carlos vai ao cinema ou vai ao teatro" equivalente a "Carlos no
vai ao cinema e no vai ao teatro"

2) Usando a comutativa para a conjuno

p(x) q(x) q(x) p(x)
temos,
"x um nmero par e primo" equivalente a "x um nmero primo e x par"
"Maria se casou e teve filho" equivalente a "Maria teve filho e se casou"

Implicao entre sentenas abertas

Sejam as sentenas

abertas p(x): "O quadriltero x um quadrado"

q(x):

"Todos os ngulos do quadriltero x so retos" no conjunto U dos quadrilteros. Temos que

Vp = {x | x um quadrado} e Vq = {x | x um quadriltero cujos ngulos so retos} so tais
que Vp Vq. Logo ao fixarmos um quadriltero x, temos que se a proposio p(x)
verdadeira ento a proposio q(x) tambm verdadeira e portanto a condicional p(x)
- 34 -

q(x): "Se o quadriltero x um quadrado ento todos os seus ngulos so retos" verdadeira
para qualquer quadriltero x. Ou seja, a sentena aberta p(x) q(x) tautolgica. Neste
caso dizemos que p(x) implica q(x) e indicamos p(x) q(x).
De modo geral temos,
Dadas as sentenas abertas p(x) e q(x) no conjunto U, se a sentena
aberta p(x) q(x) tautolgica, dizemos que p(x) implica q(x).
Se as sentenas p(x) e q(x) so tais que p(x) implica q(x) ento indicamos p(x)
q(x).
Como no exemplo acima, se p(x) q(x) ento Vp Vq e vice-versa, se as
sentenas possuem conjuntos verdade tais que Vp subconjunto de Vq ento

p(x)

q(x)
Os teoremas da matemtica so constitudos de implicaes.
Exemplos de teoremas:
a) Se x N e x par ento x2 par.
b) Se x N e x mpar ento x2 mpar.
c) Dado um nmero x Z temos, se x mltiplo de 4 ento x mltiplo de 2.
d) Seja a Q, se a > 0 ento a-1 > 0.
e) Sejam a, b N. Se a um nmero par, ento ab par.
f) A soma das medidas dos ngulos internos de um tringulo retngulo igual a 180o.
Este teorema pode ser reescrito na forma de implicao: Se a, b e c so as medidas dos
ngulos internos de um tringulo qualquer ento a + b + c = 180o" .
g) Todo quadriltero convexo que tem lados opostos congruentes paralelogramo. Na
forma de implicao: Se um quadriltero qualquer tem lados opostos congruentes ento
um paralelogramo.
Todas as regras para implicaes vistas

para frmulas proposicionais

tambm so vlidas para sentenas abertas, j que ao fixarmos as variveis de uma

sentena obtemos proposies.
- 35 -

Vejamos aplicaes das regras de inferncia, apresentadas no captulo anterior, para

sentenas abertas.
Exemplos: 1) Aplicando a regra da adio, p(x) p(x) q(x), s sentenas

p(x): "x >

2" e q(x): "x = 2", em U = R, temos "x > 2 x 2".

2) Aplicando a regra do modus ponens, (p(x) q(x)) p(x) q(x), s sentenas p(x): "x
mltiplo de 4" e q(x): "x mltiplo de 2", em U = Z, temos
"Se x mltiplo de 4 ento x mltiplo de 2, e x mltiplo de 4. Ento x mltiplo de 2 ".
Esta regra vlida no caso (p(x) q(x)) p (a) q(a) como por exemplo "Se x
mltiplo de 4 ento x mltiplo de 2, e 32 mltiplo de 4. Ento 32 mltiplo de 2 ".
3) Aplicando a regra do modus tollens, (p(x) q(x)) (~q(x)) ~p(x), s sentenas
p(x): "x mltiplo de 3 e x >0" e q(x): "x 3", em U = Z, temos
" Se x mltiplo de 3 e x >0 ento x 3, e x < 3. Ento x no mltiplo de 3 ou

0".

Esta regra vlida no caso (p(x) q(x)) (~q(a)) ~p(a), como por exemplo "Se x
mltiplo de 3 e x > 0 ento x 3, e 1 < 3. Ento 1 no mltiplo de 3 ou 1 0". Como no
acontece 1 0, conclumos que 1 no mltiplo de 3
4) Aplicando a regra do silogismo hipottico (p(x) q(x)) (q(x) r(x)) p(x) r(x) s
sentenas p(x): "x divisor de 6" , q(x): "x divisor de 12" e r(x): "x divisor de 24"
definidas em U = N temos,
"Se x divisor de 6 ento x divisor de 12 e se x divisor de 12 ento x divisor
de 24 Se x divisor de 6 ento x divisor de 24".

Para sentenas abertas tambm usamos termos como contrapositiva, recproca,

condio suficiente, condio necessria, etc.
Segue da equivalncia p q ~q ~p (vista para frmulas proposicionais) que
p(x) q(x) ~q(x) ~p(x). Ou seja, a condicional p(x) q(x) e sua contrapositiva so
equivalentes. Dessa forma

p(x) q(x) se, e somente se, ~q(x) ~p(x).

- 36 -

Exemplo: Considere a implicao: "Se Joo pai de Jos ento Joo mais velho que
Jos". Temos:
1) A sua contrapositiva "Se Joo no mais velho que Jos ento Joo no o pai de Jos
(que tambm uma implicao).
2) A sua recproca "Se Joo mais velho que Jos ento pai de Jos" (que no uma
implicao, nem sempre verdadeira).
3) Joo pai de Jos condio suficiente para Joo mais velho que Jos.
4) Joo mais velho que Jos condio necessria para Joo pai de Jos.

Com os exemplos de implicaes, mostraremos a seguir como as equivalncias so

utilizadas nas demonstraes em Matemtica.

Exemplos:
Considere os seguintes Teoremas :
1) Dadas trs retas distintas, a, b e c, do plano, se a b e b c ento a c.
Provaremos
equivalncia

usando

reduo

p q p ~q F.

c a c

ao

absurdo,

Neste caso

isto

usaremos

para provar que a b e b

a b e b c e a c F .

vamos mostrar que

D]
i) a c a c
ii) a c e a b e b c a = c (axioma das paralelas)
iii) a = c , uma contradio, pois por hiptese as retas so distintas.
3) Dado a R com a > 0 ento a-1 > 0.
D] Provaremos usando reduo ao absurdo, ou seja, a R, a > 0 e a-1 0 F
i) a > 0 a 0
ii) a 0 a-1 0; aa-1 = 1
iii) a-1 < 0, a > 0 e aa-1 = 1 1 < 0, o que uma contradio.
- 37 -

4) Seja U = N. Se x2 par ento x par.

D]

Provaremos usando a contrapositiva ou demonstrao por absurdo, isto

usaremos

equivalncia

p(x) q(x) ~q(x) ~p(x).

i) x no par x = 2k + 1, k N.
ii) x = 2k + 1, k N x2 = 4k2 + 4k + 1
iii) x2 = 4k2 + 4k + 1 x2 = 2(2k2 + 2k) + 1
iv) x2 = 2(2k2 + 2k) + 1 x2 mpar.
5) Sejam a, b N, ab par se, e somente se a par ou b par.
D] Provaremos usando a seguinte equivalncia: p q (p q) (q p)
) Se ab par ento a par ou b par. Neste caso usaremos a contrapositiva, ou seja, se a
mpar e b mpar ento ab mpar.
i) a mpar e b mpar a = 2k +1 e b = 2j +1, j,k N.
ii) a = 2k +1e b = 2j +1 ab = (2k +1)(2j + 1) = 4kj + 2k + 2j + 1 = 2(2kj + k + j) + 1
iii) ab = 2(2kj + k + j) + 1 ab mpar.
) Se a par ou b par ento ab par.
i) a par a = 2k , k N
ii) a = 2k , k N ab = (2k)b = 2(kb)
iii) ab = 2(kb) ab par.

EXERCCIOS

1) D o conjunto-verdade das seguintes sentenas abertas definidas em U = R.

a) p(x): x2 5x + 6 = 0

b) p(x):

x2 1 3

2) D o conjunto-verdade das seguintes sentenas abertas definidas em U = AxA, com A =

{x Z; -3 x < 2}.
a) p(x, y): x2 - y2 = 0

b) p(x, y): | x | > | y |

3) Identifique entre as sentenas abertas as tautologias e as contradies:

a) Se eu curso o 3o grau ento j cursei o 2o grau.
b) Hoje segunda-feira e amanh tera-feira.
- 38 -

c) Se hoje segunda-feira ento amanh tera-feira.

d) Se hoje segunda-feira ento amanh quarta-feira.
e) Hoje segunda-feira se, e somente se, amanh no tera-feira.
f) p(x): " x par ou x-1 par" em U = Z.
g) p(x): " x2 < 0" em U = R.
h) "ABC um tringulo equiltero ou possui pelo menos um ngulo menor que 60o" em U
= {ABC; ABC um tringulo}

4) Determine as sentenas abaixo que so equivalentes sentena "Se corre, cansa".

a) No corre ou cansa.
b) Se no cansa ento no corre.
c) Se no corre ento no cansa.
d) No verdade que: Corre e no cansa.

5) Escrever as condicionais seguintes na forma "se ... ento".

a) Para que um tringulo seja equiltero suficiente que seus ngulos sejam congruentes.
b) A condio x divisvel por 3 necessria para que x seja divisvel por 6.

6) Negue as seguintes sentenas:

a) Chove e molha
b) Vou ao cinema ou vou ao teatro.
c) Quem no chora no mama.
d) Se x < 3 ento x 0, em U = R.
e) Estudar condio suficiente para passar no vestibular.
f) Joo ser aprovado se, e somente se, estudar

7) Verifique se as sentenas abertas so equivalentes:

a) Dado U = N, p(x): x mltiplo de 3 e q(x): x2 mltiplo de 3.
b) p(x): x = 3k + 1, para algum k N e q(x): x2 = 3j + 1, para algum j N".

- 39 -

8) Use a regra do modus ponens, (p q) p q, ou a regra do modus tollens, (p

q) ~q ~p, para completar as implicaes:
a) Se x divisvel por 10 ento divisvel por 5. 20 divisvel por 10 ento ___________
b) Se chove, uso guarda-chuva. Ontem choveu ento ___________________
c) Se bebo, no dirijo. Dirigi ento _______________________
d) Se x Q e y Q ento x + y Q. 1+ y Q ento ___________________
9) Complete usando a regra do silogismo hipottico (p q) (q r) p r
a) Se Marcos vai a Salvador ento vai ao Bomfim e se Marcos vai ao Bomfim ento compra
um patu. Logo, se Marcos vai a Salvador ento ____________________
b) Se x par e primo ento x = 2 ou x =-2. E se x = 2 ou x =-2 ento x2 - 4 = 0. Logo, se x
par e primo ento ______________
c) Se um quadriltero ABCD um quadrado ento tem lados congruentes e se um
quadriltero ABCD possui lados congruentes ento um losango. Logo, se um quadriltero
ABCD um quadrado ento _______________________
10) Complete usando uma das duas regras da simplificao, p q p e p q q.
a) Se Jos professor e irmo de Antnio ento _________________
b) Se x Q e x > 0 ento ______________________
11) Complete usando uma das duas regras da adio, p p q e q p q.
a) Se __________________ ento x 4.
b) Se __________________ ento sou professor ou mdico.

RESPOSTAS
1. a) Vp = { 2, 3 }
b) Vp = { - 10 , 10 }
2. a) Vp = { (-3, -3), (-2, -2), (-1,-1), (-1, 1), (0, 0), (1, -1), (1, 1) }
b) Vp = { (-3, -2), (-3, -1), (-3, 0), (-3, 1), (-2, -1), (-2, 0), (-2, 1), (-1, 0), (1,0) }.
3. Tautologias: a), c), f), h). Contradies: e), g) .
4. a), b) e d)
5. a) Se os ngulos de um tringulo so congruentes ento o tringulo equiltero.
- 40 -

b) Se x divisvel por 6 ento x divisvel por 3.

6. a) No chove ou no molha.
b) No vou ao cinema e no vou ao teatro.
c) Observe que: "Quem no chora, no mama" equivalente a " Se no chora
ento no mama". Logo sua negao no chora e mama.
d) x < 3 e x < 0.
e) Estuda e no passa no vestibular.
f) Joo aprovado e no estuda ou Joo estuda e no aprovado.
7. a) So equivalente. Provaremos usando a seguinte equivalncia:
p q (p q) (q p)
)
i) x mltiplo de 3 x = 3k, para algum k N
ii) x = 3k x2 = 9k2 = 3(3k2).
iii) x2 = 3(3k2) x2 mltiplo de 3.
)
i) x2 mltiplo de 3 xx mltiplo de 3
ii) xx mltiplo de 3 e 3 primo x mltiplo de 3 ou x mltiplo de 3
iii) x mltiplo de 3 ou x mltiplo de 3 x mltiplo de 3.
b) No so equivalentes, pois x2 = 3k + 1, k N
x = 3j + 1, j N.
Contra-exemplo: x = 5.
8. a) ... 20 divisvel por 5.
b) ... usei guarda-chuva.
c) ... no bebi.
d) 1 Q ou y Q y Q
9. a) ... compra um patu.
b) ... x2 4 = 0.
c) ... um losango.
10. a) ... Jos professor
b) ... x > 0

ou

11. a) ... x > 4 ...

b) ... sou mdico

ou

... Jos irmo de Antnio.

... x Q.

ou

... x = 4 ....
ou

... sou professor.

- 41 -

2 - Relao entre Lgica e Conjunto.

Vejamos como se pode obter os conjuntos-verdade das sentenas ~p(x),

p(x)

q(x), p(x) q(x), etc. usando os conjuntos-verdade das duas sentenas p(x) e q(x) .

Exemplo: Dadas as sentenas abertas

p(x): x2 = 1

q(x): x2 + x - 2 = 0 no conjunto

U = { -2, 1, 0, 1, 3}, temos que Vp = { 1, 1 } e Vq = {-2, 1}. Com as operaes lgicas

vamos determinar outras sentenas e seus conjuntos-verdade.
1) ~p(x): x2 1 e V p = {-2, 0, 3}. Observe que V p = U - Vp.
2) p(x) q(x): x2 = 1 e x2 + x - 2 = 0 e V(p q) = {1}. Observe que V(p q) = Vp Vq.
3) p(x) q(x): x2 = 1 ou

x2 + x - 2 = 0 e V(p q) = {-2, -1, 1}. Ento V(p q) = Vp

Vq.

Em geral se p(x) e q(x) so sentenas abertas no conjunto U ento valem as igualdades:

1) Vp = U - Vp
2) V(p q) = Vp Vq
3) V(p q) = Vp Vq.
Alm disso, segue das equivalncias
p(x) q(x) ~p(x) q(x) e p(x) q(x) [p(x) q(x)] [q(x) p(x)]
e de 1) e 2) que
4) V(p q) = V~ p Vq
5) V(p q) = V(p q) V(q p)

Exemplo: Usando as sentenas p(x) e q(x) do exemplo anterior temos,

1) p(x) q(x): "Se x2 = 1 ento x2 + x - 2 = 0". V(p q) = V~ p Vq = {-2, 0, 1, 3}.
2) p(x) q(x): "x2 = 1 se, e somente se x2 + x - 2 = 0" e V(p q) = V(p q) V(q p) =
= { 0, 1, 3}.
Em seguida, vamos relacionar elementos da Lgica e da Teoria dos Conjuntos. Ou
seja, vamos reescrever as relaes de igualdade, incluso, e operaes entre conjuntos
usando a Lgica.
- 42 -

Considerando um conjunto U qualquer, temos:

Se p(x) uma contradio em U ento {x U; p(x)} = .
Se p(x) uma tautologia ento {x U; p(x)} = U.

Sejam A

e B subconjuntos do conjunto

U e as sentenas abertas p(x): "x

A" e q(x): "x B". Logo, Vp = A e Vq = B. Ento:

Como j vimos antes, Vp = Vq se, e somente se, p(x) q(x). Logo,
A = B se, e somente se, x A x B.
Tambm vimos que Vp Vq, se e somente se, p(x) q(x). Logo,
A B se, e somente se, x A x B.
Assim, se queremos mostrar que um conjunto A est contido em um conjunto B,
devemos mostrar a implicao "x A x B", isto , assumindo que x A verdade,
mostrar que x B verdade. E para mostrar que A = B basta mostrar as duas implicaes
"x A x B" e "x B x A"

A conjuno e a disjuno so operaes lgicas que esto relacionadas com a unio

e interseo entre dois conjuntos da seguinte forma:
Tomando a sentena aberta p(x) q(x): "x A e x B" temos que V(pq) = Vp
Vq e ento
A B = {x U; x A e x B}.
Tomando a sentena aberta p(x) q(x): "x A ou x B" temos que V(pq) = Vp
Vq e ento
A B = {x U; x A ou x B}.
A negao est relacionada com

o complementar. A sentena

p(x): "x no pertence a A" possui conjunto-verdade V(~p) = U - Vp e ento

A = {x U; x no pertence a A}
- 43 -

aberta ~

Resumimos na tabela seguinte estas relaes

Contradio

Conjunto vazio

Tautologia
V

Conjunto
universo
U

Conjuno

Interseo

Disjuno

Unio

Implicao

Incluso

Equivalncia

Igualdade

Negao

Complementar

Vejamos a utilizao da Lgica na Matemtica com aplicaes na Teoria dos

Conjuntos.
Dados A, B e C subconjuntos quaisquer de U temos as seguintes propriedades:
1. A
2. a) A AB

b) A B A

3. a) AA = A

b) AA = A

4. a) AB = BA b) AB = BA
5. a) A = A

b) A =

6. a) A U = U

b) A U = A

7.a) (AB) C = A (BC)

b) (AB) C = A(BC)
- 44 -

8. a) A(BC) = (A B)(AC)

b) A (BC) = (AB) (AC)

9). A A
10. a) A B A B

b) A B = A B

11. a) A A = U

b) A A =

12. a) = U

b) U =

Todas essas propriedades so demonstradas facilmente, utilizando a lgica e as

relaes que j estabelecemos. Demonstraremos algumas e deixaremos o restante como
tarefa para o leitor.
D] 1. Devemos mostrar que x x A. Temos:
Para todo x U a proposio "x " falsa e portanto a proposio "x x A"
verdadeira.
2. a) Devemos mostrar que "x A x A B".
Segue da implicao p p q (adio ) que "x A x A ou x B".
Portanto "x A x A B"
8. a) Devemos mostrar que "x A(BC) x (A B)(AC)" ou seja, que .
"x A (x B x C) (x A x B) ( x A x C). Esta equivalncia segue
da propriedade p (q r) (p q) (p r).

EXERCCIOS
1) D o conjunto-verdade das seguintes sentenas abertas definidas em U = R
a) x2 + x - 6 = 0 x2 - 9 = 0

b) x2 > 4 x2 -5x + 6 = 0

c) x < 3 x 0

d) x Z |x - 4| < 3

e) ~ (

x 1 x ) x N

2) Utilizando a lgica e as relaes que j estabelecemos, demonstre as propriedades de

conjuntos citadas na seco anterior.
- 45 -

Respostas
1.a) R-{2}
1.b) (-, -2] ]2, +) - {3}
1.c) R *
1.d) {0, 1, 2 ,3, 4, 5, 6}
1 5 1 5
,
N
2
2

1.e) {

3. QUANTIFICADORES
Na seco anterior, vimos que uma maneira de transformar sentenas abertas em
proposies fixar suas variveis. Nesta seco, veremos outro modo que consiste em usar
expresses tais como para todo, qualquer que seja, existe, etc.

Exemplos:
1) Consideremos a sentena aberta p(x): x2 - 1 = 0 no conjunto Z. A partir desta sentena
podemos formar as seguintes proposies:
Existe x pertencente a Z, tal que x2 - 1 = 0
Para todo x pertencente a Z, x2 - 1 = 0
A expresso "existe x" significa "existe pelo menos um x". Temos ento que a primeira
uma proposio verdadeira (tome por exemplo x = 1 Z). A segunda falsa, pois nem
todo nmero inteiro satisfaz a sentena x2 - 1 = 0 (tome por exemplo x = 2 Z).
2) A proposio "Existe x N tal que

x Z" verdadeira (tome, por exemplo, x = 9)

3) As proposies "Existe um homem que j foi Lua" e "Todo homem mortal" so

verdadeiras. Explicitando as variveis podemos reescrever estas proposies na forma:
"Existe um homem x tal que x j foi Lua" e "Para todo homem x, x mortal"

Expresses como para todo, existe, existe um nico chamam-se quantificadores.

- 46 -

Quantificador Universal

Seja p(x) uma sentena aberta em um conjunto U e seja Vp o seu conjunto-verdade.

Considere as seguintes proposies:
"Qualquer que seja x U, p(x)", ou
"Para todo x U, p(x)".
Simbolicamente, escrevemos " x U, p(x)".

Temos,
Se Vp = U ento a proposio " x U, p(x)" verdadeira.
Se Vp U ento a proposio " x U, p(x)" falsa.
Dada a sentena aberta p(x) em U, o smbolo referindo varivel x representa uma
operao lgica que transforma a sentena aberta p(x) numa proposio. A esta operao
lgica d-se o nome de quantificao universal e o smbolo "" chamado quantificador
universal.(*)

Exemplos:
1) " x N, x 0" uma proposio verdadeira.
2) " x Q,

x R" uma proposio falsa.

3) " tringulo ABC, a soma dos seus ngulos internos igual a 180o " uma proposio
verdadeira.

Quantificador Existencial
Seja p(x) uma sentena aberta em um conjunto U e seja Vp o seu conjunto-verdade.
Considere a seguinte proposio:

(*)

O smbolo "" um "A" invertido. Tem sua origem na palavra alem para universalidade que "Allgemeinheit" e
na inglesa "All" que significa todo.

- 47 -

"Existe x U tal que p(x)" que pode ser escrita como "Existe pelo menos um x U
tal que p(x)".
Simbolicamente, escrevemos " x U; p(x)".
Temos,
Se Vp ento a proposio " x U; p(x)" verdadeira.
Se Vp = ento a proposio " x U; p(x)" falsa.
Dada a sentena aberta p(x) em U, o smbolo referindo varivel x representa
uma operao lgica que transforma a sentena aberta p(x) numa proposio. A esta
operao lgica d-se o nome de quantificao existencial e o smbolo chamado de
quantificador existencial.(*)

Exemplos:
1) " x N; x + 1 < 3" uma proposio verdadeira
2) " x Z; 2x + 1 = 0" uma proposio falsa.
3) " um tringulo; seus lados medem 1cm, 1cm e 3cm" uma proposio falsa.(**)

Quantificadores Numricos
Alm dos quantificadores existencial e universal temos expresses da forma
"Existe exatamente um", "Existe no mximo um", "Existe um" (que o quantificador
existencial), "Existem dois" (que significa, existem pelo menos dois), "Existem exatamente
dois ", "Existem no mximo dois", e assim por diante, que ao serem aplicadas transformam
sentenas p(x) em proposies e que so chamadas de quantificadores numricos.

(*)

Trata-se de um "E" invertido.

Temos da geometria que a soma de dois lados quaisquer de um tringulo maior que o terceiro lado.

(**)

- 48 -

Exemplo:
1) "Existem exatamente dois nmeros pares x Z tais que x primo" uma proposio
verdadeira, pois os primos pares so 2 e -2.
1) "Existem no mximo dois nmeros x R tais que x2 + 1 = 0" uma proposio
verdadeira, pois nenhum nmero real satisfaz a x2 + 1 = 0.
3) "Existem dois nmeros x R tais que x3 x = 0" uma proposio verdadeira, pois as
razes dessa equao so os nmeros -1,0, 1.
A expresso "Existe exatamente um" indicada pelo smbolo e tambm pelas
expresses "Existe um nico ", e "Existe apenas um".
Exemplo: " n N; n < 1" uma proposio verdadeira, pois n = 0 o nico nmero
natural que satisfaz a n < 1.

Negao de proposies com quantificadores

Consideremos a proposio Todo nmero primo mpar. A sua negao, "No verdade
que todo nmero primo mpar, equivalente a Existe um nmero primo que no
mpar. Simbolicamente podemos escrever:
~( x primo, x mpar ) x primo, x no mpar.

De uma maneira geral temos:

~ ( x U, p(x) ) x U; ~ p(x).

Mostrar que uma proposio do tipo x U; p(x)" falsa mostrar que x o

U; V( p( x o ) ) = F". Um elemento x o de U que satisfaz a condio acima dito um contraexemplo.

- 49 -

Exemplo: A proposio Todo nmero primo mpar falsa, x0 = 2 um contra-exemplo

pois primo e no mpar.

Consideremos a proposio Existe um tringulo tal que soma dos ngulos internos
menor que 180o ". A sua negao "No existe um tringulo tal que a soma dos ngulos
internos menor que 180o " pode ser escrita na forma "Para qualquer tringulo, a soma dos
ngulos internos no menor que 180o "
Simbolicamente podemos escrever:
~ ( um tringulo x; a soma dos ngulos de x menor que 180o ) tringulo x, a soma
dos ngulos de x no menor que 180o

De modo geral temos,

~( x U; p(x)) x U, ~p(x).
Costuma-se usar o smbolo para indicar a expresso no existe, como no exemplo,
" um tringulo x; a soma dos ngulos de x menor que 180o ".
A negao de uma proposio da forma " x U; p(x)" equivalente proposio " x

U, ~p(x) ou existem dois x U; p(x)".

Exemplo: A negao da proposio "Existe um nico ms do ano em que ocorre o Natal".

" O Natal no ocorre em nenhum ms do ano ou o Natal ocorre em dois meses do ano".
Usando variveis podemos reescrever essas proposies na forma " ms do ano x; o
Natal ocorre em x" e " ms do ano x, o Natal no ocorre em x ou o Natal ocorre em dois
meses do ano".

Na prxima seco de exerccios veremos mais exemplos com quantificadores

numricos.

- 50 -

Quantificao Mltipla

Vamos considerar quantificadores para sentenas com mais de uma varivel. Sejam,
por exemplo, as sentenas "x +y = 1" e " x N; x + y =1" em U = N2. Ambas so
sentenas com duas variveis sendo que, na segunda delas, a varivel x est quantificada.
De modo geral, as variveis de uma sentena se classificam em quantificadas ou
livres. Isto :
Varivel quantificada aquela que se apresenta na sentena acompanhada de
quantificador.
Varivel livre, apresenta - se na sentena sem quantificador.

Dada uma sentena aberta com mais de uma varivel, a aplicao de um

quantificacador a uma das variveis, transforma a sentena aberta em outra com menos uma
varivel livre.
Uma sentena aberta precedida de quantificadores, um para cada varivel, isto , com
todas as variveis quantificadas, uma proposio.
Por exemplo: " x N; x + y =1" no uma proposio pois ainda depende do valor
de y. Porm a sentena " x N, y N; x + y =1" uma proposio e tem valor lgico
verdade.

Exemplos:
1) Sejam U = AB, com A = [ 0, 1] e B = {-1, 0, 1}, e as proposies a seguir:
a) x A, y B; x < y
Esta uma proposio falsa pois para x = 1 em A, temos que nenhum elemento de B
maior que x.
b) x A, y B, x y + 1
Esta proposio verdadeira pois se x A ento x 1. Assim,
para y = -1, y + 1= 2 x, x A
para y = 0, y + 1= 1 x, x A
- 51 -

para y = 2, y + 1= 2 x, x A
c) x A; y B, y2 x
uma proposio verdadeira, pois existe x = 0 A, tal que y B, y2 0.
d) x A, y B; x + y = -1/2
Esta proposio verdadeira pois, para x = 1/2 A e y = 1 B temos x + y = -1/2,
e somente esses nmeros satisfazem a x + y = -1/2.

2) Sejam as proposies:
a) " Todo ser humano possui um pai"
b) "Existe um ser humano que o pai de todos os seres humanos"
Temos que a proposio em a) verdadeira e que a proposio em b) falsa.
Usando variveis x e y que assumem valores no conjunto dos seres humanos, podemos
reescrever essas proposies como: " ser humano x, um ser humano y tal que y pai de
x" e " um ser humano y, tal que ser humano x, y pai de x.".
3) Seja U = N2 e tomemos as proposies:
a) x N, y N; x < y
Esta proposio verdadeira, pois par a cada x N, basta tomar
y = x + 1 N e ento y > x.
b) y N; x N, x y.
Esta proposio falsa pois para todo y N , basta tomar x = y +1 N e ento y
menor que x (Se existisse um tal nmero, esse seria "o maior de todos os nmeros
naturais").
c) x N, y N; x > y
uma proposio falsa, pois x = 0 um contra-exemplo. Isto , no existe y
pertencente N tal que 0 > y.

- 52 -

Negao de Quantificao Mltipla

A negao de uma proposio com mais de um quantificador se obtm mediante a
aplicao sucessiva das regras para a negao de proposies com um quantificador. Como,
por exemplo, dada a sentena aberta p(x,y) em U = A B ento
~ ( x A, y B; p(x, y) ) x A, y B ; ~p(x, y)
~ ( x A, y B; p(x, y) ) x A, y B; ~p(x, y)

Exemplos:
1) A negao da proposio " x N, y N; x + y = 0" " x N; y N, x + y

0
2) A negao da proposio "Para todo x Q, existe um nico y Q tal que x.y = 1"
"Existe x Q tal que, para todo y Q x.y 1 ou existem dois y Q tais que x.y = 1"

Comutatividade dos quantificadores

Os quantificadores de uma dada sentena que so da mesma espcie podem ser
comutados. Tomemos, por exemplo, uma sentena p(x, y) definida em U = A B ento,

x A, y B; p(x, y) y B, x A; p(x, y)
x A, y B; p(x, y) y B, x A; p(x, y)
x A, existem exatamente dois y B; p(x, y) Existem exatamente dois y B, x
A; p(x, y)

Exemplo: Temos as equivalncias,

a) x Z, y N, x + y N y Z, x N, x + y N.
b) x R , y R;

x.y R y R , x R;

x.y R

c) Existe x R e existem exatamente dois y R tais que (x-1).(y2 - 4) = 0 Existem

exatamente dois y R e existe x R tais que (x-1).(y2 - 4) = 0

- 53 -

Os quantificadores de espcies diferentes numa sentena nem sempre podem ser

comutados.

Exemplos:
1) A proposio " x N, y N; y > x" verdadeira, enquanto a proposio " y
N, x N; y > x" falsa.
2) A proposio " ser humano x, um ser humano y; y pai de x" verdadeira e a
proposio " um ser humano y; ser humano x, y pai de x" falsa.

EXERCCIOS
1) Reescreva as proposies usando quantificadores e variveis:
a) Alguns homens so professores
b) Todos os pintores so artistas.
2) Sendo U = {1, 2, 3}, determine o valor lgico de cada uma das seguintes proposies:
a) x U; x2 + x - 6 = 0
b) ~( x U; x2 + x = 6)
c) x U; x2 - 1 < 0
d) ~ ( x U; x - 1 2)
e) ! x U; x < 2
f) Existem dois x U; x 3
3) Reescreva as proposies substituinado as sentenas aberta como indicado :
a) " x R, y R; p(x,y) q(x)" para p(x,y): "x.y =1" e "q(x):"x = 0"
b) " x N e y N; p(x) p(y)" para p(x): "x < 0"
c) " x R e y R, p(x,y) q(x,y)" para p(x,y): "(x,y) = (y,x)" e q(x,y):"x = y"

4) Seja U = {1, 2, ... 9, 10}, determine o valor lgico de cada uma das seguintes
proposies:
a) x U, y U ; x + y = 14
b) x U e y U, x + y < 14
c) x U e y U; x + y > 14
d) x U | y U, x + y = 14
5) Dados os conjuntos A = {-1, 0, 1} e B = [-1, 1], determine o valor lgico das seguintes
proposies:
a) x A, y B | x2 = - y
b) x A e y B, |x y| < 2
c) x A e y B, |x| = - y
d) x A | y B, |y x| 1
e) x A e y A | x2 + y2 1
6) Classifique as proposies em falsa ou verdadeira:
- 54 -

a) a, b, c R, existem dois nmeros reais x tais que ax2 +bx + c = 0.

b) Se U , " x U; p(x) x U; p(x)".
c) a, b, c R, existem no mximo dois nmeros reais x tais que ax2 +bx + c = 0.
7) D a negao das seguintes proposies:
a) ( x U; p(x) ) ( x U; q(x))
b) ( x U; p(x) ) ( x U; ~q(x))
8) D a negao das seguintes proposies:
a) Se neste navio existe algum passageiro com clera ento todos os passageiros ficaro de
quarentena.
b) Todas as pessoas dessa sala sabem ler e sabem escrever.
c) Existem pessoas inteligentes que no sabem ler nem escrever.
|x|
d) Para todo x em R, |x| x e existe x pertencente a R* tal que
1
x
e) Para toda reta r e para todo ponto P, existe uma reta tal que paralela a r e passa por P.
f) Para todo nmero natural, a condio necessria e suficiente para ser par e primo ser
igual a 2.

9) Em uma cidade litornea rigorosamente obedecida a seguinte ordem do prefeito: "Se

no chover, ento todos os bares beira-mar devero estar abertos".
Pode-se afirmar que:
a) Se todos os bares beira mar esto abertos, ento choveu.
b) Se todos os bares beira-mar esto abertos, ento no choveu.
c) Se choveu ento todos os bares beira mar no esto abertos.
d) Se um bar a beira-mar no est aberto ento choveu.

Respostas:

1) a) homem x; x professor.
b) pintor x, x artista.
2) a) V

b) V

c) F

d) F e) V

f) V

3) a) x R, y R; x.y =1 x = 0.
b) x N e y N; x < 0 y 0.
c) x R e y R, (x,y) = (y,x) x = y
4) a) F

b) F

5) a) V

b) F

6) a) F

b) V

c) V
c) F

d) F
d) V

e) V

c) V
- 55 -

7) a) ( x U; ~ p(x)) ( x U; ~q(x)).
b) ( x U; p(x)) ( x U; q(x)).
8) a) Neste navio existe algum passageiro com clera e algum passageiro no ficar de
quarentena.
b) Existe alguma pessoa nesta sala que no sabe ler ou no sabe escrever.
c) Toda pessoa inteligente sabe ler ou escrever.
d) Existe x R, |x| < x ou para todo x R* tal que

|x|
1.
x

e) Existe uma reta r , existe um ponto P, tal que toda reta no paralela a r ou no passa por
P.
f) Existe um nmero natural, tal que par e primo e no igual a 2 ou no par ou no
primo e igual a 2 .

9) d) Se um bar a beira-mar no est aberto ento choveu ( a contrapositiva da afirmao

dada).

- 56 -