Documente Academic
Documente Profesional
Documente Cultură
FICHA CATALOGRFICA
1. Lgica Matemtica
I Ttulo
ISBN: 978-85-399-0255-2
CDD 510.3
04/12
Prefcio
Sumrio
Captulo 1
Lgica ......................................................................................................................................................... 1
Algumas palavras iniciais ..................................................................................................................... 1
Argumentos .......................................................................................................................................... 2
Validade de Argumentos ....................................................................................................................... 4
Exerccios Propostos ............................................................................................................................. 5
Relaes entre premissas e concluso ................................................................................................... 5
Argumento Correto ........................................................................................................................ 5
Argumento Dedutivo x Argumento Indutivo ................................................................................... 6
Falcia ................................................................................................................................................. 6
A Lgica na atualidade ................................................................................................................... 7
Lgica Clssica ............................................................................................................................... 7
As Extenses da Lgica Clssica ............................................................................................................ 8
Desvios da Lgica Clssica: Lgicas Heterodoxas .................................................................................... 8
Captulo 2
Um Breve Histrico .................................................................................................................................... 11
Algumas reflexes .............................................................................................................................. 14
Captulo 3
Lgica Sentencial - Sintaxe ........................................................................................................................ 17
Exerccios Propostos ........................................................................................................................... 21
Algumas curiosidades sobre o uso dos conectivos nas lnguas naturais. ................................................. 22
Linguagem objeto e metalinguagem .................................................................................................... 24
Sumrio
XI
XII
Prova .......................................................................................................................................... 77
Teorema ...................................................................................................................................... 77
Sistema Refutacional .......................................................................................................................... 78
Consequncia Dedutiva no Sistema de Tableaux Semnticos .......................................................... 78
Exerccios Propostos ........................................................................................................................... 79
Sistema Dedutivo de Resoluo para a LS ............................................................................................ 80
Clusula ...................................................................................................................................... 82
Representao de clusulas na notao de conjunto ...................................................................... 82
Representao de frmulas que esto na FNC na notao de conjunto ........................................... 82
Linguagem .................................................................................................................................. 83
Regra de Inferncia ..................................................................................................................... 83
Expanso por resoluo ...................................................................................................................... 84
Prova .......................................................................................................................................... 85
Teorema ...................................................................................................................................... 85
Consequncia Dedutiva no Sistema de Resoluo .......................................................................... 85
Exerccios Propostos ........................................................................................................................... 86
Exerccios de Reviso da LS ................................................................................................................ 87
Captulo 6
Raciocnio Lgico - LS ................................................................................................................................. 93
Captulo 7
As Limitaes da LS e a Necessidade de Ampliar o seu Arcabouo .............................................................. 101
Quantificadores Universal e Existencial .............................................................................................. 103
Captulo 8
Sintaxe da Lgica de Predicados de Primeira Ordem (LPPO) ...................................................................... 105
A Linguagem da LPPO ....................................................................................................................... 105
Termos ...................................................................................................................................... 107
Frmulas ................................................................................................................................... 107
Expresses bem formadas da linguagem da LPPO .............................................................................. 108
Sumrio
XIII
Captulo 1
Lgica
A Cincia, pelo caminho da exatido s tem dois olhos:
a Matemtica e a Lgica.
De Morgan
Argumentos
Para propsitos de iniciarmos nalgum ponto, poderamos dizer que a Lgica,
enquanto domnio do conhecimento.. tem como objeto de estudo e investigao a
validade de argumentos.
Por argumento queremos significar a explicitao de um raciocnio em alguma
linguagem.
Usualmente, na explicitao de um raciocnio, uma ou mais proposies so
enunciadas para justificar, ou fornecer subsdios para outra proposio.
A explicitao do raciocnio em uma determinada linguagem d origem a um objeto
lingustico conhecido pelo nome de argumento, que constitudo de sentenas, dentre
as quais uma delas chamada concluso e as demais premissas.
Por exemplo, nos argumentos (i) e (ii) que se seguem, a proposio: Joo ser
campeo; expressa pelas respectivas concluses. Vejamos:
Captulo 1 - Lgica
(i)
(ii)
Embora Joo ser campeo e John will be the champion sejam sentenas distintas,
expressam a mesma proposio.
Segundo Irving Copi, necessrio distinguir as sentenas das proposies para
cuja afirmao elas podem ser usadas. Duas sentenas (ou oraes declarativas) que
constituem claramente duas oraes distintas, porque consistem de diferentes palavras,
dispostas de modo diferente, podem ter o mesmo significado, no mesmo contexto, e
expressar a mesma proposio.
o caso, por exemplos das duas seguintes sentenas: (a) A fbrica foi invadida
pelos operrios, e (b) Os operrios invadiram a fbrica.
A diferena entre sentenas, i..,oraes declarativas, e proposies evidenciada
ao observar que uma orao declarativa faz parte de uma linguagem determinada, a
linguagem em que ela enunciada, ao passo que as proposies no so peculiares a
nenhuma das linguagens em que podem ser expressas.
As trs sentenas que se seguem so diferentes, embora expressem a mesma
proposio: (c) Eu te amo; (d) I love you e (e) Je taime.
Copi tambm afirma que os termos proposio e enunciado no so sinnimos,
mas no contexto da investigao lgica, so usados numa acepo quase idntica.
Cabe observar que uma mesma sentena pode desempenhar o papel de premissa
em um dado argumento e de concluso em outro. Por exemplo, a sentena Joo ser
campeo que figura como concluso em (i), desempenha o papel de premissa em (iii):
(iii)
Exemplo:
A condio necessria para que Joo seja admitido na empresa, que ele
obtenha mdia superior a sete no concurso, porm sua mdia foi inferior
a sete. Logo, ele no foi admitido.
Em outros argumentos, a concluso vem seguida de uma palavra explicativa tal
como pois, porque, etc., conforme ilustra o exemplo abaixo:
Exemplo:
Eu no fui viajar, pois s iria caso meu salrio tivesse sido aumentado,
mas isso no aconteceu.
no mbito da lgica que se estuda o fator determinante da validade de um
argumento. Em tal contexto investigam-se as relaes que subsistem entre premissas
e concluso para que se possa classificar os argumentos como vlidos ou invlidos.
Validade de Argumentos
Os argumentos vlidos so aqueles em que a verdade das premissas garante a
verdade da concluso; ou em outras palavras, so aqueles em que, ao admitirmos que
as premissas sejam simultaneamente verdadeiras, ento a concluso ser verdadeira.
Outra formulao similar a essas duas : um argumento ser vlido se for impossvel
que sua concluso seja falsa, sempre que suas premissas sejam admitidas verdadeiras.
Vejamos os seguintes exemplos:
Exemplo1: O argumento abaixo vlido.
Eu no fui viajar, pois s iria caso meu salrio tivesse sido aumentado,
porm isso no aconteceu.
Exemplo 2: O argumento abaixo vlido.
A condio necessria para que o Joo seja admitido na empresa, que
ele obtenha mdia superior a sete no concurso, porm isso no aconteceu. Logo, ele no foi admitido.
Exemplo 3: O argumento abaixo invlido.
Maria vai missa apenas aos domingos. Hoje domingo. Logo, Maria foi
missa hoje.
Captulo 1 - Lgica
Trata-se de um argumento invlido, visto que possvel que hoje seja domingo
sem que, contudo, Maria tenha ido missa.
O que uma das premissas assegura que s aos domingos Maria vai missa. Ela
no assegura que Maria vai missa todos os domingos.
Exerccios Propostos
1) Tente reescrever os argumentos que figuram nos exemplos 1, 2 e 3, parafraseando-os.
2) Quantas premissas possuem cada um dos referidos argumentos e quais so elas?
Argumento Correto
Um Argumento correto um argumento vlido cujas premissas so verdadeiras.
Exemplo: O argumento abaixo correto.
3 um nmero par ou primo. 3 no um nmero par. Logo, 3 um
nmero primo.
Falcia
um argumento invlido que parece vlido. Do ponto de vista estritamente lgico,
no h qualquer distino entre argumentos invlidos que so enganadores porque
parecem vlidos, e argumentos invlidos que no so enganadores porque no parecem
vlidos. Mas essa distino relevante, visto que so as falcias que so especialmente
Captulo 1 - Lgica
A Lgica na atualidade
H uma grande variedade de Lgicas, cada qual engendrada com um determinado fim.
Lgica Clssica
Caracteriza-se por respeitar trs princpios basilares:
(i) Princpio da identidade
(ii) Princpio do terceiro-excludo
(iii) Princpio da no contradio
Segundo (i), (ii) e (ii), nessa lgica qualquer sentena implica a si mesma; qualquer
sentena verdadeira ou falsa, no restando uma terceira possibilidade; e nenhuma
sentena verdadeira e falsa simultaneamente.
O ncleo da Lgica Clssica chamado de Lgica Sentencial (LS) e nesse
mbito que se estudam as sentenas e as formas de combinar sentenas a partir de
certas partculas chamadas conectivos lgicos no, e, ou, se,...ento e se e
somente se. Tais conectivos so chamados conectivos por funo-de-verdade, em
virtude da maneira como so definidos: como funes.
No campo rotulado por LS, so apresentadas tcnicas de testar e classificar como
vlidos ou invlidos argumentos cuja validade (ou invalidade) decorre essencialmente
da presena dos conectivos acima citados.
Captulo 1 - Lgica