Introduo Lgica Elementar

Rafael Santos Mendes

1. Dois problemas 2. Forma lgica 3. Linguagem da lgica e linguagem natural 4. O que lgica 5. Sistemas Formais 6. Os teoremas de Gdel

Introduo Lgica Elementar 1

1. Dois Problemas
Consideremos os seguintes problemas: P1: Uma fbrica tem dois tipos de mquinas (M1 e M2) e trs grupos de funcionrios para oper-las: F1 s opera mquinas do tipo M1 F2 s opera mquinas do tipo M2 F3 opera qualquer mquina F1 F3 F2 M2 M1

Os turnos de trabalho so tais que sempre h funcionrios dos grupo F2 ou do grupo F3 trabalhando. Num dado momento, sabe-se que h funcionrios do grupo F1 trabalhando, mas no h nenhuma mquina do tipo M2 em operao. Pergunta-se: H algum funcionrio do grupo F3 operando alguma mquina do tipo M1? Introduo Lgica Elementar 2

P2: Numa eleio para senador h 2 vagas e 3 candidatos (A, B e C). A promete a construo de estradas; C promete diminuio do desemprego. Supondo-se que A favorito e que o desemprego no v diminuir, quais so as perspectivas para o candidato B e para os empreiteiros ?

O que h em comum entre os problemas P1 e P2 ?

Tentaremos mostrar que ambos tem estritamente a mesma forma lgica.

Introduo Lgica Elementar 3

Algumas tabelas-verdade: As variveis P e Q representam proposies

P 0 0 1 1

Q 0 1 0 1

PQ 0 1 1 1 PQ 1 1 0 1

interpretao: ou

P 0 0 1 1

Q 0 1 0 1

interpretao: se ... ento ...

Motivao: Se o tempo estiver bom (ento) eu vou praia

(Supondo que o tempo no esteja bom, o que devo fazer?)

Introduo Lgica Elementar 4

Modelo lgico para P1: Vamos considerar as variveis F1, F2 , F3, M1 e M2 que assumiro os seguintes valores: 0 se nenhuma mquina ou funcionrio do respectivo grupo estiver em ao; 1 se alguma mquina ou funcionrio do respectivo grupo estiver em ao. As condies: F1 s opera mquinas do tipo M1 F2 s opera mquinas do tipo M2 F2 e F3 nunca esto simultaneamente ausentes equivalem a: F1 M1 F2 M2 F2 F3 Alm disso F1=1 e M2=0 Concluso: F3=1 e M1=1

Introduo Lgica Elementar 5

Modelo lgico para P2: Variveis: A, B, C, CE, DD A CE C DD A=1 BC DD=0 B=1 ento CE=1

ou seja, B ser eleito e os empreiteiros tero trabalho As solues de ambos os problemas esto baseadas no fato lgico de que as frmulas

PQ RS P TR S

tem como consequncia lgica:

T Q

Introduo Lgica Elementar 6

2. Forma Lgica

Embora os problemas anteriores sejam de natureza diferente, constatamos que possuem a mesma forma lgica. De uma maneira geral, a lgica se ocupa das relaes de consequncia entre as premissas e a concluso de um argumento correto. Um argumento correto se sua concluso segue das premissas.

Concluir que uma concluso segue das premissas transcende a compreenso do significado das premissas. Observe-se que, em P2, embora a premissa C DD seja questionvel, o argumento est correto.

Introduo Lgica Elementar 7

Outros exemplos de argumentos:

Todo homem mortal; Todos os gregos so homens; Portanto todos os gregos so mortais.

Existem 136 caixas de laranjas no armazm; Cada caixa contm no mnimo 140 laranjas; Cada caixa contm no mximo 166 laranjas; Portanto existem no armazm pelo menos 6 caixas com o mesmo nmero de laranjas.

O nmero de estrelas par e maior que 4; Portanto o nmero de estrelas a soma de dois nmeros primos.

Introduo Lgica Elementar 8

 importante observar que a lgica no se ocupa da veracidade das premissas mas das consequncias de as premissas serem verdadeiras ou falsas. No interessa a veracidade das premissas mas se elas forem verdadeiras ento as concluses tambm so. Num argumento correto, no pode acontecer de as premissas serem verdadeiras e as concluses falsas. Todas as outras alternativas so possveis:

Premissas verd. falsas falsas

Concluso verd. falsa verd.

Introduo Lgica Elementar 9

3. Linguagem da lgica e linguagem natural

