Lgica Matemtica

Introduo

Definio

A Lgica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigao da verdade.

Origem

Aristteles - filsofo grego - 342 a.C, sistematizou os conhecimentos existentes em Lgica, elevando-os categoria de cincia.

Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princpios to gerais e to slidos que at hoje so considerados vlidos.
3

Origem

Aristteles se preocupava com as formas de raciocnio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. A partir dos conhecimentos tidos como verdadeiros, caberia Lgica a formulao de leis gerais de encadeamentos lgicos que levariam descoberta de novas verdades. Essa forma de encadeamento chamada, em Lgica, de argumento.
4

Argumento

Um argumento uma seqncia de proposies na qual uma delas a concluso e as demais so premissas. As premissas justificam a concluso. Proposies: sentenas afirmativas que podem ser verdadeiras ou falsas. Premissas: afirmaes disponveis Exemplo:
Todo aluno de Computao precisa estudar Lgica. Jos aluno de Computao. Logo, Jos precisa estudar Lgica.

(premissa) (premissa) (concluso)

5

Argumento

O objetivo de um argumento justificar uma afirmao que se faz, ou dar as razes para uma certa concluso obtida. Exemplo:

Voc me traiu. Pois, disse que ia estudar e meu irmo lhe viu na boate.

Um argumento demonstra/prova como a partir dos dados de um problema chegou-se a uma concluso.
6

Argumento:
Raciocnio e Inferncia

Exerccio 1:
Um turista est andando pela terra dos honestos e mentirosos. L, as pessoas so radicais, umas s falam a verdade e outras s falam mentiras. Chegou a hora do almoo e o turista encontra-se numa estrada com uma bifurcao. O turista sabe que um dos caminhos para um restaurante e o outro para um abismo, mas no sabe distingui-los. Nesta bifurcao ele encontra um homem nativo. Naturalmente o turista no sabe se ele honesto ou mentiroso. Como o turista descobre o caminho para o restaurante fazendo uma nica pergunta a esse nativo?

Argumento:
Raciocnio e Inferncia

Exerccio 2:
Um rei resolveu dar a liberdade a um de seus trs prisioneiros. Mandou trazer trs chapus brancos e dois vermelhos. Vendou os olhos dos prisioneiros, colocou um chapu em cada um e depois foi retirando a venda dos olhos deles. Ganharia a liberdade aquele que soubesse dizer, de forma convincente, a cor do seu prprio chapu olhando para os outros prisioneiros. Os dois primeiros no souberam dizer. O terceiro, antes que o rei lhe tirasse a venda dos olhos, afirmou com toda certeza a cor do seu chapu. Qual a cor do chapu do terceiro prisioneiro? Justifique.
8

Argumento:
Raciocnio e Inferncia

Para convencer que voc sabe a resposta (que no um chute) voc tem de expor as razes que o levaram a concluso (justificar).
Pontos de Partida
Raciocnio ou Processo de Inferncia

Caminhos Seguidos

Concluso

Um argumento poderia ser considerado uma reconstruo explcita do raciocnio efetuado

Argumento:
Raciocnio e Inferncia

Inferncia a relao que permite passar das premissas para a concluso (um encadeamento lgico)
A palavra inferncia vem do latim, Inferre, e significa conduzir para
10

Argumento

O objeto de estudo da lgica determinar se a concluso de um argumento ou no decorrente das premissas (uma inferncia).

11

Validade de um Argumento

Em um argumento vlido, as premissas so consideradas provas evidentes da verdade da concluso, caso contrrio no vlido. Quando vlido, podemos dizer que a concluso uma conseqncia lgica das premissas, ou ainda que a concluso uma inferncia decorrente das premissas.
12

Validade de um Argumento

Exemplo 1: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico. Eu ganhei na Loteria. Logo, sou rico.

Vlido

(a concluso uma decorrncia lgica das duas premissas.)

13

Validade de um Argumento

Exemplo 2: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico Eu no ganhei na Loteria Logo, no sou rico

No Vlido

(a concluso no uma decorrncia lgica das duas premissas.)

14

Validade de um Argumento

A lgica se preocupa com o relacionamento entre as premissas e a concluso, ou seja, com a estrutura e a forma do raciocnio. A verdade do contedo de cada premissa e da concluso estudo das demais cincias.
A validade do argumento est diretamente ligada forma pela qual ele se apresenta (Lgica Formal estuda a forma dos argumentos).
15

Deduo e Induo

A Lgica dispe de duas ferramentas que podem ser utilizadas pelo pensamento na busca de novos conhecimentos: a deduo e a induo, que do origem a dois tipos de argumentos: Dedutivos e Indutivos.

16

Argumentos Dedutivos

