Apostila Lógica

Unidade 1 Sentenas e Representao simblica
Unidade 1 Sentenas, Representao Simblica,

Tautologia, Contradio e Contingncia.

1 Introduo e Conceitos Iniciais:

Geralmente nos expressamos, em portugus, atravs de gestos da fala e da escrita. No caso
da escrita utilizamos interrogaes, exclamaes e conjunes expressadas em sentenas, que por
sua vez, podem ser verdadeira ou falsa. Existem sentenas do tipo:

- A nota obtida em lgica depende do nmero de questes que acertar.
- Dez menor do que sete.
- Existem formas de vida em outros planetas.

Ou seja, observa-se que as sentenas so passveis de serem verdadeiras ou falsas. E
justamente a interpretao da veracidade de sentenas que a lgica trata.

Proposio: um conjunto de smbolos que exprimem um pensamento de sentido
completo. Ou simplesmente, uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

- A lua um satlite da terra. (verdadeira)
- 5 > t . (falsa)
- Vasco da Gama descobriu o Brasil. (falsa)

Valores lgicos de uma proposio: O valor lgico de uma proposio V se a proposio
for verdadeira e F se ela for falsa.

Proposies simples e composta: Proposio simples aquela que expressa uma nica
idia, ou seja, no contm nenhuma outra proposio como parte integrante de si mesma. Em geral
so referenciadas por letras minsculas. J uma proposio composta aquela formada por uma
combinao de mais de uma proposio simples, estas so em geral referenciadas por letras
maisculas. Exemplo:

q: Pedro estudante.
r: 25 quadrado perfeito.
Q: Carlos careca e Pedro estudante.
R: Se carlos careta, ento feliz.

Quando deseja-se destacar que uma proposio composta P formada pela combinao de
proposies simples q, r, s, ...; ento escreve-se:

( ) K , s , r , q P

Na lgica matemtica temos duas regras fundamentas:
I Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
I I Princpio do terceiro excludo: Uma proposio falsa ou verdadeira, no havendo
um terceiro caso.

2 Conectivos Lgicos:

Os conectivos so expresses utilizadas para compor novas proposies. Exemplos:

- P: O nmero 6 par e o nmero 8 cubo perfeito.
- Q: No est chovendo.
- R: O tringulo retngulo ou issceles.
- S: O tringulo equiltero se e somente se equingulo.
- T: Se Jorge engenheiro, ento sabe clculo.

Assim, na lgica, destaca-se os conectivos usuais

e no ou se e somente se se ... ento

3 Tabela Verdade:

No caso de proposies compostas recorre-se ao uso da tabela verdade para verificar o valor
lgico da proposio, ou seja, a tabela retrata todos os possveis valores lgicos.
Exemplos:

1. Considerando a proposio ( ) r , q p tm-se:

q r
V V
V F
F V
F F

2. Considerando agora a proposio ( ) s , r , q p tm-se:

q r s
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Temos 4 2
2
= combinaes
Temos 8 2
3
= combinaes
3. Considerando agora a proposio ( ) t , s , r , q p tm-se:

q r s t
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

A notao mais usual para o valor lgico de uma proposio P V(P), assim se P
verdadeira os falsa escreve-se; V(P) = V ou V(P) = F.
Por exemplo, a proposio:
R: 2 raiz da equao 0 4 3
2
= + x x
tm valor lgico V(R) = F.

4 Exerccios:

1. Determinar o valor lgico de cada uma das seguintes proposies:

a) O nmero 17 primo. resp: verdadeiro b) Tiradentes morreu afogado. resp: falso
c) 0,13131313... uma dzima peridica.
resp: Verdadeiro
d) As diagonais de um paralelogramo so
iguais. resp: Falso
e) 2 60 30
2 2
= + sen sen . resp: Falso
f) 0, 4 e -4 so razes da equao
0 16
3
= x x . resp: verdadeiro
g) ( )
2 2 2
5 3 5 3 + = + . resp: Falso
h) b) 7 1 < . resp: falso
i) Todo nmero divisvel por 5 termina
por 5. resp: Falso
j) O nmero 125 cubo perfeito. resp:
verdadeiro
k)
6 4
t t
tg tg < . resp: Falso
l) O produto de dois nmeros mpares um
nmero mpar. resp: verdadeiro
Temos 16 2
4
= combinaes
5 Operaes Lgicas Sobre Proposies:

Negao (~): A negao da proposio P representada por ~P, cuja tabela verdade fica:

P ~P
V F
F V

Exemplo:
1. P: 5 3 2 = + ~P: 5 3 2 = +
2. R: Carlos mecnico ~R: Carlos no mecnico
3. S: todos os homens so elegantes ~S: Nem todos os homens so elegantes
4. T: Nenhum homem elegante ~T: Algum homem elegante

Conjuno ( ., .): Dadas duas proposies P e Q, a conjuno representada por P.Q ou
P.Q cuja tabela verdade fica:

P Q P.Q
V V V
V F F
F V F
F F F

Exemplo:
1. P: A neve branca
Q: 5 2 <
P.Q : A neve branca e 5 2 <
2. R: 4 > t
S: 0
2
=
t
sen
R.S: 4 > t e 0
2
=
t
sen

Disjuno ( v, +): Dadas duas proposies P e Q, a disjuno representada por PvQ ou
P + Q cuja tabela verdade fica:

P Q PvQ
V V V
V F V
F V V
F F F

Exemplo:
1. P: A neve branca
Q: 5 2 <
PvQ : A neve ou branca e 5 2 <
2. R: 4 > t
S: 0
2
=
t
sen
RvS: 4 > t ou 0
2
=
t
sen

Disjuno Exclusiva (

v , ): Dadas duas proposies P e Q, a disjuno exclusiva
representada por P

v Q ou P Q cuja tabela verdade fica:
A tabela verdade de duas proposies H e K, da disjuno exclusiva fica:

P Q P

v Q
V V F
V F V
F V V
F F F

Exemplo:
1. Considere as proposies P e Q abaixo:
P: Carlos mdico ou professor.
Q: Mrio alagoano ou gacho.

Em P, Carlos pode ser mdico; pode ser professor ou ainda pode ser mdico e professor.
Mas em Q, Mrio alagoano ou gacho. Assim em P temos a disjuno inclusiva (ou simplesmente
disjuno) enquanto que em Q temos a disjuno exclusiva.

Condicional ( ): Dadas as proposies P e Q, a condicional representada por PQ
cuja tabela verdade fica:

P Q PQ
V V V
V F F
F V V
F F V

Exemplo:
1. P: O ms de maio tm 31 dias
Q: A Terra plana
PQ : Se o ms de maio tm 31 dias, ento a
terra plana
2. R: Dante escreveu os lusadas
S: Cantor criou a teoria dos
Conjuntos
RS: Se Dante escreveu os lusadas, ento
Cantor criou a teoria dos conjuntos.