Das discusses precedentes uma questo adquire particular importncia: Qual a relao entre a linguagem natural e a linguagem da lgica? Uma sentena uma expresso lingustica que estabelece um pensamento completo. Usualmente so declarativas, interrogativas ou imperativas. As sentenas declarativas tem por caractersticas serem verdadeiras ou falsas. Do ponto de vista da lgica clssica, interessa-se apenas pelas sentenas declarativas. Usualmente a lgica estabelece uma linguagem artificial, visando explicitar a forma lgica das sentenas declarativas. Esta linguagem em geral simblica, simples e regular. O passo seguinte estabelecer relaes de consequncia entre expresses desta linguagem.

Introduo Lgica Elementar 10

4. O que lgica
A definio de uma linguagem artificial feita em duas etapas: definio de um alfabeto e estabelecimento de regras de formao. As expresses resultantes so chamadas de frmulas da lgica. Ex.: (P Q) uma frmula; P (( no uma frmula.

Uma linguagem artificial ter utilidade se puder ser interpretada, ou seja, se fr possvel atribuir s suas frmulas algum significado.
Nos problemas P1 e P2 a interpretao das frmulas clara

Uma interpretao o processo pelo qual se associa a uma linguagem artificial um significado. Ao final deste processo, a toda frmula da lgica ser atribudo um valor-verdade (verdadeiro ou falso, 0 ou 1 etc.)

Introduo Lgica Elementar 11

Se uma frmula fr verdadeira em qualquer interpretao possvel ento ela dita uma frmula vlida. Ex.: P P P P

As frmula vlidas tem um papel central em lgica.

Um problema fundamental se apresenta: dada uma frmula, como decidir se ela ou no vlida ?

Para alguns sistemas, possvel estabelecer um procedimento finito para responder a esta questo. Um exemplo tpico o Clculo Proposicional, no qual esto expressos os problemas P1 e P2.

Introduo Lgica Elementar 12

Para outros sistemas no existe tal procedimento. Exemplo: Uma demonstrao de um teorema matemtico geralmente no exaustiva. (Como conferir que em todos os tringulos retngulos o quadrado da hipotenusa igual soma dos quadrados dos catetos?)

Torna-se necessrio propor um sistema formal que permita obter as frmulas vlidas do sistema.

Um sistema formal tem por caractersticas principais, no ser interpretado e ser definido por regras estritas.

Em razo destas caractersticas, a deduo de uma frmula no estar sujeita aos erros provindos das interpretaes. (A histria da matemtica, em particular do clculo, exemplifica este tipo de erro.)

Introduo Lgica Elementar 13

5. Sistemas Formais
Um sistema formal constitudo dos componentes: Uma linguagem artificial, constituda de um alfabeto e de regras de formao; Um conjunto de regras de transformao ou regras de inferncia; Um conjunto de axiomas. Uma deduo uma sequncia frmulas onde cada frmula ou um axioma ou foi obtida a partir das frmulas j presentes na sequncia atravs da aplicao das regras de transformao. Uma frmula dedutvel se ela aparecer em alguma deduo. Dado um sistema lgico S, sejam: VS = conjunto das frmulas vlidas de S; DS = conjunto das frmulas dedutves de S. S dito correto sse: DS VS S dito completo sse: VS DS

Introduo Lgica Elementar 14

Trs figuras se destacam no desenvolvimento dos sistemas formais: Hilbert, que insistiu na questo da no-interpretao dos sistemas; Cantor, que props uma teoria de conjuntos; Russel, que tentou axiomatizar esta teoria a partir de postulados ingnuos. Contudo, a teoria dos conjuntos baseada em axiomas ingnuos admite conjuntos muito grandes, e portanto contradies: Antinomia de Russel: Seja T o conjunto de todos os conjuntos que no so membros deles prprios. T pertence a ele prprio? Soluo: Axiomas no-ingnuos e perda do carter natural da teoria dos conjuntos.

Introduo Lgica Elementar 15

6. Os teoremas de Gdel

A Lgica Elementar

Clculo Proposicional (lgebra de Boole)

Clculo de Predicados de 1a ordem.

Clculo de Predicados de ordem superior. (contm praticamente toda a Matemtica)

Todas as frmulas do clculo proposicional so decidveis por um procedimento finito. 1o teorema de Gdel: O clculo de predicados de 1a ordem correto e completo. 2o teorema de Gdel: O clculo de predicados de ordem superior no pode ser consistente e completo.

Introduo Lgica Elementar 16