LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA

" "" "O que eu ouo, eu esqueo. O que eu vejo, lembro. O que eu fao, O que eu ouo, eu esqueo. O que eu vejo, lembro. O que eu fao, O que eu ouo, eu esqueo. O que eu vejo, lembro. O que eu fao, O que eu ouo, eu esqueo. O que eu vejo, lembro. O que eu fao,
apreno apreno apreno apreno". ". ". ".
Conf!"#o $%%& Conf!"#o $%%& Conf!"#o $%%& Conf!"#o $%%& ' '' ' ()* A.C.+ ()* A.C.+ ()* A.C.+ ()* A.C.+


Um pouco de Histria

A histria da lgica antiga inicia-se propriamente com Aristteles, no sculo IV a. C.
(384-322 a. C.). Na antiguidade, os gregos foram preponderantes no cultivo,
prtica e gosto pelo argumento. Entre os predecessores de Aristteles (Plato, sem
dvida) devemos chamar a ateno para o trabalho dos sofistas, classe de tutores
privados da Grcia antiga; e convm mencionarmos que paradoxos e argumentos
falaciosos, argumentos que, de premissas aparentemente verdadeiras e por
passos aparentemente vlidos, levam a concluses aparentemente falsas, eram
conhecidos na Grcia antiga.

A maior parte da contribuio relevante de Aristteles, para a lgica, encontra-se
no grupo de trabalhos conhecidos como Organon, mais especificamente nos
Analytica Priora e no De Interpretatione. Aristteles criou a teoria do silogismo e
axiomatizou-a de diversas formas. Iniciou o desenvolvimento da lgica modal,
lidando com as noes de necessidade, possibilidade e contingncia: uma
sentena A contingente se A no necessria, porm no impossvel.
famosa a questo dos futuros contingentes de Aristteles.
Exemplo: Haver uma batalha naval amanh.

A teoria dos silogismos (uma regra de inferncia que deduz uma proposio
categrica a concluso a partir de duas outras, chamadas premissas) constitui
um dos primeiros sistemas dedutivos j propostos.
Filsofos e historiadores da lgica consideram a teoria do silogismo como a mais
importante descoberta em toda a histria da lgica formal, pois no constitui
apenas a primeira teoria dedutiva, mas tambm um dos primeiros sistemas
axiomticos construdos.
Modernamente, podemos interpret-la como um fragmento da lgica de primeira
ordem, ou seja, do clculo de predicados de primeira ordem.
Consideremos de imediato, como intuitivamente claro em termos pr-formais, o uso
de variveis e smbolos de predicados e o significado dos operadores lgicos para:
existencial (, existe), universal (, para todo), negao (~, no), conjuno (,
e), disjuno (, ou), condicional ( se ... ento), e bicondicional (,
equivalente ou se, e somente se).








RESUMO

1. SENTENAS OU PROPOSIES

As sentenas so designadas por letras latinas minsculas: p, q, r, s,...
Exemplos:
p: 4 < 1
q: Ins bondosa.
r: A capital do estado da Bahia Salvador.
s: 8 3 5 +

1.1. TIPOS DE SENTENAS

Imperativas:
So proposies em que se ordena alguma coisa.
p: Tire a caneta da.

Interrogativas:
So aquelas sentenas em que se questiona algo. No admite valor
verdadeiro ou falso.
q: A sua resposta est correta?

Declarativas ou afirmativas.
So as que se afirma algo. Pode ou no ser verdadeira.
r: Marcos um excelente aluno.

Sentenas abertas

So sentenas que no podem ser classificadas nem como verdadeiras, nem
falsas. Elas dependem do valor da varivel.
Exemplo:
p(x): 4x 3 = 5
q(x): 2x < 6

Sentenas fechadas

So sentenas que se pode atribuir um valor lgico, verdadeiro ou falso.
Exemplo:
p: 2 + 2 = 5
q: 12 divisvel por zero.

2. MODIFICADOR

Dada uma proposio p: Carlos tem 5 livros. podemos ter outra proposio usando
o modificador no(~), que a negao e ter o valor lgico oposto.
Ento ~p: Carlos no tem 5 livros.




