Universidade do Estado de Santa Catarina CCT/UDESC

INTRODUO A LGICA

THOBER CORADI DETOFENO,

MSC.
Aula 04
JOINVILLE

Histria da Lgica
PERODO ARISTOTLICO ( 390 a.C. a 1840 d.C.)
A histria da Lgica tem incio com o filsofo grego ARISTTELES (384
322 a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a
cincia da Lgica cuja essncia era a teoria do silogismo (certa forma de
argumento vlido). Seus escritos foram reunidos na obra denominada
Organon ou Instrumento da Cincia.

Aps sua descoberta, ela permaneceu praticamente intacta por mais

de dois mil anos, sendo retocada em detalhes de pouca importncia.
E. Kant chegou mesmo a asseverar que a cincia descoberta pelo
Estagirita se constitua numa cincia acabada: a lgica no havia
dado nenhum passo para diante e nenhum para trs.
GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de
seus trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram
apreciados e conhecidos no sculo XIX .

Histria da Lgica
PERODO BOOLEANO ( 1840 a 1910)
Inicia-se
com
GEORGE BOOLE
(1815-1864)
e
AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da
chamada lgebra da lgica, respectivamente com MATHEMATICAL
ANALYSIS OF LOGIC e FORMAL LOGIC.
GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da
lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s
foram reconhecidas pelos lgicos mais ou menos a partir de 1905.
devido a Frege o desenvolvimento da lgica que se seguiu.
GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca,
Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a
essa escola italiana.

Histria da Lgica
PERODO ATUAL (1910 - ...)
Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD
(1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA
MATHEMATICA.
DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays,
Ackerman e outros.
KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas
importantes contribuies.
Surgem as Lgicas no-clssicas: N.C.A. DA COSTA com as lgicas
paraconsistentes , L. A. ZADEH com a lgica "fuzzy" e as contribuies dessas
lgicas para a Informtica, no campo da Inteligncia Artificial com os Sistemas
Especialistas.
Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas
reas do conhecimento.

O que Lgica?
Observemos que o pblico no especialista costuma empregar o termo
lgica em vrias acepes: por exemplo, costumamos ouvir expresses
como a lgica do amor, a lgica do tcnico de futebol, a lgica do
presidente, e assim por diante.
Uma definio popular de lgica : Lgica o estudo das inferncias
(raciocnios) vlidos. Tal definio no est incorreta, porm, ela no
adequada se observarmos o que a Lgica modernamente. Por exemplo, a
Lgica de Fuzzy, um ramo importante da Lgica atualmente, dificilmente se
enquadraria nessa definio.
Outra definio que encontramos em algumas obras de Lgica a
seguinte: Lgica o estudo do raciocnio feito pelos matemticos...
Uma definio que nos parece mais adequada: Lgica o que os lgicos
cultivam ou o que est nos tratados de Lgica.
No existe uma definio satisfatria de Lgica. Tal questo pertence
Filosofia que trata, entre outras coisas, de temas que no possuem
resposta cabal.

Conceito de Lgica
Para Aristteles, a Lgica no era uma cincia terica, prtica ou
produtiva, mas, sim, um instrumento para todas as cincias. A Lgica
Matemtica lida com a formalizao e a anlise de tipos de
argumentao utilizados na Matemtica.
Parte do problema com a formalizao da argumentao matemtica
a necessidade de se especificar de maneira precisa uma linguagem
matemtica formal. Linguagens naturais (Portugus ou Ingls) no
servem para este propsito: elas so muito complexas e esto em
constante modificao, alm de serem ambguas.
Por outro lado, linguagens de programao, que so rigidamente
definidas, so muito mais simples e menos flexveis que as linguagens
naturais. Diante disso, a Lgica tenta justamente combinar os
benefcios das duas anteriores.

Exerccio de Lgica
1. Lgica matemtica:

Qual a lgica da seqncia dos nmeros e quem x?

2,4,4, 6,5, 4,4,4, 4,x

10 11 12 13 x = 9
2,10,12,16,17,18,19, x ?
x = 200
1,11,21,1211,111221, x ?
x = 312211
2. Charadas: lgica filosfica.

2,4,4,6,5,4,4,4,4, x ?

Um homem olhava uma foto, e algum lhe

perguntou: De quem essa foto? Ao que ele
respondeu: No tenho irmos nem irms, mas o
filho deste homem filho de meu pai. De quem
esta foto?

O homem olhava a foto de seu pai.

Teste de Lgica
1. Voc est numa cela onde existem duas portas, cada
uma vigiada por um guarda. Existe uma porta que d para
a liberdade, e outra para a morte. Voc est livre para
escolher a porta que quiser e por ela sair. Poder fazer
apenas uma pergunta a um dos dois guardas que vigiam
as portas. Um dos guardas sempre fala a verdade, e o
outro sempre mente e voc no sabe quem o mentiroso
e quem fala a verdade. Que pergunta voc faria?
Pergunte a qualquer um deles: Qual a porta que o seu
companheiro apontaria como sendo a porta da liberdade?
Explicao: O mentiroso apontaria a porta da morte como sendo a porta que o
seu companheiro (o sincero) diria que a porta da liberdade. E o sincero,
sabendo que seu companheiro sempre mente, diria que ele apontaria a porta da
morte como sendo a porta da liberdade.
Concluso: Os dois apontariam a porta da morte como sendo a porta que o seu
companheiro diria ser a porta da liberdade. Portanto, s seguir pela outra porta.

Teste de Lgica
2. Voc prisioneiro de uma tribo indgena que conhece
todos os segredos do Universo e portanto sabem de
tudo. Voc est para receber sua sentena de morte.
O cacique o desafia: "Faa uma afirmao qualquer. Se
o que voc falar for mentira voc morrer na fogueira,
se falar uma verdade voc ser afogado. Se no
pudermos definir sua afirmao como verdade ou
mentira, ns te libertaremos. O que voc diria?
Afirme que voc morrer na fogueira.

Explicao: Se voc realmente morrer na fogueira, isto uma verdade,

ento voc deveria morrer afogado, mas se voc for afogado a afirmao
seria uma mentira, e voc teria que morrer na fogueira.
Concluso: Mesmo que eles pudessem prever o futuro, cairiam neste
impasse e voc seria libertado.

Teste de Lgica
3. Epimnides era um grego da cidade de Minos. Dizem que ele tem a
fama de mentir muito.
Certa vez, o mesmo citou esta passagem:
Era uma vez um bode que disse:
- Quando a mentira nunca desvendada, quem est mentindo sou eu.
Em seguida o leo disse:
- Se o bode for um mentiroso, o que o drago diz tambm mentira.
Por fim o drago disse:
- Quem for capaz de desvendar a minha mentira, ento, ele estar
dizendo a verdade.
Qual deles est mentindo?

Este teste mais conhecido como paradoxo de Epimnides!

Ao tentar responder ao enigma, encontram-se informaes que se ligam
umas s outras e acabam no levando a resposta alguma. Esse enigma
pode ser denominado como Paradoxo do mentiroso.
Veja o exemplo de um paradoxo simples e interessante:
A afirmao abaixo verdadeira.
A afirmao acima falsa.

Paradoxo do Carto
Proposto pelo matemtico britnico P. Jourdain, em 1913: suponhase que numa das faces de um carto esteja escrita a frase

Pergunta-se, a sentena escrita em cada um dos lados do carto

verdadeira ou falsa ? E a resposta que cada uma das sentenas
verdadeira se, e somente se, for falsa.

Clculo Proposicional
O clculo proposicional o estudo da
linguagem proposicional. Ela estuda
basicamente cinco smbolos:

Clculo Proposicional
As sentenas abaixo so as ditas sentenas declarativas. Tais sentenas so sentenas,
como o prprio nome diz, que declaram (afirmam) algo. Portanto, o que afirmam
passvel de ser considerada ou como verdadeira, ou como falsa. Vejamos alguns
exemplos.
Exemplo 1. Exemplos de sentenas declarativas.

1. A neve branca. (verdadeira)

2. 2 + 2 = 5 (falsa)
3. H cinco milhes de gros de areia na lua. (ningum contou os gros;
mas sabemos ou que verdade, ou que falsa (provavelmente falsa)).
Daqui em diante, toda sentena (declarativa) que trabalharmos ou verdadeira ou falsa,
mas nunca ambas simultaneamente. Da a lgica clssica ser chamada de lgica
bivalente. Existem vrias notaes para designarmos os valores-verdade ou valoreslgicos das sentenas.
Adotaremos neste texto a notao booleana:

1 designa o valor-verdade verdadeiro

0 designa o valor-verdade falso

Clculo Propocisional
Negao (
Dada a proposio A podemos considerar a proposio (A) denominada a negao
de A. Como a proposio A ou verdadeira ou falsa, a tabela-verdade da negao
toma ento a seguinte forma:
Tabela-verdade da negao.

A proposio A verdadeira se e somente se sua negao (A) falsa.

1. Seja A(2 + 2 = 4) (no caso, verdadeira). Ento ( A) ( (2 + 2 = 4)) constitui
uma sentena falsa. Na aritmtica comum, costuma-se escrever a ltima expresso
como 2 + 2 4.
2.Seja B (2 {1, 3, 5}) (no caso, falsa). Logo, (B) ( (2 {1, 3, 5}) constitui uma
sentena verdadeira. Na linguagem da Teoria dos Conjuntos (ver [Abe & Papavero,
92]), a ltima expresso usualmente escrita como 2 {1, 3, 5}.

Clculo Propocisional
Conjuno (
Dadas as proposies A e B podemos considerar a nova proposio (A B), a
conjuno de A e B.
A veracidade ou falsidade da proposio (A B) depende da veracidade ou falsidade da
proposio A e da proposio B. Logo, a tabela-verdade de (A B) possui quatro
possibilidades de valores-verdade para A e B.
1. A verdadeira e B tambm verdadeira.
2. A verdadeira e B falsa.
3. A falsa e B verdadeira.
4. A falsa e B tambm falsa.
Postulamos que a proposio (A B) verdadeira se e somente se ambas as
proposies A e B so verdadeiras. A proposio (A B) falsa se e somente se
uma das proposies A ou B for falsa.

Clculo Propocisional
Conjuno (
Tabela-verdade da conjuno:

Exemplo:

Observao. Convm frisar algumas diferenas entre os conectivos (lgico) e e (da lngua
portuguesa). Na linguagem proposicional, se A e B so frmulas, ento (A B) e (B A) so
logicamente equivalentes. Com efeito, vejamos os exemplos seguintes:
a) (2 + 2 = 4 1 2) e
b) (1 2 2 + 2 = 4)

possuem o mesmo significado.

Clculo Propocisional
Disjuno (
Postulamos que a proposio (A B) verdadeira se e somente se uma das proposies
(ou ambas) A ou B so verdadeiras. A proposio (A B) falsa se e somente se
quando ambas proposies A e B for falsa.

Exemplo:

Clculo Propocisional
Disjuno Exclusiva(
Na linguagem natural, muitas vezes o conectivo ou possui idia de excluso: Bianca
vai ao supermercado ou vai escola.
Neste caso, claro que Bianca vai fazer uma coisa ou outra, mas no ambas
simultaneamente. O conectivo que leva em conta a observao anterior chama-se
disjuno exclusiva.
Em Lgica, como se observou, uma disjuno verdadeira quando uma das
proposies constituintes verdadeira ou, tambm, quando ambas so verdadeiras
simultaneamente.

Clculo Propocisional
Implicao ou
Condicionamento
()
Na lgica e na matemtica, a implicao, ou condicional a indicao
do tipo "SE...ENTO", indicando que uma condio deve ser satisfeita
necessariamente para que a outra seja verdadeira. Por exemplo, a
expresso: "Se Joo esquia, Maria nada" uma implicao.
Na lgica booleana, as implicaes retornam FALSO se, e somente se,
o antecedente VERDADEIRO e o conseqente FALSO.
Dadas as proposies A e B podemos considerar a nova proposio (AB), a
implicao de B por A. A proposio A chama-se antecedente da implicao (A B) e
B chama-se o conseqente da implicao (AB).

Clculo Propocisional
Implicao ou
Condicionamento ()

Quem diz uma frase da forma se p, ento q est dizendo apenas se p for
verdadeiro, ento q tambm verdadeiro.
EXEMPLO. Quem diz se Pedro passa no vestibular, ento Pedro ganha um
carro s est mentindo se ocorrer o seguinte: Pedro passa no vestibular e Pedro
no ganha um carro.
Se nos perguntarem: "Quando 'se Pedro passa no vestibular, ento Pedro ganha um
carro' falso?" Teremos que responder: Ora, o nico caso quando Pedro passa no
vestibular e Pedro no ganha o carro.
Para entender isso completamente, consideremos todos os quatro casos:
(i) No caso em que p verdadeiro e que q verdadeiro, temos se p, ento q
verdadeiro
(ii) No caso em que p verdadeiro e que q falso , temos se p, ento q falso.
(iii) No caso em que p falso e que q verdadeiro , temos se p, ento q
verdadeiro.
(iv) No caso em que p falso e que q falso, temos se p, ento q verdadeiro .
OBS. Note que o nico caso que se p, ento q falso, o caso (ii), i.e. quando p
verdadeiro e q falso. (No esquea isso jamais.)

Clculo Propocisional
Bi-implicao ou
Bicondicionamento
()
Dadas as proposies
A e B podemos considerar a nova proposio
(AB), a biimplicao de A e B.
Postulamos que a proposio (AB) verdadeira se e somente se as proposies A e B
possuem o mesmo valor-verdade. A proposio (AB) falsa se e somente se as
proposies A e B tiverem valores-verdade trocados.

Linguagem simblica X
natural
(A)

(A B)

(A B)

No A;

A ou B ou ambos.

A e B;

No se d que A;

A, mas B;

No fato que A;

A, embora B;

No verdade que A;

A, assim como B;

No que A;

A e, alm disso, B;

No se tem A.

Tanto A como B;
A e tambm B;
No s A, mas tambm B;
A, apesar de B.

Linguagem simblica X
natural
(AB)

(AB)

(AB)

se A, ento B;

B, se A;

A se e s se B;

se A, isto significa que B;

B, quando A;

A se e somente se B;

tendo-se A, ento B;

B, no caso de A;

A quando e somente quando B;

quando A, ento B;

A, s se B;

A eqivale a B;

sempre que A, B;

A, somente quando B;

B, sempre que se tenha A;

A, s no caso de B;

Uma condio necessria e

suficiente

B, contanto que A;

A implica B,

para A B;

A condio suficiente para B;

A acarreta B,

B condio necessria para A;

B implicada por A.

A condio necessria e
suficiente

Uma condio suficiente para B A;

Uma condio necessria para A B;

para B

Resumo da Tabela Verdade

Exerccios
Responda sucintamente.
1. Dar algumas definies usuais do que Lgica. A Lgica uma Cincia?
Discutir de forma breve.
2. O que postura platnica ?
3. Comente o por qu a lgica clssica esteve estagnada por mais de dois
milnios.
4. Quando pode ser considerado o incio da lgica moderna ?
5. Quem foi o introdutor dos smbolos em lgica ?
6. O que teoria dos conjuntos Cantoriana ?
7. A matemtica que voc viu at agora feita em que teoria de conjuntos ?
8. Qual o prmio de maior prestgio em matemtica ?
9. Por qu no existe prmio Nobel em Matemtica ?
10. Quais so algumas das principais reas de pesquisa em Lgica Clssica
na atualidade ?

Exerccio
11. Entenda e descreva 3 Paradoxos semnticos?
12. Qual a diferena do paradoxo semntico e do paradoxo lgico?
13. Sejam as proposies A O livro interessante e B O livro caro.
Fornecer uma sentena na linguagem natural que descreva cada uma das
simbolizaes abaixo:
a) (A)

b) (A B)

d) (B (A))

e) ((A) (B))

c) (A B)

14. Sejam as sentenas: A A neve branca e B O sol um astro.

Determinar o valor-verdade das sentenas abaixo:
a) [A (B)]