OBS: Uma condicional PQ no afirma que o consequente Q se deduz ou consequncia
do antecedente P. O que o condicional afirma uma relao entre os valores lgicos de P e
Q de acordo com a tabela verdade.

Bicondicional ( ): Dadas as proposies P e Q, o bicondicional representado por
PQ cuja tabela verdade fica:

P Q PQ
V V V
V F F
F V F
F F V

O bicondicional tambm pode ser lido da seguinte maneira:

i) P condio necessria e suficiente para Q, e
ii) Q condio necessria e suficiente para P

Exemplo:
1. P: Lisboa a capital de Portugal
Q: 3
4
=
t
tg
PQ : Lisboa a capital de Portugal se e
somente se 3
4
=
t
tg
2. R: A terra plana
S: 2 um nmero racional
RS: A terra plana se e somente se 2 um
nmero racional

6 Exerccios:

1. Sejam as proposies,
P: Est frio
Q: Est chovendo
Traduzir para a linguagem corrente as seguintes proposies.

(a) P ~ No est frio.
(b) Q P . Est frio e est chovendo. Est frio e chovendo.
(c) Q P v Est frio ou est chovendo. Est frio ou chovendo.
(d) P Q Est chovendo se e somente se est frio.


(a) 10 5 5 7 2 3 = + = + e Resp: F
(b) 4 2 2 0 1 = + . > Resp: V
(c) Roma a capital da Frana ou 1 45 = tg Resp: V
(d) racional t v = 10 5
2
Resp: F
(e) 9 4 4 6 2 3 = + = + ento Se Resp: V
(f) 2 2 2 3
0
= > Resp: F
(g) 0 1 = = t t sen se somente e se tg Resp: F
(h) 2 2 1 1 = = Resp: V
(i) No verdade que 12 um nmero mpar. Resp: V
(j) ( ) 4 1 1 7 3 3 4 2 2 = + = + = + Resp: V
(k) ( ) 1 0 0 0 = = cos ou sen ~ Resp: F
(l) ( )
3 2 3
4 4 8 2 = = e ~ Resp: F

3. Determinar ( ) p V em cada um dos seguintes casos:
(a) ( ) ( ) F q p V e F q V = . = Resp: ( ) ( ) F p V ou V p V = =
(b) ( ) ( ) F q p V e F q V = v = Resp: ( ) F p V =

4. Determinar ( ) p V e ( ) q V em cada um dos seguintes casos:
(a) ( ) ( ) F q p V e V q p V = . = Resp: ( ) ( ) V q V e F p V = =
(b) ( ) ( ) V q p V e V q p V = . = Resp: ( ) ( ) V q V e V p V = =

7 Tabela Verdade de Uma Proposio Composta:

Com as proposies simples do tipo p, q, r, s, ... e fazendo uso dos conectivos
v . , , , ~, possvel construir proposies compostas tais como:

( ) ( ) q ~ p ~ q , p P . =

onde, com o emprego da tabela verdade possvel verificar todas as possibilidades de V e F.

Exemplo:
1. Construir a TV das proposies seguintes.

a) ( ) ( ) q ~ p ~ q , p P . =

p q ~q P.~q ( ) q ~ p ~ .
V V F F V
V F V V F
F V F F V
F F V F V

b) ( ) ( ) r ~ q r ~ p r , q , p P . v =

p q r ~r pv~r q.~r pv~r q.~r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F

8 Valor Lgico de Uma Proposio Composta:

Dada uma proposio ( ) ,... s , r , q , p P pode-se determinar seu valor lgico conhecendo, a
priori, os valores lgicos de p, q, r, s, ...
Exemplo:
1. Sabendo que ( ) V p V = e ( ) F q V = , determinar ( ) P V , onde

( ) ( ) ( ) q ~ p ~ q p ~ q , p P . v = .

Resoluo:
Mediante os valores lgicos de p e q pode-se obter:

( ) ( ) ( ) ( ) ( ) V F F V F V ~ F ~ V ~ F V ~ P V = = . = . v =

2. Sejam as proposies 3 = t : p e 0
2
=
t
sen : q . Determine o valor lgico da
proposio: ( ) ( ) ( ) q p p q p q , p P . = .

Resoluo:
Como ( ) F P V = e ( ) F q V = ento tm-se:

( ) ( ) ( ) ( ) V V V F F V F F F F F P V = = = . =

9 Precedncia e Eliminao de Parntesis:

O uso de parntesis se faz necessrio para evitar qualquer ambiguidade, assim, por exemplo,
a proposio r q p v . pode ser escrita como:

1) ( ) r q p v .
2) ( ) r q p v .

que no tm o mesmo significado (basta construir a TV de ambas ).

A ordem de precedncia para os conectivos

1) ~, o mais fraco
2) v . e
3)
4) , o mais forte,

portanto se tivssemos a proposio r s q p . , concluiramos que ela bicondicional. Para
convert-la numa condicional ou numa conjuntiva deve-se escrev-las respectivamente nas formas:

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

Pode-se fazer a eliminao de parntesis quando um mesmo conectivo aparece
sucessivamente repetido, fazendo associao a partir da esquerda, por exemplo,

( ) ( ) ( ) ( ) ( ) p ~ q p ~ ~ v . ( ) ( ) ( ) ( ) ( ) p ~ q p ~ ~ v .

( ) p ~ q p ~~ v . ( ) ( ) p ~ r q ~ p . . .

10 Exerccios:

P: Est frio
Q: Est chovendo

(a) Q ~ P Se est frio, ento no est chovendo.
(b) Q ~ Pv Est frio ou no est chovendo.
(c) Q ~ P ~ . No est frio e no est chovendo.
(d) Q ~ P Est frio se e somente se no est chovendo.
(e) P Q ~ P . Se est frio e no est chovendo, ento est frio.

P: Joo gacho
Q: Jaime paulista

(a) ( ) Q ~ P ~ . No verdade que Joo gacho e Jaime no paulista.
(b) P ~~ No verdade que Joo no gacho.
(c) ( ) Q ~ P ~ ~ v No verdade que Joo no gacho ou que Jaime no
paulista.
(d) Q ~ P Se Joo gacho, ento Jaime no paulista.
(e) Q ~ P ~ Joo no gacho se e somente se Jaime no paulista.
(f) ( ) P Q ~ ~ No verdade que, se Jaime no paulista, ento Joo
gacho.

P: Marcos alto
Q: Marcos elegante
Traduzir para a linguagem simblica as seguintes proposies.

(a) Marcos alto e elegante. Q P .
(b) Marcos alto, mas no elegante. Q ~ P.
(c) No verdade que marcos baixo ou elegante. ( ) Q P ~ ~ v
(d) Marcos no nem alto e nem elegante. Q ~ P ~ .
(e) Marcos alto ou baixo e elegante. ( ) Q P ~ P . v
(f) falso que Marcos baixo ou que no elegante. ( ) Q ~ P ~ ~ v

4. Construir a T.V. das seguintes proposies:

(a) P Q ~ P .
(b) Q ~ P ~
(c) ( ) Q ~ P ~ ~ v


11 Lista de Exerccios. 1

P: Suely rica
Q: Suely feliz
Traduzir para a linguagem simblica as seguintes proposies.

(a) Suely pobre e infeliz. Resp: Q ~ P ~ .
(b) Suely pobre ou rica, mas infeliz. Resp: ( ) Q ~ P P ~ . v

2. Traduzir para a linguagem simblica as seguintes proposies matemticas.

(a) ( ) 0 0 0 = > = + z ou z e y x Resp: ( ) 0 0 0 = v > . = + z z y x
(b) ( ) 0 0 = > + = z ou x z y e x Resp: ( ) 0 0 = v > + . = z x z y x
(c) ( ) 0 0 0 < = = y e x ou x Resp: ( ) 0 0 0 < . = v = y x x
(d) ( ) ( ) 0 = < = = z e y x ou t z e y x Resp: ( ) ( ) 0 = . < v = . = z y x t z y x
(e) 2 0 = > y ento x Se Resp: 2 0 = > y x
(f) 0 2 > = + z ento y x Se Resp: 0 2 > = + z y x

3. Determinar o valor lgico (V ou F) da proposio r ~ q p . , sabendo que
( ) ( ) V r V p V = = .

Resoluo:

Em termos de valor lgico temos que: Se ( ) V q V = , ento
( ) F F V F V V V ~ V V r ~ q p V = = . = . = . . Mas, se ( ) F q V = , ento
( ) F F V F F V V ~ F V r ~ q p V = = . = . = . . Portanto, independentemente do
valor lgico de q a proposio ser sempre falsa.

4. Suprimir o maior nmero possvel de parntesis na proposio
( ) ( ) ( ) ( ) ( ) ( ) q ~ ~ p q r q . v .

Resoluo:

( ) ( ) ( ) ( ) ( ) ( ) q ~ ~ p q r q . v ( ) ( ) ( ) ( ) ( ) q ~ ~ p q r q . v
( ) ( ) q ~~ p q r q . v

5. Determinar o valor lgico (V ou F) das seguintes proposies:

a) r p q p v . , sabendo que ( ) ( ) V r V p V = = . Resp: Verdadeira
b) ( ) ( ) r p ~ q ~ p v . , sabendo que ( ) F q V = e ( ) V r V = . Resp: Verdadeira

6. Suprimir o maior nmero possvel de parntesis nas proposies:

a) ( ) ( ) ( ) ( ) ( ) ( ) q r q q ~ ~ p v . Resp: ( ) q r q q ~~ p v .
b) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) q r q ~ r ~ q p . . v v Resp: ( ) ( ) q r q ~ r ~ q p . . v v

7. Sabendo que as proposies 0 = x e y x = so verdadeiras e que as proposies
z y = e t y = so falsas, determinar o valor lgico de cada uma das seguintes
proposies:

a) z y y x x = = . = 0 Resp: Verdadeira
b) t y z y y x = = v = Resp: Falsa

8. Sabendo que os valores lgicos das proposies p e q so respectivamente F e V,
determinar o valor lgico da proposio ( ) ( ) ( ) ( ) p ~ q q ~ p ~ p q ~ p v . . .
Resp: falsa

12 Tautologia, Contradio e Contingncia:

Tautologia toda proposio composta que verdadeira independentemente dos valores
verdade das proposies simples que h compem.

Exemplo:
1. Construir a TV das seguintes proposies:

a) ( ) p ~ p ~ .

p ~p p.~p ( ) p ~ p ~ .
V F F V
F V F V

b) ( ) p q ~ q p . v

P q ~q q.~q ( ) q ~ q p . v ( ) p q ~ q p . v
V V F F V V
V F V F V V
F V F F F V
F F V F F V

Observao: Se ( ) ... , r , q , p P uma tautologia, ento ( ) ... , R , Q , P P
0 0 0
tambm
tautologia, quaisquer que sejam as proposies
0 0 0
R , Q , P .

Contradio toda proposio cujo valor lgico no tautolgico, ou seja, a ltima coluna
sempre falsa.

Exemplo
1. Construir a TV das seguintes proposies:

a) p ~ p.

p ~p p.~p
V F F
F V F

tautologia
tautologia
contradio

b) ( ) q ~ p p ~ . .

p q ~q
q ~ p. p ~
( ) q ~ p p ~ . .
V V F F F F
V F V V F F
F V F F V F
F F V F V F

Observao: Se ( ) ... , r , q , p P uma contradio, ento ( ) ... , R , Q , P P
0 0 0
tambm
contradio, quaisquer que sejam as proposies
0 0 0
R , Q , P .

Contingncia toda proposio composta que no tautolgica nem contradio.

Exemplo:
3. Construir a TV da seguinte proposio:

( ) 3 3 = = . = x y x x

3 = x
y x =
3 = x 3 = = x y x
( ) 3 3 = = . = x y x x
V V F F F
V F F V V
F V V V F
F F V V F

13 - Exerccio:

1. Determinar quais das seguintes proposies so tautolgicas, contraditrias, ou
contingentes:

a) ( ) q p ~ p b) ( ) q p q p ~ v

c) ( ) ( ) p q q p d) ( ) ( ) p q q p

e) ( ) q ~ p q ~ p v f) ( ) q p q ~ p ~ v

g) ( ) r q p p v v h) ( ) r q p q p v .

Resp: (a), (b), (c), (g), (h) tautolgicas (d), (e), (f) contingncias
contradio
contingncia
14 Implicao lgica:

A palavra implicar significa: Originar, produzir como conseqncia, ser causa de: ...uma
filosofia definitiva, ...implicaria a imobilidade do pensamento humano (Antero de Quental).
[ DI CMAXI Michaelis Portugus - Moderno Dicionrio da Lngua Portuguesa ]

(Teorema): ( ) ( ) ... , r , q , p Q ... , r , q , p P se e somente se a condicional,
( ) ( ) ... , r , q , p Q ... , r , q , p P tautolgica.

Aqui, deve-se reforar que: os smbolos e so distintos pois,

- O condicional o resultado de uma operao lgica. Por exemplo, se
considerarmos as proposies p e q, pode-se obter uma nova proposio expressa
por q p .
- J a implicao, estabelece uma relao. Por exemplo, que a condicional q p
tautologia.

Exemplo:
1. Demonstre, mediante o teorema acima descrito, que q p ~ p . .

Resoluo:

Para provarmos que q p ~ p . deve-se mostrar que q p ~ p . tautolgica, ou seja; da
T. V. tm-se:

p q p ~ p ~ p. q p ~ p .
V V F F V
V F F F V
F V V F V
F F V F V

assim pelo teorema tm-se que q p ~ p . .

2. Considere a proposio ( ) 4 4 < . < v = x x y x , o que se poderia concluir a respeito de
x e y ?

Resoluo:

y x =
4 < x
4 < v = x y x
V V V F F
V F V V V
F V V F F
F F F V F
tautologia
( ) 4 4 < . < v = x x y x
4 < x
Mediante a T. V. pode-se dizer que

( ) y x x x y x = < . < v = 4 4

( ) y x x x y x < < . < v = 4 4

15 Equivalncia Lgica

A palavra equivalncia significa: Igualdade de valor, estimao entre duas coisas;
correspondncia. [DI CMAXI Michaelis Portugus - Moderno Dicionrio da Lngua Portuguesa]

(Teorema): ( ) ( ) ... , r , q , p Q ... , r , q , p P se e somente se a bicondicional,
( ) ( ) ... , r , q , p Q ... , r , q , p P tautolgica.

importante lembrar que os smbolos e so distintos pois,

- O bicondicional o resultado de uma operao lgica, enquanto que a
equivalncia estabelece uma relao. Por exemplo, que a condicional q p
tautologia.

Exemplo:
1. Demonstre, mediante o teorema acima descrito, que a proposio bicondicional
( ) ( ) q p c q ~ p . uma equivalncia; onde ( ) F c V = .

Resoluo:

Para provarmos que ( ) ( ) q p c q ~ p . representa ( ) ( ) q p c q ~ p . deve-se
mostrar que ( ) ( ) q p c q ~ p . tautolgica, ou seja; da T. V. tm-se:

p q
c
q ~ q ~ p. c q ~ p . q p
( ) ( ) q p c q ~ p .
V V F F F V V V
V F F V V F F V
F V F F F V V V
F F F V F V V V

assim pelo teorema tm-se que ( ) ( ) q p c q ~ p . .

2. Considerando as seguintes proposies verifique a equivalncia mediante a T. V:

a) p p ~~

Resoluo: A T. V. para a proposio dada como:

tautologia

p p ~ p ~~
V F V
F V F

b) p p p ~


p p ~ p p ~
V F V
F V F

c) q p ~ q p v


p q p ~ q p ~ v q p
V V F V V
V F F F F
F V V V V
F F V V V

OBS: Esta equivalncia de grande importncia, pois aqui a condicional pode ser trocada
por uma disjuno !

d) ( ) ( ) p q q p q p .


p q q p p q
( ) ( ) p q q p .
q p
V V V V V V
V F F V F F
F V V F F F
F F V V V V

OBS: Esta equivalncia tambm de grande importncia, pois aqui a bicondicional pode ser
trocada por uma conjuno !
idnticas
idnticas
idnticas
idnticas
16 Exerccios

1. Mostre que as equivalncias so verdadeiras

a) ( ) ( ) ( ) r q p r q p . verdadeira.

Resoluo:

p q
r
q p . r q p . r q
( ) r q p ( ) ( ) ( ) r q p r q p .
V V V V V V V V
V V F V F F F V
V F V F V V V V
V F F F V V V V
F V V F V V V V
F V F F V F V V
F F V F V V V V
F F F F V V V V

b) ( ) ( ) q ~ p ~ q p q p . v .


p q q p q p . p ~ q ~ q ~ p ~ .
( ) ( ) q ~ p ~ q p . v .
V V V V F F F V
V F F F F V F F
F V F F V F F F
F F V F V V V V

OBS: Esta equivalncia importante, pois a bicondicional pode ser trocada por uma disjuno !

tautologia
idnticas
17 Lista de Exerccios. 2

1. Sejam as proposies P: Carlos fala Francs, Q: Carlos fala Ingls, R: Carlos fala
Alemo. Traduzir para a linguagem simblica as seguintes proposies:

a) Carlos fala Francs ou Ingls, mas no fala Alemo.
b) Carlos fala Francs e Ingls, ou no fala Francs e Alemo.
c) falso que Carlos fala Francs mas que no fala Alemo.
d) falso que Carlos fala Ingls ou Alemo mas que no fala Francs.

2. Traduzir para a linguagem simblica as seguintes proposies matemticas.

a) 1 2 1 > = = y ento z ou x Se .
b) 2 1 5 = = > x e x ento Z Se .
c) 5 5 < + > + = z y e z x ento y x Se .


a) 12 8 4 9 7 2 = + = + e
b) irracional 3 1 0 . >
c)
4 2
2 2
t t
tg sen = v =
d)
2
1
6
0 1 = =
t
sen ento Se
e) 2 2 3
3
= =
t
tg
f) 1
4 2
1 < >
t t
cos sen

4. Determinar ( ) p V em cada um dos seguintes casos:

a) ( ) ( ) V q p V e F q V = = b) ( ) ( ) F q p V e V q V = =

5. Determinar ( ) p V e ( ) q V em cada um dos seguintes casos:

(a) ( ) ( ) F q p V e V q p V = v = (b) ( ) ( ) V q p ~ V e F q p V = v =

6. Construir as tabelas verdade das seguintes proposies:

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

7. Sejam as proposies ( ) ( ) x ctg x tg : P = t e 2 < t : Q . Determinar o valor lgico de
cada uma das seguintes proposies:

a) ( ) q ~ p ~ q p ~ v .
b) ( ) ( ) ( ) q ~ p ~ q p ~ p . v v v

8. Sabendo que a condicional q p verdadeira, determinar o valor lgico da condicional
r q r p . .

9. Mostrar que:

a) q p q b) p q p q . c) ( ) 0 0 = = . = = x y x y x x

10. Mostre que q p implica no q ~ p .

11. Mostre que as proposies p e q so equivalentes em cada um dos seguintes casos:

a) ( ) 16 3 1 4 3 1
2
= + = + : q ; : p
b) 0 0 1 0 = = cos ; sen : p
c) ( ) R z , y , x z y z x : q ; y x : p e + = + =
d) a b : q ; b a : p
e)
2 2 2
c b a : q ; A em retngulo ABC tringulo O : p + =

12. Demonstre por tabela verdade as seguintes equivalncias:

a) ( ) p q p p v .
b) ( ) q ~ r ~ p r q p .
c) ( ) ( ) r q p r p q p v v

Unidade 2 Lgica Proposicional (lgebra das Proposies)
Unidade 2 Lgica Proposicional (lgebra das
Proposies)

1 Introduo:

A lgebra das proposies constitui-se numa ferramenta matemtica de grande importncia,
pois atravs dela pode-se operar sobre proposies utilizando-se de equivalncias notveis.
Uma de suas aplicaes consiste no fato da simplificao de trechos de cdigos
computacionais, pois quanto mais simples o cdigo mais simples ser de ser entendido e poder ser
executado com maior rapidez.

2 Propriedades da Conjuno:

Considerando as proposies q , p e r ; e sejam as proposies t e c tal que ( ) V t V = e
( ) F c V = . Assim so vlidas as seguintes propriedades:

a) INDEPOTENTE: p p p .
Ex.: 1 1 1 = = . = x x x
Obs.: Dizer por exemplo, que vlida a propriedade indepotente o mesmo que verificar o
teorema relativo equivalncia (pgina 19), ou seja:

p p p . p p p .
V V V
F F V

como p p p . tautolgica, ento pelo teorema da equivalncia temos que p p p . .

Daqui por diante, para as prximas propriedades, as equivalncias descritas so vlidas, uma
vez que sua validade pode ser aferida segundo o mesmo raciocnio descrito para a propriedade
indepotente.

b) COMUTATIVA: p q q p . .
Ex.: 3 4 4 3 > . < < . > t t t t
c) ASSOCIATIVA: ( ) ( ) r q p r q p . . . .
Ex.: ( ) ( ) 3 1 0 3 1 0 < . > . = < . > . = x x x x x x
d) IDENTIDADE: p t p . e c c p .

Ex.: 1 0 1 = > . = x x x e 0 0 1 < < . = x x x
Elemento absorvente Elemento neutro
3 Propriedades da Disjuno:

Considerando novamente as proposies q , p e r ; e ainda t e c onde ( ) V t V = e
( ) F c V = , ento so vlidas as seguintes propriedades:

a) INDEPOTENTE: p p p v
Ex.: 1 1 1 s s v s x x x
b) COMUTATIVA: p q q p v v
Ex.: b a c b c b b a > v < < v >
c) ASSOCIATIVA: ( ) ( ) r q p r q p v v v v
Ex.: ( ) ( ) 4 2 1 4 2 1 < v > v = < v > v = x x x x x x
d) IDENTIDADE: t t p v e p c p v

Ex.: 0 0 1 > > v = x x x e 0 0 0
2
= < v = x x x

4 Propriedades da Conjuno e Disjuno:

Sejam as proposies q , p e r ; ento tm-se que:

a) DISTRIBUTIVAS:
(i) ( ) ( ) ( ) r p q p r q p . v . v . (ii) ( ) ( ) ( ) r p q p r q p v . v . v
b) ABSORO:
(i) ( ) p q p p v . (ii) ( ) p q p p . v
c) REGRAS DE DE MORGAN (1806-1871):
(i) ( ) q ~ p ~ q p ~ v . (ii) ( ) q ~ p ~ q p ~ . v

5 Negao da Condicional e da Bicondicional:

Dadas as proposies q , p tm-se que a negao da condicional :
( ) q ~ p q p ~ .
e a negao da bicondicional ser;
( ) ( ) ( ) q p ~ q ~ p q p ~ . v . .

Elemento absorvente Elemento neutro
6 Exerccios:

1. Dar a negao em linguagem corrente da proposio:
Rosas so vermelhas e violetas so azuis.
Resoluo:

Denotando azuis so violetas : q e vermelhas so rosas : p , ento teremos que a prop.
Composta :

q p P . =
logo a negao de P ser:

( ) q ~ p ~ q p ~ P ~ v = . =

Portanto em linguagem corrente teremos

Rosas no so vermelhas ou violetas no so azuis

2. Demonstrar as seguintes regras de DE MORGAN para trs proposies:

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

3. Simplifique a expresso condicional, abaixo, de um trecho de programa pascal, aps reescreva o
comando.

IF (FLUXOEXT>FLUXOINT) AND NOT ( (FLUXOEXT>FLUXOINT) AND (PRESSO<1000) ) THEN
COMANDO 1
ELSE
COMANDO 2.

Resoluo:

Denotando 1000 < > presso : b int; fluxo fluxoext : a , ento teremos que a expresso
condicional ser dada por

( ) b a ~ a E . . =
que pode ser simplificada conforme:

( ) ( ) ( ) ( ) ( ) ( ) b ~ a b ~ a F b ~ a a ~ a b ~ a ~ a b a ~ a E . = . v = . v . = v . = . . =

portanto teremos que

( ) b ~ a E . =
que equivalente a expresso original.

4. Considere o seguinte fragmento de um programa pascal:

for contador := 1 to 5 do
begin
read (a);
if ( ) ( ) ( ) ( ) ( ) 1 5 0 5 7 10 2 0 5 . a * . sqrt or . a * and . a > < < then
writeln (a);
end;

Os valores de entrada para a so 1.0, 5.1, 2.4, 7.2 e 5.3. Quais so os valores de sada ?

Resoluo:

Sadas:

5. Reescreva o programa pascal a seguir com uma expresso condicional simplificada:

6. (a) Verifique que B A equivalente a B A v ' . (b) usando a parte (a) e outras equivalncias,
escreva a negao da sentena Se Pedro passar em seu curso de fsica, ento ele se formar.

( ) ( ) ( )
( ) ( ) ( ) numero odd and valor valor not or
numero odd or valor valor not
2 1
2 1
<
<

comando1
else
comando2;

if
7 Regras de inferncia para a lgica Proposicional:

Dadas as proposies
n
P ..., , P , P , P
3 2 1
e Q (proposies quaisquer), denomina-se
argumento , a toda afirmao de que; dada a sequncia

n
P ..., , P , P , P
3 2 1

tm-se como consequncia uma proposio final Q .
As proposies
n
P ..., , P , P , P
3 2 1
so denominadas premissas do argumento e Q
denominada concluso do argumento. Em geral indica-se um argumento como:

n
P ..., , P , P , P
3 2 1
| Q
ou na forma mais usual

Q
P
P
P
P
n
M
3
2
1

e este vlido se e somente se a concluso Q verdadeira toda vez que as premissas
n
P ..., , P , P , P
3 2 1
so verdadeiras, logo dizemos que a verdade das premissas incompatvel com a
falsidade da concluso.

OBSERVAO: As premissas so verdadeiras ou admitidas como tal, a lgica s se preocupa com
a validade dos argumentos e no com a verdade ou falsidade das premissas e das concluses. A
validade de um argumento depende exclusivamente da relao existente entre as premissas e a
concluso. Portanto dizer que um argumento vlido significa afirmar que as premissas esto
relacionadas de tal modo com a concluso que no possvel ter a concluso falsa se as premissas
so verdadeiras.

Para demonstrar o argumento
n
P ..., , P , P , P
3 2 1
| Q , pode-se fazer uso da T. V. e do
teorema anterior. Se tivssemos cinco proposies simples compondo um argumento,
necessitaramos construir uma T. V. de 32 2
5
= linhas, tarefa esta muito trabalhosa, porm correta.
Para contornar este tipo de problema, faz-se a validao de uma argumentao atravs das regras de
inferncia, minimizando assim o trabalho a ser desenvolvido.

Teorema: Um argumento
n
P ..., , P , P , P
3 2 1
| Q vlido se e somente se a condicional
Q P ..., , P , P , P
n

3 2 1
tautolgica.

Uma outra considerao a ser comentada : Considerando o argumento

chamamos de condicional associada a forma ( ) ( ) ( ) ( ) s r ~ s ~ q r ~ p q ~ p v v . . . .

Por outro lado, se considerarmos a condicional associada
( ) ( ) ( ) ( ) q ~ p s s r q s ~ r q p . v . . v