3. CONECTIVOS

A partir de proposies simples podemos compor novas proposies usando os
conectivos e (), ou (), se... ento() e se e somente se().

p q conjuno e s verdadeira se p e q so verdadeiras.
p q incluso e verdadeira quando uma das proposies verdadeira.
p q condicional e s falsa quando p verdadeira e q falsa.
p q bicondicional e s verdadeira quando ambas so verdadeiras ou
ambas so falsas.

4. TAUTOLOGIA

Quando temos uma tabela verdade somente com V chamado de tautologia.

Quando temos uma tabela verdade somente com F chamado de contradio.


5. NEGAO DAS PROPOSIES COMPOSTAS

~ (p q) = ~ p ~ q
~ (p q) = ~ p ~ q
~ (p q) = p ~ q

6. QUANTIFICADORES

Nas sentenas abertas (ORAES QUE CONTM VARIVEIS), existem duas
maneiras de transform-las em proposies:
atribuir valor s variveis
utilizar QUANTIFICADORES

6.1. Quantificador universal

indicado pelo smbolo , que se l: qualquer que seja, para todo ou para
cada.

Exemplos
1) p: ( x) (x + 1 = 7) = F
2) q: ( x) (x
3
= 2x
2
) = F
3) r: ( x) (y
2
+ 1 > 0) = V

6.2. Quantificador existencial
indicado pelo smbolo , ,, , que se l: existe, existe pelo menos um ou
existe um.
Exemplos
1) p: ) )) ) x xx x ( (( ( (x + 1 = 7) = V
2) q: ) )) ) x xx x ( (( ( (x
2
+ 1 0) = F


Algumas vezes utilizamos outro quantificador: ) )) ) l ll l ( (( ( , que se l: existe um nico,
existe somente um.

Exemplo

1) ) )) ) x xx x l ll l ( (( ( (x + 1 = 7) = V
2) ) )) ) x xx x l ll l ( (( ( ( x + 2 > 3) = F

7. NEGAO DE PROPOSIES QUANTIFICADAS

7.1. Uma sentena quantificada com quantificador universal ( ), do tipo
( x) (p(x)), negada assim:
substitui-se pelo quantificador existencial e nega-se p(x), obtendo:
) )) ) x xx x ( (( ( (~ p(x)).

Exemplo
1) sentena: ( x) (x + 3 = 5)
negao: ) )) ) x xx x ( (( ( (x + 3 5)

2) sentena: Todo losango quadrado.
negao: Existe um losango que no quadrado.

7.2. Uma sentena quantificada com quantificador existencial ( ), do tipo
( x) (p(x)), negada assim:
substitui-se pelo quantificador universal e nega-se p(x), obtendo:
) )) ) x xx x ( (( ( (~ p(x)).

Exemplo
1) sentena: ) )) ) x xx x ( (( ( (2x 4 = 4)
negao: ) )) ) x xx x ( (( ( (2x 4 4)

2) sentena: ) )) ) x xx x ( (( ( (x > 3x)
negao: ) )) ) x xx x ( (( ( x 3x)















LISTA DE EXERCCIOS

1. Qual a negao da sentena aberta y 5 ? (y < 5)


2. Qual a sentena negativa de Hoje domingo e amanh no chover ?


3. Em uma pequena comunidade, sabe-se que: nenhum filsofo rico e que
alguns professores so ricos. Assim, pode-se afirmar, corretamente, que
nessa comunidade:
a) Alguns professores no so ricos. (x)
b) Alguns professores so filsofos.
c) Nenhum filsofo professor.
d) Alguns filsofos so professores.
e) Nenhum professor filsofo.


4. As seguintes afirmaes, todas elas verdadeiras, foram feitas sobre a ordem
de chegada dos participantes de uma prova de ciclismo:
I. Guto chegou antes de Aires e depois de Doda.
II. Guto chegou antes de Juba e Juba chegou antes de Aires, se e
somente se Aires chegou depois de Doda.
III. Cacau no chegou junto com Juba, se e somente se Aires chegou
junto com Guto. Logo:

a) Cacau chegou antes de Aires, depois de Doda e junto com Juba. (x)
b) Guto chegou antes de Cacau, depois de Doda e junto com Aires.
c) Aires chegou antes de Doda, depois de Juba e antes de Guto.
d) Aires chegou antes de Juba, depois de Cacau e junto com Doda.
e) Juba chegou antes de Doda, depois de Guto e junto com Cacau.



5. A proposio p ~q equivalente a:

a) p q
b) p q
c) ~p q
d) ~q p
e) ~p ~q (x)

6. Sendo p a proposio Paulo paulista e q a proposio Ronaldo
carioca, traduzir para a linguagem corrente as seguintes proposies:

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


7. Sendo p a proposio Roberto fala ingls e q a proposio Ricardo fala
italiano traduzir para a linguagem simblica as seguintes proposies:

a) Roberto fala ingls e Ricardo fala italiano.
b) Ou Roberto no fala ingls ou Ricardo fala italiano.
c) Se Ricardo fala italiano ento Roberto fala ingls.
d) Roberto no fala ingls e Ricardo no fala italiano.


8. (MACK) Duas grandezas x e y so tais que "se x = 3 ento y = 7". Pode-se
concluir que:

a) se x 3, ento y 7
b) se y = 7, ento x = 3
c) se y 7, ento x 3 (x)
d) se x = 5, ento y = 5
e) se x = 7, ento y = 3


9. Assinale a proposio composta logicamente verdadeira:

a) (2 = 3) (2 . 3 = 5) (x)
b) (2 = 2) (2 . 3 = 5)
c) (2 = 3) e (2 . 3 = 5)
d) (2 = 3) ou (2 . 3 = 5)
e) (2 = 3) e (~ ( 2= 2))


10. A negao de todos os gatos so pardos :

a) nenhum gato pardo;
b) existe gato pardo;
c) existe gato no pardo; (x)
d) existe um e um s gato pardo;
e) nenhum gato no pardo.



11. Se V(p) = V e V(q) = V, ento (p q) tem valor lgico:

a) V (x)
b) F
c) nem V nem F
d) tanto V com F
e) n.r.a.



12. Considere a afirmao abaixo, feita a respeito de um nmero natural n: Se
n mltiplo de 8 e n quadrado perfeito, ento n menor do que 20.

Dependendo do valor que se atribui a n, essa afirmao pode se tornar
verdadeira ou falsa.

Dentre os valores apresentados abaixo para n, o nico que torna a
afirmao FALSA :

a) 81
b) 64 (x)
c) 24
d) 16
e) 9


13. (FEI-SP) Dadas s proposies:

1) Toda mulher boa motorista.
2) Nenhum homem bom motorista.
3) Todos os homens so maus motoristas.
4) Pelo menos um homem mau motorista.
5) Todos os homens so bons motoristas.
a negao de (5) :

a)1
b)2
c)3
d)4(x)
e)5


14. Qual a negao de cada proposio abaixo?

a) mdc (2,3) = 1 ou mmc (2,3) 6

b)


c)


d)


e)


f)

6
.
5
6
.
5
6
.
5
6
.
5
3
.
1
0
3
.
1
0
3
.
1
0
3
.
1
0


o
u
o
u
o
u
o
u
1
0
1
0
1
0
1
0
6 66 6
5 55 5
3 33 3
= == =
7 77 7 3 33 3








e ee e








1 11 1
7 77 7
3 33 3

2 22 2 4 44 4 4 44 4 2 22 2
2 22 2
= == = = == =
( (( ( ) )) ) 3 33 3 9 99 9 9 99 9 3 33 3
2 22 2
= == =
2 22 2 2 22 2
5 55 5 3 33 3 5 55 5 2 22 2
g)


h)


i) Todo nmero inteiro primo mpar.

j) Todo tringulo issceles eqiltero.

k) Existe um nmero cuja raiz quadrada zero.

i) Existe um losango que no quadrado.
( (( ( ) )) ) ( (( ( ) )) )
2 22 2 x xx x
3 33 3 3 33 3 2 22 2 x xx x x xx x > >> > > >> >
( (( ( ) )) ) ( (( ( ) )) ) 0 00 0 x xx x x xx x < << <