Lgica Matemtica e

Computacional

No sou o melhor, sei disso,

mas fao o melhor que
posso!!

RANILDO LOPES

2. Conceitos Preliminares

2.1. Sentena, Verdade e Proposio

1
 Clculo Proposicional

Como primeira e indispensvel parte da Lgica Matemtica

temos o CLCULO PROPOSICIONAL ou CLCULO
SENTENCIAL ou ainda CLCULO DAS SENTENAS.

CONCEITO DE PROPOSIO
Sentenas declarativas afirmativas (expresso de uma
linguagem) da qual tenha sentido afirmar que seja verdadeira
ou que seja falsa.
.3<4
A lua quadrada. . = 3,14
A neve branca. . 1 primo
Matemtica uma cincia. . Zero par

Sentena e Proposio
A lgica formal pode representar as afirmaes que
fazemos em linguagem cotidiana para apresentar fatos
ou transmitir informaes. Uma proposio (ou
declarao) uma sentena que falsa ou verdadeira.
Considere as seguintes sentenas:
(a) Dez menor do que sete. uma proposio, j que falsa.

No pode ser considerada falsa ou verdadeira,

(b) Como est voc? no proposio.

(c) Ela muito talentosa. No uma proposio. Ela no est

especificada, no falsa nem verdadeira.
(d) Existe vida em outros planetas do universo. proposio.

No preciso sermos capazes de decidir qual das alternativas vlida.

2
Considerao inicial
A lgica analisa os argumentos em vista de sua validade,
no de sua veracidade.
Ex: Se todo homem dessa sala candidato engenheiro
e se todo candidato a engenheiro bonito
ento todo homem dessa sala bonito.
Ex:
Pedro um sujeito mais bonito que o Brad Pitt e o
Marcelo Anthony juntos.
O time das Pererecas Felizes vai ganhar o torneio de
Handball da Faculdade.
Essa frase falsa.

Proposio

Exemplo:
Foi detectado que alguns prefeitos no moram
nos municpios onde trabalham. O governo federal
criou ento o municpio de Pizzalndia e nele s
podem morar os prefeitos que no moram em
seus municpios.
Onde mora o prefeito de Pizzalndia?

3
Clculo Proposicional

TERMO (Palavra) Definio:

Definio de um objeto.

Exemplo:
Paula
Um filme de terror
Tringulo retngulo

PROPOSIO Definio

Todo o conjunto de termos ou smbolos

que exprimem um pensamento
de sentido completo.
Exemplo:
Todo homem mortal.
A Lua um satlite da Terra.
sen /2 = cos /2

4
PROPOSIO Definio

PROPOSIO

As PROPOSIES
transmitem pensamentos,
isto ,
afirmam fatos ou exprimem juzos
que formamos a
respeito de determinados entes.

PROPOSIO Definio

A linguagem NATURAL permite vrios tipos

de proposies:

DECLARATIVA: Meu carro azul.

INTERROGATIVA: Est frio?

EXCLAMATIVA: Que lindo!

IMPERATIVA: Cale a boca.

5
PROPOSIO Definio

CLCULO PROPOSICIONAL:

Permite apenas as
proposies
DECLARATIVAS.

Exerccio

Quais das frases a seguir so proposies

declarativas?
A lua feita de queijo verde.
Ele , certamente, um homem alto.
Dois um nmero primo.
O jogo vai acabar logo?
Os juros vo subir ano que vem.
Os juros vo descer ano que vem.
x2 4 = 0.

6
Exerccio

Quais das frases a seguir so proposies?

A lua feita de queijo verde.
Ele , certamente, um homem alto.
Dois um nmero primo.
O jogo vai acabar logo?
Os juros vo subir ano que vem.
Os juros vo descer ano que vem.
x2 4 = 0.

PRINCPIOS LGICOS FUNDAMENTAIS

A Lgica Matemtica adota como regras

fundamentais do pensamento os 2 princpios:

I - PRINCPIO (Axioma) DA NO CONTRADIO.

II - PRINCPIO (Axioma) DO TERCEIRO EXCLUDO.

7
PRINCPIOS LGICOS FUNDAMENTAIS

I - PRINCPIO (Axioma) DA NO CONTRADIO:

Uma proposio NO pode ser

FALSA e VERDADEIRA ao mesmo tempo.
O
O Brasil
Brasil pentacampeo
pentacampeo de
de futebol.
futebol. Verdade
Verdade (V)
(V)
O
O Brasil
Brasil possui
possui pena
pena de
de morte.
morte. Falso
Falso (F)
(F)

PRINCPIOS LGICOS FUNDAMENTAIS

