INTRODUO LGICA MATEMTICA

Prof. Mateus Bernardes - UTFPR 03/06/2013

Que a Lgica? Que a Matemtica?

Como expresso da mente humana, a matemtica reflete a vontade ativa, a razo contemplativa e o desejo de perfeio esttica. Os seus elementos fundamentais so a lgica e a intuio, a anlise e a construo, a generalidade e a individualidade.

Tradies distintas podem por em evidncia aspectos diversos, mas somente a reao destas foras antgonas e sua luta pela sua sntese que constituem a vida, a utilidade e o valor supremo da cincia matemtica.
(Courant & Robbins, Que a Matemtica?)

EXPERIMENTOS

INTUITIVOS:

1 EXP: LQUIDOS QUE TIAGO BEBE:

1) UMA VEZ QUE:

COCA-COLA UM LQUIDO PRETO HOJE TIAGO BEBEU COCA-COLA

CONCLUSO:

HOJE TIAGO BEBEU UM LQUIDO PRETO

2) UMA VEZ QUE:

COCA-COLA E CAF SO LQUIDOS PRETOS HOJE TIAGO NO BEBEU COCACOLA
O QUE POSSVEL CONCLUIR?

ALTERNATIVAS:
TIAGO NO BEBEU UM LQUIDO PRETO; (?) TIAGO NO BEBEU QUALQUER COISA; (?) TIAGO NO BEBEU COCA-COLA;
(?)

SOLUO:
FALSO: TIAGO PODE TER TOMADO CAF. IMPOSSVEL DETERMINAR: TIAGO PODE (OU NO) TER BEBIDO LQUIDO DE OUTRA COR UMA DAS PREMISSAS (ou HIPTESES), PORTANTO J SE SABIA DE ANTEMO: NO CONCLUSO.

3) UMA VEZ QUE:

COCA-COLA E CAF SO LQUIDOS PRETOS HOJE TIAGO NO BEBEU UM LQUIDO PRETO
O QUE POSSVEL CONCLUIR?

ALTERNATIVAS:
TIAGO NO BEBEU UM LQUIDO PRETO; (?) TIAGO NO BEBEU QUALQUER COISA; (?) TIAGO NO BEBEU COCA-COLA;
(?)

TIAGO NO BEBEU CAF; (?)

SOLUO:
UMA DAS PREMISSAS (ou HIPTESES), PORTANTO J SE SABIA DE ANTEMO: NO CONCLUSO. IMPOSSVEL DETERMINAR: TIAGO PODE (OU NO) TER BEBIDO LQUIDO DE OUTRA COR. VERDADEIRO! VERDADEIRO!

Sentena:
COCA-COLA UM LQUIDO PRETO (PREMISSA) HOJE TIAGO BEBEU COCA-COLA (PREMISSA) HOJE TIAGO BEBEU UM LQUIDO PRETO (CONCLUSO)

Estrutura lgica:
P: Coca-cola um lquido preto Q: Caf um lquido preto R: Tiago bebeu Coca-cola T: Tiago bebeu um lquido preto

De P e Q e R serem verdadeiras se conclui que T tambm verdadeira

Sentena:
COCA-COLA E CAF SO LQUIDOS PRETOS (PREMISSA) HOJE TIAGO NO BEBEU BEBEU UM LQUIDO PRETO (PREMISSA)

HOJE TIAGO NO BEBEU CAF (COCA-COLA) (CONCLUSO)

Estrutura lgica:
P: Coca-cola um lquido preto Q: Caf um lquido preto R: Tiago bebeu um lquido preto T: Tiago bebeu Coca-cola

De P e Q e (a negao de) R serem verdadeiras se conclui que (a negao de) T tambm verdadeira

2 EXP: LQUIDOS QUE TIAGO BEBE (REVISITADO):

CONSIDERANDO QUE:
COCA-COLA um lquido BRANCO; LEITE um lquido AZUL; GUARAN um lquido PRETO; GUA um lquido VERDE; CAF um lquido VERMELHO.

SENTENA:
COCA-COLA UM LQUIDO BRANCO (PREMISSA)
HOJE TIAGO BEBEU COCA-COLA (PREMISSA)

CONCLUSO
TIAGO BEBEU UM LQUIDO BRANCO

SENTENA:
COCA-COLA UM LQUIDO BRANCO (PREMISSA) LEITE UM LQUIDO AZUL (PREMISSA) HOJE TIAGO NO BEBEU COCA-COLA MAS SIM UM LQUIDO AZUL (PREMISSA)

CONCLUSO
TIAGO NO BEBEU UM LQUIDO BRANCO E SIM TIAGO BEBEU LEITE

NO CONFUNDA:
VERDADE com LEGITIMIDADE

VERDADE x LEGITIMIDADE:
COCA-COLA UM LQUIDO BRANCO (NO VERDADE) LEITE UM LQUIDO AZUL (NO VERDADE) HOJE TIAGO NO BEBEU COCA-COLA MAS SIM UM LQUIDO AZUL (NO ACESSVEL)

MAS a CONCLUSO:
TIAGO NO BEBEU UM LQUIDO BRANCO E SIM TIAGO BEBEU LEITE

LEGTIMA!!!

Do que trata a LGICA

A lgica investiga a relao de consequncia que acontece entre as premissas e a concluso de uma argumento (sentena) verdadeira. Um argumento dito verdadeiro se sua concluso segue ou uma consequncia de suas premissas.
(MATES, Elementary Logic)