Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
Matemtica de bivalente.
Exemplos e Contra-Exemplos:
1) Salvador a capital da Bahia.
3) 2 um nmero par.
4) 2 + 3 < 5
5) x + 2 = 1
(*)
-1-
9) Resolva o exerccio.
10) A matemtica
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.
2 no mpar
2)
2 mpar e 3 primo.
3)
2 mpar ou 3 primo.
4)
5)
-2-
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
bicondicional
no
negao ou modificador
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:
p ~q:
~p q:
ou
No verdade que Jorge Amado escreveu o romance "Mar
Morto" ou Rui Barbosa era baiano.
~(pq)
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
~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-
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(***).
b) p q
c) ~p ~q
d) p ~q
e) (p ~q) (q ~p)
(**)
-5-
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-
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.
Disjuno
(*)
(*)
-8-
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.
(*)
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
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
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
- 10 -
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 irracional
(*)
3 racional
- 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
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.
Exemplos:
a) As proposies p: "2 divide 4" e
q: "-1 = 3"
1 3
" falsa.
2
2
- 12 -
1 3
" falsa. Logo, p
2
2
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"
3) ;
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) .
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
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.
(*)
Atriz italiana
- 15 -
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 -
pq
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
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)
(*)
- 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,
pq
p q p
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
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
pq
~p
~p q
(p q) (~p q)
- 22 -
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
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.
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
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.
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
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.
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
- 30 -
Exemplos:
1) O conjunto verdade da sentena aberta
conjunto
verdade
da
sentena aberta
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),...}
- 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.
ento
podemos
obter
as
sentenas
r:
Tautologias e Contradies
Uma sentena aberta p(x) no conjunto U uma tautologia (ou
tautolgica) se seu conjunto verdade Vp igual a U.
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 -
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} .
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
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".
q(x):
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
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".
- 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.
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
a b e b c e a c F .
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 -
usaremos
equivalncia
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
b) p(x):
x2 1 3
- 39 -
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 -
ou
ou
... x Q.
ou
... x = 4 ....
ou
p(x)
q(x), p(x) q(x), etc. usando os conjuntos-verdade das duas sentenas p(x) e q(x) .
p(x): x2 = 1
q(x): x2 + x - 2 = 0 no conjunto
Vq.
Sejam A
e B subconjuntos do conjunto
o complementar. A sentena
aberta ~
Conjunto vazio
Tautologia
V
Conjunto
universo
U
Conjuno
Interseo
Disjuno
Unio
Implicao
Incluso
Equivalncia
Igualdade
Negao
Complementar
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
b) (AB) C = A(BC)
- 44 -
8. a) A(BC) = (A B)(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 =
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
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
- 46 -
Quantificador Universal
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,
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.
(*)
(**)
- 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.
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.
- 49 -
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
- 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.
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 -
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"
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)
x.y R y R , x R;
x.y R
- 53 -
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 -
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 .
- 56 -