o argumento correspondente a esta condicional ser

s r q , s ,~ r q p v v | q ~ p s . ,

que tambm pode ser expressado sob a forma

q ~ p s
s r q
s ~
r q p
.
v
v
.

8 Argumentos vlidos Fundamentais:

Os argumentos vlidos fundamentais so utilizados para executar passo a passo uma
deduo ou demonstrao de um outro argumento mais complexo. Os argumentos fundamentais
so:

1) Adio (AD)
i)
q p
p
v
ii)
p q
p
v

2) Simplificao (SIMP)
i)
p
q p .
ii)
q
q p .

3) Conjuno (CONJ)
i)
q p
q
p
.
ii)
p q
q
p
.

s ~ q , r ~ p , q ~ p v . | ( ) s r ~ v

1
P
2
P
3
P Q

4) Absoro (ABS)

( ) q p p
q p
.

5) Modus Ponens (MP)

q
p
q p

6) Modus Tollens (MT)

p ~
q ~
q p

7) Silogismo Disjuntivo (SJ)

i)
q
p ~
q p v
ii)
p
q ~
q p v

8) Silogismo Hipottico (SH)

r p
r q
q p

9) Dilema Construtivo (DC)

s q
r p
s r
q p
v
v

10) Dilema Destrutivo

r ~ p ~
s ~ q ~
s r
q p
v
v

A validade dos 10 argumentos pode ser facilmente verifica mediante o teorema anterior, por
exemplo, a seguir verificada a validade do argumento Silogismo Hipottico

p q
r
q p r q r p r q q p .
( ) ( ) r p r q q p .
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V

Com o auxlio das regras de inferncia pode-se deduzir outras regras, ou demonstrar a
validade de outras regras, por exemplo; o que se pode concluir, abaixo, a partir das premissas
dadas ?

Exemplo: Verifique a validade do argumento: r p , q p . | q .

9 Exerccios de Aprendizagem:

1. Demonstre a validade dos seguintes argumentos:

a) s r p , q p v . | s p . b) ( ) p , q p , r q p | r
c) j e , j ~ t ~ , s e . | s t v d) s t , q t , p , r . q p + ' | s

2. O argumento abaixo vlido ?

z x z y , z y z x , z x y x , z x y x = . = > v > < = = = | z y >

DD
( )
( ) q ~ q p ~ : Q
s r ~ r ~ : P
s r q : P
r q p : P
v .
. v
.
.
3
2
1

q
p
r p
q p
.

4
3
2
1

2, SIM
1,2, MP
3. Prove que o argumento seguinte vlido:
Admitindo a linguagem assembly.
Se usamos a linguagem asssembly, ento o programa ser executado mais rapidamente.
Se usamos a linguagem asssembly, o programa ter mais linhas de cdigo.
Portanto o programa ser executado mais rapidamente e ter mais linhas de cdigo

4. Verifique a validade dos seguintes argumentos:

a)
16 16
16 16
= =
=
= = =
x y
x y
y ou x , Logo
y x
y x ento , y e x Se

b)
. lgica em reprovado fui , to tan Por
. Trabalhei . lgica em aprovado serei ou Trabalho
. estudar posso no trabalho Se

10 Lista de Exerccios:

1. Usando todas as equivalncias j estudadas at o momento e as propriedades da lgebra de
proposies simplifique as seguintes proposies:

a) ( ) q ~ p ~ ~ , sugesto use a equivalncia v V' V
b) ( ) ( ) q p ~ q p ~ . v v c) ( ) q ~ p ~ v
d) ( ) q p ~ ~ . e) ( ) q ~ p ~ ~ v
f) ( ) p ~ q p . v g) ( ) ( ) q p ~ q p .
h) ( ) ( ) q ~ p q p p . .

2. Provar t ' dadas as premissas:
r q .
t r . s .
q . p .
s p .
'
4
3
2
1

2. Prove que os seguintes argumentos so vlidos
a) s t , r ~ , r t v | s
b) ( ) ( ) ( ) ( ) s r r t q t q . s + ' . ' .

3. Provar que 5 = + y x dadas as premissas
( )
5 2 3
2 11 3 9 3 2
9 3 11 3 1
= + v =
= = + =
= = +
y x y .
y y x x .
x y x .

Resposta:
1. (a) q p ~ . (b) p ~ (c) q p ~ . (d) q p v (e) q p .
(f) q p ~ . (g) q (h) F (falsa)
Unidade 3 Quantificadores, Predicados e validade


1 Introduo:

Considere a sentena dada por para todo x , 0 > x , admitindo que seja verdadeira sobre
inteiros, no possvel expressar a sentena, apenas, atravs de proposies e ou conectivos
lgicos. Pois ela contm dois elementos novos que so: para todo x e 0 > x .

O elemento para todo denominado quantificador e o elemento 0 > x denominado
predicado. O quantificador para todo mais precisamente denominado como quantificador
universal e simbolizado por , este pode ser expresso tambm como qualquer que seja ou
para todo o valor de.

Portanto a sentena para todo x , 0 > x pode ser simbolizada como ( )( ) 0 > x x , j uma
expresso genrica, relacionada ao quantificador universal, pode ser simbolicamente escrita na
forma ( ) ( ) ( ) x P x , onde ( ) x P um predicado qualquer.

Considere agora a sentena existe x tal que 0 > x , admitindo que seja verdadeira
tambm sobre inteiros, no possvel expressar a sentena, apenas, atravs de proposies e ou
conectivos lgicos, devido ao fato de conter tambm dois elementos novos; existe x e 0 > x .
O quantificador existe denominado quantificador existencial e simbolizado por -, este
equivalente tambm a, existe um ou para pelo menos um ou ainda para algum.

Sendo assim, a sentena existe x , 0 > x pode ser simbolizada sob a forma ( )( ) 0 > - x x ,
j uma expresso genrica pode ser expressada por ( ) ( ) ( ) x P x - , onde ( ) x P um predicado
qualquer.

2 Quantificadores:

Quantificador Universal:

Seja ( ) x P uma sentena em um conjunto no vazio A e seja
P
V o seu conjunto verdade,
onde ( ) { } x P A x / x V
P
. e = . Quando A V
P
= , isto , todos os elementos do conjunto A
satisfazem a sentena ( ) x P , pode-se afirmar que:

x
A V
P
=

- para todo elemento x de A, ( ) x P verdadeira;
- ou, qualquer que seja o elemento x de A, ( ) x P verdadeira;
simbolicamente indica-se tal fato por
( ) ( ) ( ) A V x P A x
P
= e .

Quando A um conjunto finito, isto , { }
n
a ..., , a , a , a , a A
4 3 2 1
= tm-se que

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
n
a P ... a P a P a P a P x P A x . . . . . e
4 3 2 1
.

Exemplo:
1) Seja { } 7 5 3 , , A = e ( ) primo x : x P , descreva como a expresso predicada
( )( ) primo x A x e