b) [(A B)]

d) [(A) (B)]

e) [A(B)]

c) [(A) B]

Exerccio
15. Em que casos as sentenas abaixo so falsas? (Em cada item estude todas as possibilidades)
a) Ela mineira e ele paraense.
b) Ela mineira ou ele paraense.
c) falso que ela mineira e ele paraense.
d) falso que ela mineira e falso que ele paraense.
16. Sejam as expresses A O cu azul, B Deus existe e C O Sol gira em torno da
Terra. Fornecer uma sentena na linguagem natural que descreva cada uma das afirmaes
abaixo:
a) (A) b) (A B) c) ((A B) C)
d) (B (C)) e) [(A) (B)]

f) [((A) C)]

g) [(A (B))] h) (C (B))

17. Escreva as sentenas em linguagem simblica abaixo utilizando os conectivos , e .
a) No verdade que Galileu esteja certo.
b) A gua no pode ser simultaneamente lquida e slida.
c) O seguro da casa inclui incndio ou roubo.
d) Compro ou no compro.
e) No estudarei hoje, mas estudarei amanh e quarta-feira.

Exerccio
18. Indiquemos por A Est calor e por B vero. Escrever em forma simblica as
seguintes afirmaes:
a) vero somente se est calor.
b) Uma condio necessria para estar calor que seja vero.
c) Uma condio suficiente para estar calor que seja vero.
d) Sempre que vero, faz calor.
e) Nunca vero, quando est calor.
19 Escreva as sentenas a seguir em linguagem simblica, usando sentenas bsicas (ou atmicas),
isto , as sentenas que no podem ser construdas a partir de outras sentenas.
a) Se Antnio est feliz, a esposa do Antnio no est feliz, e se o Antnio no est feliz, a
esposa do Antnio no est feliz.
b) Ou Antnio vir festa e Pedro no, ou Antnio no vir festa e Pedro se divertir.
c) Uma condio necessria e suficiente para o rei ser feliz ele ter vinho, mulheres e
msica.
d) Teresa vai ao cinema s se o filme for uma comdia.

Exerccio
20. Traduza as sentenas abaixo, dado o seguinte esquema:
A Clarissa sorri B Clarissa desperta
D Clarissa fica indecisa
a) (BA)

C Clarissa vai praia

E Clarissa sente o sol

b) (AC) c) ((DC) (A(B (E))))

21. Simbolize as sentenas abaixo, dado o seguinte esquema:

A o estudante comete erros, B h motivao para o estudo,

C o estudante aprende a matria.

a) Se o estudante no comete erros, ento ele aprende a matria.

b) Se no h motivao para o estudo, ento o estudante no aprende a matria.
c) Se h motivao para o estudo, o estudante no comete erros.
d) O estudante aprende a matria se, e somente se, h motivao para o estudo.
22. Traduza as sentenas abaixo, dado o seguinte esquema:
A h nuvens,
a) (AB)

B chover,

b) (A(D))

e) (A (B C))

C ventar.D far bom tempo amanh.

c) ((D) (B C))

f) ((A B) C)

d) ((A) D)

g) (A(B C)) h) ((AB)C)

i) ((AB) ((C) D)) j) (A((B C) D))