II - PRINCPIO (Axioma) DO TERCEIRO EXCLUDO:

Toda proposio ou Verdadeira ou Falsa,

isto , verifica-se sempre um destes casos
e nunca um terceiro.

LGICA
LGICA BIVALENTE
BIVALENTE

8
VALOR LGICO DE UMA PROPOSIO

O Valor Lgico de uma PROPOSIO :

VERDADE se esta for VERDADEIRA;

FALSIDADE se a PROPOSIO for FALSA.

VALOR LGICO DE UMA PROPOSIO

Assim, o que os princpios da no contradio

e o do terceiro excluido afirmam que:

Toda proposio tem um, e um s,

dos valores V, F.

9
 Qual Valor Lgico (V ou F) das
proposies a seguir?
O nmero 17 primo. ( V )
Fortaleza a capital do Maranho. ( F )
TIRADENTES morreu afogado. ( F )
(3 + 5)2 = 32 + 52. ( F )
O valor archimediano de 22/7. ( V )
-1 < -7. ( F )
0,131313 uma dzima peridica simples. ( V )
As diagonais de um paralelogramo so iguais. ( F )
Todo polgono regular convexo inscritvel. ( V )
O hexaedro regular tem 8 arestas. ( F )

Qual Valor Lgico (V ou F) das

proposies a seguir?
A expresso n2 n + 41 (nN) s produz nmeros primos. ( F )
Todo nmero divisvel por 5 termina por 5. ( F )
O produto de dois nmeros mpares um nmero mpar. ( V )
sen2 30 + sen2 60 = 2. ( F )
1 + 3 + 5 + + (2n 1)2 = n2. ( V )
As razes da equao x3 - 1 = 0 so todas reais. ( V )
O nmero 125 cubo perfeito. ( V )
0, 4 e -4 so razes da equao x3 - 16x = 0. ( V )
O cubo um poliedro regular. ( V )
tg /4 < tg /6. ( F )

10
PROPOSIES SIMPLES OU ATMICAS

PROPOSIO SIMPLES (TOMOS)

Proposio NO contm nenhuma outra
proposio como parte integrante
de si mesmo.
Minha casa grande.
Seus olhos so azuis.
Est calor.

PROPOSIES SIMPLES OU ATMICAS

PROPOSIO SIMPLES (TOMOS)

So designadas pelas letras latinas
minsculas p,q,r,s,...,
chamadas letras proposicionais.
p: Minha casa grande.
q: Seus olhos so azuis.
r: Est calor.

11
PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIAO COMPOSTA (MOLCULAS)

Formada pela combinao de 2 ou mais

PROPOSIES.

Minha casa grande e meu carro azul.

Seus olhos so azuis ou verdes.
Se est calor, ento vero.

PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIO COMPOSTA (MOLCULAS)

So designadas pelas letras latinas
maisculas P,Q,R,S,...,
chamadas letras proposicionais.
P: Minha casa grande e meu carro azul.
Q: Seus olhos so azuis ou verdes.
R: Se est calor, ento vero.

12
PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIO COMPOSTA (MOLCULAS)

Tambm chamadas de
frmulas proposicionais ou frmulas.

Notao:
P(q,r,s) significa que P
uma proposio composta das
proposies atmicas q,r e s.

Os smbolos da Linguagem do
Clculo Proposicional
VARIVEIS PROPOSICIONAIS SIMPLES E COMPOSTAS
Proposies Simples: letras minsculas p, q, r, s,....
Ex: A lua quadrada: p
A neve branca: q
Proposies Compostas: letras maisculas P, Q, R, S,....
Ex: Carlos estudante e Pedro Careca: P
Se Andr mdico ento sabe biologia: Q

P (p, q, r, ...) indica que a proposio composta P combinao das

proposies simples p, q, r, ...

O valor lgico de uma proposio simples p indica-se por V(p) e o de

uma proposio composta P por V(P).

13
Conectivos Lgicos

Termos usados para formar novas

proposies a partir de outras.

EE OU
OU NO
NO

SE...
SE... ...SE
...SE EE
ENTO...
ENTO... SOMENTE
SOMENTE SE...SE...

Conectivos Lgicos
CONECTIVO Exemplos:
P: Minha casa grande e meu carro azul.
Q: Seus olhos so azuis ou verdes.
R: Se est calor ento vero.

S: No est chovendo.
T: O tringulo equiltero se e
somente se equingulo.

14
Operadores Lgicos

Assim como operamos com nmeros, as

proposies tambm podem ser operadas
utilizando os operadores lgicos. So eles:
Conjuno - E (^)
Disjuno - Ou (v)
Condicional - Se ... ento ()
Bi-condicional - Se e s se ()