2) Verifique a veracidade das proposies
a) ( )( ) 3 5 > + e n N n b) ( )( ) 7 3 > + e n N n c) ( )( ) 0
2
> e x R x

Quantificador Existencial:

Seja ( ) x P uma sentena em um conjunto no vazio A e
P
V o seu conjunto verdade onde
( ) { } x P A x / x V
P
. e = . Quando
P
V no vazio, ento pelo menos um elemento do conjunto A
satisfaz a sentena ( ) x P , assim pode-se afirmar que:

- existe pelo menos um elemento x de A tal que ( ) x P verdadeira;
- ou que para algum elemento x de A, ( ) x P verdadeira;
simbolicamente indica-se tal fato por
( ) ( ) ( )
P
V x P A x e - .

Quando A um conjunto finito, isto , { }
n
a ..., , a , a , a , a A
4 3 2 1
= tm-se que

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
n
a P ... a P a P a P a P x P A x v v v v v e -
4 3 2 1
.
x
P
V
A

Exemplo:
3) Seja { } 7 5 3 , , A = e ( ) par x : x P , descreva como a expresso predicada
( )( ) par x A x e -

a) ( )( ) 8 4 < + e - n N n b) ( )( ) 3 5 < + e - n N n c) ( )( ) 0
2
< e - x R x

Quantificador de Existncia e Unicidade:

Considere a seguinte sentena em R ;
i) 16
2
= x ii) 27
3
= x .

Os valores em R que satisfazem (i) so: 4 = a e 4 = b , ento podemos escrever,

( )( ) b a b a R b , a = . = . = e - 16 16
2 2

Agora, o valor em R que satisfaz (ii) 3 = c , logo escrevemos

( )( ) 27
3
= e - c R c .

Como o nico valor que satisfaz o quantificador acima 3 = c , ento dizemos que existe
um nico nmero real. Desta forma a expresso quantificada (ii) expressa na forma

( )( ) 27
3
= e - x R x ! .

Existem muitas proposies que enunciam afirmaes de existncia e unicidade, assim por
exemplo, no universo R , verdadeiro afirmar que

( )( )( ) n mx x ! n m = - = 0 .

Exemplo:

a) ( )( ) 0 9
2
= e - x N x ! b) ( )( ) 1 1 < < e - x Z x ! c) ( )( ) 0 = e - x R x !

3 Negao de Proposies Quantificadas
Sejam as proposies;

i) Toda pessoa fala ingls; ii) Algum foi a lua.

A negao dessas proposies dada por

i) Nem toda pessoa fala ingls; ii) Ningum foi a lua.

assim a negao de proposies quantificadas expressa como:

( ) ( ) ( ) | | ( ) ( ) ( ) | | x p ~ A x x p A x ~ e - e

( ) ( ) ( ) | | ( ) ( ) ( ) | | x p ~ A x x p A x ~ e e -

que so denominadas como segundas regras de De Morgan.
Exemplos:
1) D a negao das seguintes proposies:
a) ( )( ) 8 2 > + e n N n
b) ( )( ) 0 5 3 = e x R x
c) ( ) ( ) ( ) 0 = e - x sen R x


4 Lista de Exerccios

1. Sendo R o conjunto dos nmeros reais, determinar o valor lgico de cada uma das seguintes
proposies:

a) ( )( ) x x R x = e b) ( )( ) x x R x = e -
2
c) ( )( ) 0 = e - x R x

d) ( )( ) x x R x = + e - 2 e) ( )( ) x x R x > + e 1 f) ( )( ) x x R x = e
2

2. Sendo { } 5 4 3 2 1 , , , , A = , determinar o valor lgico de cada uma das seguintes proposies:

a) ( )( ) 10 3 = + e - x A x b) ( )( ) 10 3 < + e x A x c) ( )( ) 5 3 < + e - x A x

d) ( )( ) 7 3 s + e x A x e) ( )( ) 72 3 > e -
x
A x f) ( )( ) 15 2
2
= + e - x x A x

3. Dar a negao das proposies abaixo:

a) ( )( ) x x R x = e b) ( )( ) x x R x = e -
2
c) ( )( ) 0 = e - x R x

d) ( )( ) x x R x = + e - 2 e) ( )( ) x x R x > + e 1 f) ( )( ) x x R x = e
2

4. Sendo { } 5 4 3 2 1 , , , , A = , dar a negao das proposies abaixo


d) ( )( ) 7 3 s + e x A x e) ( )( ) 72 3 > e -
x
A x f) ( )( ) 15 2
2
= + e - x x A x


5 Contra - Exemplo

Para mostrar que uma proposio da forma ( ) ( ) ( ) x p A x e falsa basta mostrar que a sua
negao, ( ) ( ) ( ) x p ~ A x e - , verdadeira. Isto , que existe pelo menos um elemento A x e
0
tal que
( )
0
x p uma proposio falsa. O elemento
0
x chamado de contra exemplo para a proposio
( ) ( ) ( ) x p A x e .
Exemplos:
1. Mostre que as proposies abaixo so falsas, exibindo um contra exemplo:
a) ( )( )
2
2 n N n
n
> e b) ( )( ) 0 = e x R x
c) ( )( ) x x R x > e
2
d) ( ) ( ) ( ) 4 2
2 2
+ = + e x x R x

6 Lista de Exerccios

1. Sendo { } 9 5 4 3 2 ,..., , , , A = , dar um contra exemplo para cada uma das seguintes proposies:

a) ( )( ) 12 5 < + e x A x b) ( )( ) primo x A x e c) ( )( ) 1
2
> e x A x
d) ( )( ) par x A x e e) ( )( ) 0 0 = e
x
A x

2. Sendo { } 5 4 3 2 1 , , , , A = , dar a negao das proposies abaixo

d) ( )( ) 7 3 s + e x A x e) ( )( ) 72 3 > e -
x
A x f) ( )( ) 15 2
2
= + e - x x A x

3. Sendo A um conjunto qualquer, dar a negao de cada uma das seguintes proposies:

a) ( ) ( ) ( ) ( ) ( ) ( ) x q A x x p A x e - . e b) ( ) ( ) ( ) ( ) ( ) ( ) x q A x x p A x e v e -
c) ( ) ( ) ( ) ( ) ( ) ( ) x q ~ A x x p ~ A x e v v e - d) ( ) ( ) ( ) ( ) ( ) ( ) x q ~ A x x p A x e e -

4. Dar a negao de cada uma das seguintes sentenas:

a) ( )( ) ( )( ) 3 1 7 2
2
= - . s + x x x x b) ( )( ) ( )( ) 7 5 2 9
2
= v = e - x x x A x


7 Quantificao de Sentenas Abertas com Mais de Uma Varivel

Quantificao Parcial

