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

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
8

Argumento

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

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.
10

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.)

11

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.)

12

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).
13

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.

14

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.
15

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

16

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.
17

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.

18

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.
19

Argumentos Indutivos

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

20

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)
21

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.

22

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

23

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.

24

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.
25

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.
26

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
27

Exerccios de fixao

01) Qual dos cinco se parece menos com os outros quatro? URSO COBRA VACA CACHORRO TIGRE
28

Exerccios de fixao

02) Se voc reordenar as letras "ECHOOL o resultado ser o nome de um: OCEANO PAS CIDADE ESTADO ANIMAL

29

Exerccio de fixao

03) Qual dos cinco desenhos representa a melhor comparao?

30

Exerccios de fixao

04) Qual das cinco alternativas representa a melhor comparao?

AMOR est para ROMA assim como 5232 est para

A) 2523 B)3252 C) 2325 D)3225 E)5223

31

Exerccios de fixao

05) Qual dos nmeros no pertence srie? 9-7-8-6 7-5-6-3

32

Exerccios de fixao

06) Joo mais alto que Pedro, e Antnio mais baixo que Joo.

Qual das afirmativas abaixo estaria mais certa?

(A) Antnio mais alto que Pedro. (B) Antnio mais baixo que Pedro. (C) Antnio tem a mesma altura que Pedro. (D) impossvel dizer quem mais alto, se Antnio ou Pedro
33

Exerccios de fixao (desafio)

*) Um peixe tem 9 centmetros de cabea . A cauda tem o tamanho da cabea mais a metade do tamanho do corpo. O corpo tem o tamanho da cabea mais a cauda. Qual o comprimento do peixe? 27 / 54 / 63 72 / 81
34