Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PARA ADMINISTRAO
Andr Luiz Galdino
SUMRIO
1. Noes de Lgica Matemtica
4
16
24
27
fried Wilhelm Leibniz (1646 1716) apresentou uma nova lgica baseada no princpio de notao universal e artificial, bem como num clculo
de signos.
E a partir da, com as diversas contribuies de estudiosos tal como
Gottlob Frege,Giuseppe Peano, Bertrand Russel e George Boole a lgica
foi se transformando at se tornar uma lgebra/clculo com uma nova
linguagem simblica, chamada lgica matemtica. Em outras palavras,
a lgica tornou-se o que de fato vemos hoje, um sistema completo de
smbolos e regras de combinao desses smbolos para obter concluses
vlidas.
1.1 Clculo Proposicional
O objetivo da lgica proposicional modelar o raciocnio, tendo como
base frases declarativas, as quais chamamos de proposies. De outra
forma, a lgica proposicional estuda como raciocinar com afirmaes
que podem ser verdadeiras ou falsas. Ou ainda, como construir a partir
de um certo conjunto de hipteses, verdadeiras num determinado contexto, uma demonstrao (prova) de que uma determinada concluso
verdadeira no mesmo contexto. Sendo um dos exemplos mais simples
de lgica formal, a lgica proposicional considera apenas a forma das
proposies e se elas so verdadeiras ou falsas. Porm, contm praticamente todos os conceitos importantes necessrios para o estudo de
outras lgicas complexas.
Neste sentido, um clculo proposicional consiste em: (1) um conjunto
de smbolos primitivos, definidos como frmulas atmicas, proposies
atmicas, ou variveis; (2) um conjunto de operadores, interpretados
como operadores lgicos ou conectivos lgicos.
Sendo assim, iniciamos por apresentar o conceito de proposio, que
usado num sentido tcnico.
Definio 1.1. Por uma proposio queremos dizer uma declarao que
verdadeira ou falsa, mas no ambos.
deira ou falsa, a nica exigncia que ela deve ser definitivamente uma
coisa ou outra. Sendo assim, assumimos os seguintes princpios:
Princpio da No-Contradio: Uma proposio no pode ser
verdadeira e falsa ao mesmo tempo.
Princpio do Terceiro Excludo: Uma proposio s pode ter dois
valores verdades (valores lgicos), isto , verdadeira (V) ou falsa (F),
no podendo ter outro valor.
Exemplo 1.3. Cada uma das seguintes frases uma proposio:
1) Goinia uma cidade no estado de Gois.
2) 3 + 4 5.
3) A lua e feita de caramelo.
4) No h vida inteligente em Saturno.
5) Est nevando.
6) -1 raz da equao x2 x + 1 = 0.
7) As pirmides do Egito so feitas de gelo.
8) Tinha um mosquito na Arca de No.
9) Todo gato um felino.
Claramente, (a) e (i) so verdadeiras, enquanto (b), (c), (f) e (g) so
falsas. Podemos ter dvidas quanto ao status (verdadeiro ou falso) de
(d) e (h). A veracidade ou falsidade da sentena (e) depende do local e
das condies meteorolgicas no instante em que essa declarao feita.
Exemplo 1.4. As frases seguintes no so proposies, porque no faz
sentido questionar se alguma delas verdadeira ou falsa.
ou
1) Vamos a praia!
Exerccios Propostos
Determine se cada uma das seguintes sentenas uma proposio.
1. Em 7 de junho de 1442 nevou em algum lugar no Rio Grande
do Sul.
2. Aristteles tinha ps chatos.
3. O socialismo est errado.
4. O homem mais rico do mundo o Sr. Astrnio, de Terra
Roxa.
5. O filme fogo contra fogo bom.
6. x2 = 1
7. Joana e Pedro so pessoas boas.
8. Eu estou usando facebook.
9. Quanto vale este carro?
10. Saia da grama.
11. (x + y)2 = x2 + y 2 .
12. Use sempre cinto de segurana.
13. Beethoven escreveu algumas das msicas de Chopin.
14. No minta!
Definio 1.5. As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto.
Exemplo 1.6. Fique atento estrutura das seguintes proposies universais.
1) Todos os homens so mentirosos. Esta proposio universal afirmativa.
2) Toda regra certa. Esta proposio universal afirmativa.
3) Nenhum homem mentiroso. Esta proposio universal negativa.
4) Nenhuma bola quadrada. Esta proposio universal negativa.
Na Definio 1.5 inclumos o caso, universal, em que o sujeito unitrio.
5) A vaca berra.
6) O filho tem me.
7) Aucar doce.
8) Peixe nada.
Definio 1.7. As proposies existenciais so aquelas em que o predicado refere-se apenas a uma parte do conjunto.
Exemplo 1.8. Fique atento estrutura das seguintes proposies existenciais.
1) Alguns homens so mentirosos. Esta proposio existencial afirmativa.
Exerccios Propostos
Verifique quais das seguintes so proposies universais, existenciais, afirmativas ou negativas.
1. Todos os homens de bigode so preguiosos.
2. Nenhum pedreiro eletricista.
3. Alguns peixes respiram ar.
4. Algum estudante tem uma camisa azul.
5. Todo ser humano mortal.
6. Todos os quadrados tem quatro lados.
7. Alguns nmeros reais so racionais.
8. Nenhum cachorro mia.
9. Todo nmero entre 0 e 1 menor que 1.
10. Alguns homens so criminosos.
11. Nenhuma mulher ciumenta.
12. Todos os dias so ensolarados.
13. Nenhuma mulher deve apanhar de um homem.
A pergunta que surge naturalmente : Tudo bem! Entendi a definio, mas como vou construir proposies compostas? A resposta a
essa pergunta simples. Para construir proposies compostas usamos
as palavras e, ou, Se ..., ento e se, e somente se, chamadas
conectivos.
Sabemos ainda que existem palavras que modificam o sentido de uma
frase. Por exemplo, a palavra no. Quando usamos a palavra no o
resultado a negao da frase original. Por exemplo, se temos a frase:
A terra um planeta. Com a palavra no teremos a negao desta
frase, que , A terra no um planeta.
6) Se x2 = 1 , ento x = 1 ou x = 1.
7) |y| = 0 se, e somente se, y = 0.
8) Se voc est com fome, ento coma um sanduche.
9) Se voc no est entendendo, ento deve se esforar mais.
10) Voc no tem nada a dizer ou est mentindo.
11) Eu queria um bolo e algo menos calrico.
Exemplo 1.13. Observe as seguintes proposies compostas e extraia
delas as proposies simples.
1) A lua quadrada ou a neve branca.
(a) A lua quadrada. (simples)
(b) A neve branca. (simples)
2) Se o inferno ficar frio ento eu me caso com voc.
(a) O inferno fica frio. (simples)
(b) Eu me caso com voc. (simples)
3) Se o meu carro pifar e o meu amigo for a festa, ento eu fico em casa.
(a) O meu carro pifa. (simples)
(b) Meu amigo vai a festa. (simples)
(c) Eu fico em casa. (simples)
4) Aplico a prova se, e somente se, os alunos aparecerem e estivem todos
de branco.
(a) Aplico a prova. (simples)
(b) Os alunos aparecem. (simples)
Fundamentos de Lgica para Administrao
10
Exerccios Propostos
Extraia das proposies compostas dadas, as proposies simples.
Na seqncia, com essas mesmas proposies simples, construa
novas proposies compostas, diferentes das j dadas.
1. 3 maior que 1 se, e somente se, 1 for menor que 3.
2. Se Maria for ao cinema, ento Joo fica em casa e Letcia
joga video game.
3. um nmero irracional e a raiz quadrada de 4 2.
4. Trabalho durante o jogo ou vou dormir.
5. O gato pequeno e o cachorro bravo.
6. O gato pequeno ou o cachorro no bravo.
7. Se esse exemplo sobre lgica, ento meu carro vermelho
e o gato no pequeno.
8. Se o gato pequeno, ento o cachorro bravo.
9. O gato pequeno se, e somente se, o cachorro no bravo.
10. Se x2 = 1, ento x = 1 ou x = 1.
11. |y| = 0 se, e somente se, y = 0.
12. No verdade que no esta chovendo.
14. Se eu ganhar na mega-sena ou receber uma herana milionria, ento fico milionrio.
15. Se voc est com fome, ento coma um sanduche.
16. Se voc no est entendendo, ento deve se esforar mais.
17. Voc no tem nada a dizer ou est mentindo.
18. Eu queria um bolo e algo menos calrico.
11
q: O gato um animal.
12
q: O gato um animal.
p q: A terra uma estrela ou o gato um animal.
Definio 1.20. O conectivo se..., ento representado pelo smbolo
, Com o conectivo lgico obtemos a partir de duas proposies p e
q, uma nova proposio p q (l-se: Se p , ento q) chamada implicao
ou condicional.
Exemplo 1.21. Observe que este conectivo tambm age sobre duas
proposies.
p: A terra uma estrela.
q: O gato um animal.
p q: Se a terra uma estrela, ento o gato um animal.
Definio 1.22. O conectivo se, e somente se representado pelo
smbolo . Com o conectivo lgico obtemos a partir de duas proposies p e q, uma nova proposio p q (l-se: p se, e somente se, q)
chamada dupla implicao ou bicondicional.
Exemplo 1.23. Observe que este conectivo tambm age sobre duas
proposies.
p: A terra uma estrela.
q: O gato um animal.
p q: A terra uma estrela se, e somente se, o gato um animal.
Alm das variveis proposicionais e dos conectivos lgicos, usamos um
smbolo auxiliar, a saber os parnteses ( ), para evitar ambiguidades e
delimitar o alcance de cada conectivo. Considere a proposio:
ou
p (q r)
p q r.
13
Temos ainda a possibilidade de haver mais de uma ocorrncia, consecutivas, do mesmo conectivo, e neste caso adotaremos a conveno pela
direita, ou seja, se temos a proposio
pqrth
colocamos primeiro os parnteses no ltimo conectivo a direita, depois
no penltimo e assim por diante, ou seja, a proposio acima deve ser
entendida como
(p (q (r (t h))))
Exemplo 1.24. Se temos a proposio
p q r p q
colocamos os parnteses obedecendo a order dos conectivos apresentada
anteriormente e, dessa forma, obtemos:
(((p q) ( r)) (p ( q)))
Exemplo 1.25. Escreva as seguintes proposies em linguagem simblica, colocando apropriadamente os parnteses.
1) Se o cachorro latir e o gato miar, ento a lua uma estrela.
Sendo p: o cachorro late, q: o gato mia e r: a lua uma estrela, vem
que:
(p q) r
2) O cachorro late e se o gato miar, ento a lua uma estrela.
Sendo p, q e r representando as proposies como no item anterior,
vem que:
p (q r)
14
Exerccios Propostos
15
16
pq
(p q) r
((pq) r)
Consequentemente, como a proposio dada possui 6 subproposies, a sua Tabela Verdade possui 6 colunas e a primeira linha
desta tabela dada por:
2. De L linhas em que esto todos os possveis valores verdade, V
ou F, que as proposies simples contidas em P possam assumir. O nmero destas linhas L = 2n , sendo n o nmero de
proposies simples contidas em P . No exemplo acima, a frmula
((p q) r) contm 3 proposies simples p, q e r e, portanto,
a Tabela Verdade dessa proposio vai conter L = 23 = 8 linhas,
que representam as possibilidades combinatrias entre os valores
verdade de p, q e r. A saber:
Tabela 1.2: Possibilidades combinatrias entre os valores verdade de p, q e r.
pq
(p q) r
((pq) r)
17
18
pq
pq
Definio 1.32. A implicao p q ser falsa somente quando a proposio p for verdadeira e a proposio q for falsa.
pq
Definio 1.33. A dupla implicao p q ser verdadeira se as proposies p e q tiverem o mesmo valor verdade, isto , ou ambas verdadeiras,
ou ambas falsas.
Exemplo 1.34. Determine os possveis valores verdade das proposies
a seguir, ou seja, construa sua Tabela Verdade.
1. (p q) r
Temos que a proposio em questo possui trs proposies simples, p, q e r, e o seu conjunto de subproposies
{p, q, r, p q, (p q) r}
19
pq
20
pq
(p q) r
pq
(p q) r
q p
21
Nesta tabela, o principal conectivo na terceira e na quarta coluna a negao , portanto, so construdas com base na Tabela
Verdade da negao (Definio 1.29), observando a segunda e a
primeira coluna, respectivamente. J na ltima coluna, o principal conectivo , e construda com base na Tabela Verdade
da implicao (Definio 1.32), observando a terceira e a quarta
coluna.
3. p q
A proposio possui o seguinte conjunto de subproposies:
{p, q, p, p q}
Portanto, sua Tabela Verdade dada por:
Tabela 1.11: Tabela Verdade da proposio p q.
pq
22
Exerccios Propostos
Quando achar necessrio coloque apropriadamente os parnteses
e construa as Tabelas Verdade das seguintes proposies:
1. (p r) (q r)
2. p (p q)
3. q (p q)
4. (p q) ( p)
5. p (q r)
6. p (p q) q
7. q (p q) p
8. (p q) (q r) (p r)
9. (p q) p q
10. p q p
11. p p q
12. (p (q r)) q p r
13. (p r) (q r) (p q) r
15. p (q r) (p q) (p r)
16. p (q r) (p q) (p r)
17. p (q r) (p q) (p r)
18. p (q r) (p q) (p r)
14. (p q) (p q) (q p)
23
p p
24
pq
p (p q)
p (p q) q
25
pq
q (p q)
(p q)
pq
p q
(p q) p q
q(p q) p
p p
pq
(p q)
(p q) p
26
pq
qp
(pq)
(pq) (qp)
pp
pq
p q pq
27
28
p
q
pq
pq
(p q) p
(p q) p q
q p
p q q p
Exerccios Propostos
p (p q) q
q (p q) p
(p q) (q r) (p r)
(p q) p q
(e) Simplificao:
pq p
(f) Adio:
ppq
(p (q r)) q p r
(p r) (q r) (p q) r
( p) p
p q q p
p (q r) q (p r)
ppp
ppp
(p q) r p (q r)
(p q) r p (q r)
(p q) p q
(p q) p q
p q p q
pq qp
pq qp
(g) Eliminao:
29
pq qp
pq qp
(p q) r p (q r)
(p q) r p (q r)
ppp
ppp
(g) Absoro:
p (p r) p
(h) Absoro:
p (p r) p
p (q r) (p q) (p r)
p (q r) (p q) (p r)
(p q) p q
(p q) p q
p q p q
p q (p q)
p q (p q) (q p)
30
( p) p
(s) Negao:
(t) Contraposio:
(u) Troca de Premissas:
p q q p
p (q r) q (p r)