Considere o conjunto { } 5 4 3 2 1 , , , , A = o universo das variveis y , x e considere tambm a
seguinte sentena,
( )( ) 7 2 < + e - y x A x .
Essa sentena no pode ser considerada uma proposio, pois o seu valor lgico no
depende da varivel x (varivel aparente), mais sim da varivel y (varivel livre). Desta forma
chama-se essa sentena de sentena aberta em y; cujo conjunto verdade { } 4 3 2 1 , , , , pois somente
para 5 = y no existe A xe tal que 7 2 < + y x .
Analogamente, seja o conjunto { } 5 4 3 2 1 , , , , A = o universo das variveis y , x e considere
tambm a seguinte sentena,
( )( ) 10 2 < + e y x A y .
Essa sentena tambm no pode ser considerada uma proposio, pois o seu valor lgico no
depende da varivel y (varivel aparente), mais sim da varivel x (varivel livre). Assim, temos
que essa sentena na verdade uma sentena aberta em x; cujo conjunto verdade { } 2 1, , pois
somente para 1 = x ou 2 = x se tem 10 2 < + y x para todo A y e .

Quantificao Mltipla

Toda sentena aberta precedida de quantificadores, um para cada varivel, uma
proposio, pois assume um dos valores lgicos V ou F. So exemplos de proposies as
seguintes expresses:
( )( ) ( ) ( ) y , x p B y A x e e
( )( ) ( ) ( ) y , x p B y A x e - e
( )( )( ) ( ) ( ) z , y , x p C z B y A x e e e -
Exerccios:
1) Considere os conjuntos { } Paulo , Claudio , J orge H = , { } Carmen , Suely M = e seja
( ) y , x p a sentena aberta em : M H x irmo de y. Discuta o significado das proposies:
( )( ) ( ) ( ) y , x p M y H x : A e - e ( )( ) ( ) ( ) y , x p H x M y : B e e -

2) Interprete, e discuta a equivalncia
( )( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2 2 2
y x y x N y , x y x y x N y N x + > + e + > + e e

3) Verifique o valor lgico de
( ) N y , x , y x y x e + > +
2 2 2

( ) R y , x , y x y x e + > +
2 2 2

4) Considere os conjuntos { } 4 3 2 1 , , , A = e { } 8 6 4 2 0 , , , , B = e a sentena aberta em
: B A 8 2 = + y x . Verifique o valor lgico das proposies:
( )( )( ) 8 2 = + e - e y x B y A x : S
( )( )( ) 8 2 = + e - e y x A x B y : M
( )( )( ) 8 2 = + e e - y x A x B y : N
( )( )( ) 8 2 = + e e - y x B y A x : T

Operaes Sobre Quantificadores
Quantificadores de mesma espcie podem ser comutados, ou seja,

( )( ) ( ) ( ) ( )( ) ( ) ( ) y , x p x y y , x p y x
( )( ) ( ) ( ) ( )( ) ( ) ( ) y , x p x y y , x p y x - - - - .
Quantificadores de espcies diferentes no podem em geral ser comutados;
Exemplo: Seja x, y variveis no universo dos nmeros naturais. A proposio

( )( )( ) x y y x > -
verdadeira, mas a proposio
( )( )( ) x y x y > -
falsa .
Exerccio:
4) Sendo { } 10 9 3 2 1 , ..., , , , A = , determinar o valor lgico de cada uma das seguintes
proposies:
( )( )( ) 14 < + e - e y x A y A x : M ( )( )( ) 14 < + e e - y x A x A y : N


Negao de Proposies com Quantificadores

A negao de proposies com mais de um quantificador se obtm mediante a aplicao
sucessiva das regras de negao para proposies com um nico quantificador, assim tm-se, por
exemplo que;
1) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) | | ( )( ) ( ) ( ) y , x p ~ y x y , x p y ~ x y , x p y x ~ - - -

2) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) | | ( )( ) ( ) ( ) y , x p ~ y x y , x p y ~ x y , x p y x ~ - - -

3) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) | | ( )( ) ( ) ( ) y , x p ~ y x y , x p y ~ x y , x p y x ~ - - - -

4) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) | | ( )( ) ( ) ( ) y , x p ~ y x y , x p y ~ x y , x p y x ~ - -

5) ( )( )( ) ( ) ( ) ( ) ( )( ) ( ) ( ) | | ( )( )( ) ( ) ( ) z , y , x p ~ z y x z , y , x p z y ~ x z , y , x p z y x ~ - - - -

etc. ...

8 - Lista de Exerccios

1) Sendo { } 5 4 3 2 1 , , , , o universo das variveis x e y, determinar o conjunto verdade de cada uma
das seguintes sentenas abertas:
a) ( )( ) 7 2 < + - y x y b) ( )( ) 10 2 < + y x x

2) Sendo { } 3 2 1 , , o universo das variveis x e y, determinar o valor lgico de cada uma das
seguintes proposies:
a) ( )( )( ) 1
2
+ < - y x y x b) ( )( )( ) 12
2 2
< + - y x y x
c) ( )( )( ) 12
2 2
< + y x y x d) ( )( )( ) 10 2
2
< + y x y x
e) ( )( )( ) 10 2
2
< + - y x y x f) ( )( )( ) 10 2
2
< + - y x y x
g) ( )( )( ) 10 2
2
< + - - y x y x

3) Sendo { } 3 2 1 , , o universo das variveis x, y e z, determinar o valor lgico de cada uma das
seguintes proposies:
a) ( )( )( )( )
2 2 2
2z y x z y x < + - - b) ( )( )( )( )
2 2 2
2z y x z y x < + - -

4) Sendo R o conjunto dos nmeros reais, determinar o valor lgico de cada uma das seguintes
proposies:

a) ( )( )( ) y y x R x R y = + e - e b) ( )( )( ) 0 = + e - e y x R y R x
c) ( )( )( ) 1 = e - e y . x R y R x d) ( )( )( ) x y R x R y < e - e

5) Dar a negao de cada uma das seguintes proposies:

a) ( )( ) ( ) ( ) ( ) y q x p y x v - b) ( )( ) ( ) ( ) ( ) y q ~ x p y x v -
c) ( )( ) ( ) ( ) ( ) y q ~ x p x y . - - d) ( )( ) ( ) ( ) ( ) y q y , x p y x -
e) ( )( ) ( ) ( ) ( ) y , x q y , x p y x -

6) Indique o valor verdade de cada uma das proposies abaixo onde o domnio consiste nos
estados do Brasil;
( ) y de norte ao x : y , x Q
( ) p letra a com comea x : x P e
Paran a .

a) ( ) ( ) ( ) x P x b) ( )( )( ) ( ) ( ) ( ) ( ) z , x Q z , y Q y , x Q z y x .
c) ( )( ) ( ) x , y Q x y - - d) ( )( ) ( ) ( ) ( ) y , x Q y P y x . -
e) ( ) ( ) ( ) y , a Q y -

Apostila Lógica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Apostila Lógica

Caricato da

Copyright:

Formati disponibili

Unidade 1 Sentenas e Representao simblica

Unidade 1 Sentenas, Representao Simblica,

Potrebbero piacerti anche