Os Argumentos Dedutivos pretendem que suas premissas forneam uma prova conclusiva da veracidade da concluso. Podem ser: Vlidos: quando suas premissas, se verdadeiras, fornecem provas convincentes para a concluso. Isto , se as premissas forem verdadeiras, impossvel que a concluso seja falsa; Invlidos: no se verifica a caracterstica anterior.
17

Argumentos Dedutivos

Exemplos de argumentos dedutivos:

Ela toca piano ou violo. Ela toca piano. Logo, ela no toca violo. Todo homem mortal. Scrates um homem. Logo, Scrates mortal.
Argumento Invlido

Argumento Vlido

18

Argumentos Indutivos

Os Argumentos Indutivos no pretendem que suas premissas forneam provas cabais da veracidade da concluso, mas apenas que forneam indicaes dessa veracidade. (possibilidade, probabilidade) Seguem do Raciocnio Indutivo, isto , obtm concluses baseada em observaes/experincias. Enquanto que um Raciocnio Dedutivo exigi uma prova formal sobre a validade do argumento. Os termos vlidos e invlidos no se aplicam para os argumentos indutivos. Eles so avaliados de acordo com a maior ou a menor probabilidade com que suas concluses sejam estabelecidas.
19

Argumentos Indutivos

Exemplo1:
Joguei uma pedra no lago, e ela afundou; Joguei outra pedra no lago e ela tambm afundou; Joguei mais uma pedra no lago, e ela tambm afundou; Logo, se eu jogar uma outra pedra no lago, ela vai afundar.

20

Argumentos Indutivos

Exemplo2:
A vacina funcionou bem nos ratos. A vacina funcionou bem nos macacos. Logo, vai funcionar bem nos humanos.

Exemplo3: 80% dos entrevistados vo votar no candidato X. Logo, o candidato X vai vencer as eleies.
21

Argumentos Indutivos

A Lgica Formal Clssica s estuda Argumentos Dedutivos, verificando se so ou no vlidos.

22

Validade e Verdade

Verdade e Falsidade: so propriedades das proposies, nunca dos argumentos

Validade ou Invalidade: so propriedades dos argumentos dedutivos que dizem respeito a inferncia ser ou no vlida (raciocnio ser ou no correto)
23

Validade e Verdade

Exemplo 1
Toda baleia um mamfero Todo mamfero tem pulmes Logo, toda baleia tem pulmes (V) (V) (V)

Argumento vlido e a concluso verdadeira.

24

Validade e Verdade

Exemplo 2
Toda aranha tem seis pernas (F) Todo ser de seis pernas tem asas (F) Logo, toda aranha tem asas (F)

Argumento vlido e a concluso falsa

25

Validade e Verdade

Os conceitos de argumento vlido ou invlido so independentes da verdade ou falsidade de suas premissas e concluso. Qualquer combinao de valores verdade entre as premissas e a concluso possvel, exceto que nenhum argumento dedutivo vlido tenha as premissas verdadeiras e a concluso falsa.

Um argumento dedutivo no qual todas as premissas so verdadeiras dito Argumento Correto, evidentemente sua concluso tambm verdadeira.

26

Lgica Clssica e Lgica Simblica.

Lgica Informal formula os argumentos em linguagem natural, mas enfrenta problemas de ambigidade e de construes confusas.

A Lgica Simblica ou Lgica Matemtica utiliza smbolos de origem matemtica para formular os argumentos.

Tabalho iniciado pelo matemtico ingls George Boole (1815 1864) Algebra Booleana. e consolidado pelo filsofo e matemtico alemo Goottlob Frege (1848 1895) Regras de Demonstrao Matemtica.
27

Lgica Clssica e Lgica Simblica.

Uma vez que , a Lgica Simblica tem sua prpria linguagem tcnica, um instrumento poderoso para a anlise e a deduo dos argumentos, especialmente com o uso do computador (Prova Automtica de

Teoremas).

Tradicionalmente a Lgica tem sido estudada para orientaes filosficas e matemticas. Na computao, ela utilizada para representar problemas e para obter suas solues.
28

O que estudaremos nessa disciplina?

Argumentos (estrutura, formalizao e validade). Sistemas Lgicos (Lgica Proposicional e Lgica de 1 ordem) e provas de suas propriedades bsicas (teoremas). Mtodos Algortmicos para testar se uma frmula de um sistema lgico verdadeira ou no (Prova Automtica de Teoremas). Aplicaes de Prova Automtica de Teoremas na resoluo de problemas em reas da computao. Um pouco de Programao em Lgica

29

Referncia Bibliogrfica para esta parte introdutria

Apostila de Introduo Lgica Matemtica; Prof. Antnio de Almeida Pinho; Rio de Janeiro, 1999; Registro MEC 19124.

Copy, Irving M., Introduo Lgica, Ed. Mestre Jou , So Paulo, SP, 1974.
Mortari, Cezar A.; Introduo Lgica; Imprensa OFICIAL; Ed. UNESP
30