Conectivos Lgicos

15
Exemplos
A lua quadrada e a neve branca.
p q (p e q so chamados conjunctos)

A lua quadrada ou a neve branca.

p q (p e q so chamados disjunctos)

Se a lua quadrada ento a neve branca.

p q (p o antecedente e q o consequente)

A lua quadrada se e somente se a neve branca.: p q

A lua no quadrada.: ~p

Outros Exemplos
Pedro estudante e Carlos professor.
p q (p e q so chamados conjunctos)

O tringulo ABC retngulo ou issceles.

p q (p e q so chamados disjunctos)

Se Roberto engenheiro ento sabe matemtica.

p q (p o antecedente e q o conseqente)

O tringulo ABC equiltero se e somente se tem os trs

lados iguais.: p q
No tenho carro.: ~p

16
Smbolos Auxiliares

( ), servem para denotar o "alcance" dos conectivos.

Exemplos: p: a lua quadrada e q: a neve branca
Se a lua quadrada e a neve branca ento a lua no
quadrada.:
((p q) ~p)
A lua no quadrada se e somente se a neve
branca.:
((~p) q))

Definio de Frmula

1. Toda frmula atmica uma frmula.

2. Se A e B so frmulas ento (A B), (A B), (A B),
(A B) e (~ A) tambm so frmulas.
3. So frmulas apenas as obtidas por 1. e 2..
Os parnteses sero usados segundo a seguinte ordem dos conectivos:
~, , , , .
Com o mesmo conectivo adotaremos a conveno pela direita.
Exemplo: a frmula p q ~ r p ~ q deve ser entendida como
(((p q) (~ r)) ( p (~ q)))

17
Negao (~)
Chama-se negao de uma proposio p a proposio
representada por no p cujo valor lgico a verdade (v) se p
falsa e a falsidade (f) se p verdadeira. Simbolicamente: ~p.
Dada uma proposio p, sua negao ser denotada por
~p (no p).
Se p verdadeira ento ~ p ser falsa e vice versa.

Ex: p = Bia est usando tnis preto.

~p = Bia no est usando tnis preto.
p = Esta frase possui cinco palavras.
~p = Esta frase no possui cinco palavras.

Algumas observaes
sobre a negao
A negao de sempre

18
Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no

Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca

19
Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca existe uma vez que

Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca existe uma vez que
A negao de p e q

20
Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca existe uma vez que
A negao de p e q ~p ou ~q

Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca existe uma vez que
A negao de p e q ~p ou ~q
A negao de p ou q

21
Algumas observaes
sobre a negao
A negao de sempre existe uma vez que no
A negao de nunca existe uma vez que
A negao de p e q ~p ou ~q
A negao de p ou q ~p e ~q

Quais negaes das proposies

esto corretas?
1. A resposta 1
2 2 ou 3.
1. A resposta nem 2 nem 3.
2. A resposta no 2 ou no 3.
3. A resposta no 2 e no 3.

2. Pepinos so verdes e tm sementes.

1. Pepinos no so verdes e no tm sementes.
2. Pepinos no so verdes ou no tm sementes.
3. Pepinos so verdes e no tm sementes.

22
Quais negaes das proposies
esto corretas?
3. 2 < 7 e 3 mpar.
1. 2 > 7 e 3 par.
2. 2 7 e 3 par.
3. 2 7 ou 3 mpar.
4. 2 7 ou 3 par.

Escreva a negao das afirmaes a seguir.

1. Se a comida boa, ento o servio excelente.

A comida boa, mas o servio ruim.

2. Ou a comida boa, ou o servio excelente.

A comida ruim e o servio tambm.

23
Sejam as proposies p e q, traduzir para a
linguagem corrente as seguintes proposies:

1. p: Est frio e q: Est Chovendo.

a) ~p b) p ^ q c) p v q
d) q p e) p ~q f) p v ~q
g) ~p ^ ~q h) p ~q i) p ^ ~q p
2. p: Jorge rico e q: Carlos feliz.
a) q p b) p v ~q c) q ~p d) ~p
q e) ~~p f) ~p ^ q p

Sejam as proposies p e q, traduzir para a

linguagem corrente as seguintes proposies:

3. p: Claudio fala ingls e q: Claudio fala

alemo.
a) q v p b) p ^ q c) p ^ ~q
d) ~p ^ ~q e) ~~p f) ~(~p ^ ~q)

4. p: Joo gacho e q: Jaime paulista.

a) ~(~p ^ ~q) b) ~~p c) ~(~p v ~q)
d) p ~q e) ~p ~q f) ~(~q p)

24
Sejam as proposies p e q, traduzir para a
linguagem simblica as seguintes proposies:

5. p: Marcos alto e q: Marcos elegante.

a) Marcos alto e elegante
b) Marcos alto, mas no elegante
c) No verdade que Marcos baixo ou elegante
d) Marcos no nem alto e nem elegante
e) Marcos alto ou baixo e elegante
f) falso que Marcos baixo ou que no elegante

Sejam as proposies p e q, traduzir para a

linguagem simblica as seguintes proposies:

6. p: Suely rica e q: Suely feliz.

a) Suely pobre, mas feliz
b) Suely rica ou infeliz
c) Suely pobre e infeliz
d) Suely pobre ou rica, mas infeliz

25
Sejam as proposies p e q, traduzir para a
linguagem simblica as seguintes proposies:

7. p: Carlos fala francs e q: Carlos fala ingls

e r: Carlos fala alemo.
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

Traduzir para a linguagem simblica as

seguintes proposies matemticas:

8. a) x = 0 ou x > 0 b) x 0 ou y 0
c) x > 1 ou x + y > 0 d) x2 = x . x ou x0 = 1

9. a) (x + y = 0 e z > 0) ou z = 0
b) x = 0 e (y + z > x ou z = 0)
c) x 0 ou (x = 0 e y < 0 e z = 0)
d) x + y = 0 e z > 0) ou z = 0

26
Traduzir para a linguagem simblica as
seguintes proposies matemticas:

10. a) Se x > 0 ento y = 2

b) Se x + y = 2 ento z > 0
c) x = 1 ou z = 2 ento y > 1
d) Se z > 5 ento x 1 e x 2
e) Se x y ento x + z > 5 e y + z < 5
f) Se x + y > z e z = 1 ento x + y > 1
g) Se x < 2 ento x = 1 ou x = 0
h) Se y = 4 e se x < y ento x < 5

Gabarito

1.
a) No est frio
b) Est frio e est chovendo
c) Est frio ou est chovendo
d) Est chovendo se e somente se est frio
e) Se est frio, ento no est chovendo
f) Est frio ou no est chovendo
g) No est frio e no est chovendo
h) Est frio se e somente se no est chovendo
i) Se est frio e no est chovendo, ento est frio

27
Gabarito

2.
a) Se Carlos feliz, ento Jorge rico
b) Jorge rico ou Carlos no feliz
c) Carlos feliz se e somente se Jorge no rico
d) Se Jorge no rico, ento Carlos feliz
e) No verdade que Jorge no rico
f) Se Jorge no rico, e Carlos feliz, ento Jorge
rico

Gabarito

3.
a) Cludio fala alemo ou ingls
b) Cludio fala ingls e alemo
c) Cludio fala ingls, mas no alemo
d) No verdade que Cludio fala ingls e alemo
e) No verdade que Cludio no fala ingls
f) No verdade que Cludio no fala ingls e nem
alemo

28
Gabarito

4.
a) No verdade que Joo no gacho e Jaime
no paulista
b) No verdade que Joo no gacho
c) No verdade que Joo no gacho ou que
Jaime no paulista
d) Se Joo gacho, ento Jaime no paulista
e) Se Joo no gacho ento Jaime no paulista
f) No verdade que, se Jaime no paulista, ento
Joo gacho

Gabarito
5.
a) p ^ q b) p ^ ~q c) ~(~p v q)
d) ~p ^ ~q e) p v (~p ^ q) f) ~(~p v ~q)

6.
a) ~p ^ q b) p v ~q
c) ~p ^ ~q d) (~p v q) ^ ~q

29
Gabarito
7.
a) (p v q) ^ ~r b) (p ^ q) v ~(p ^ r)
c) ~(p ^ ~r) d) ~((q v r) ^ ~p)

8.
a) x = 0 v x > 0 b) x 0 v y 0
c) x > 1 v x + y > 0 d) x2 = x . x v x0 = 1

Gabarito

9.
a)(x + y = 0 ^ z > 0) v z = 0
b) x = 0 ^ (y + z > x v z = 0)
c) x 0 v (x = 0 ^ y < 0 ^ z = 0)
d) (x + y = 0 ^ z > 0) v z = 0

30
Gabarito
10.
a) x > 0 y = 2
b) x + y = 2 z > 0
c) x = 1 v z = 2 y > 1
d) z > 5 x 1 ^ x 2
e) x y x + z > 5 ^ y + z < 5
f) (x + y > z ^ z = 1) x + y > 1
g) x < 2 x = 1 v x = 0
h) y = 4 ^ (x < y x < 5)

31