LGICA MATEMTICA

INTRODUO

LGICA MATEMTICA INTRODUO

Metodologia Cientfica e Lgica Formal
A existncia como um todo comporta duas realidades, ao
mesmo tempo distintas e complementares; e s encontram
sentido tendo o Homem como centro de atuao, e a busca do
saber como instrumento natural que almeja, gradativamente,
compreender o real. Essas duas realidades so, de um lado, o
ser questionador (obviamente, estamos falando do Homem) e o
objeto questionado, sendo entendido como objeto todo o
complexo de seres que esto a fora, toda existncia, onde,
sobre esse desconhecido, se debruam as vrias disciplinas
que procuram dar explicaes convincentes em relao aos
aspectos particulares desse objeto. Esses aspectos justificam
a existncia de cada uma dessas disciplinas.

LGICA MATEMTICA INTRODUO

Se faz presente em toda cincia a rigorosidade dos mtodos
utilizados para o estudo do objeto, onde no levada em
considerao apenas a capacidade de apreenso dos sentidos, e
sim o experimento cientfico rigoroso, aplicado cada fenmeno
em particular. Essa metodologia vivenciada principalmente nas
cincias exatas e da natureza. dentro dessa tica que iremos
focar o nosso estudo sobre a Lgica Formal.
H muitas definies para a Lgica, pois trata-se de um assunto
bastante amplo e com muitas aplicaes. Tambm as pessoas
vivem o dia-a-dia colocando em prtica os conceitos
apresentados nos livros e, de certa forma, dominam essa prtica,
de maneira que a dificuldade maior se apresenta na assimilao
dos conceitos.

LGICA MATEMTICA INTRODUO

Um feirante, por exemplo, realiza o tempo todo clculos
matemticos, contas, operaes lgicas das mais diversas; mas
talvez teria dificuldade para representar graficamente em um
primeiro momento - uma equao do tipo 8 + 6 = 14. Tambm
seria difcil para ele interpretar a operao lgica "A B", mas o
mesmo entende perfeitamente a frase "Se vendo, ento tenho
lucro".
Est sendo dito a mesma coisa, porm, de forma diferente, onde a
primeira reservada ao espao acadmico, j a segunda
vivenciada no cotidiano das pessoas. A Lgica Formal trabalha
esses conceitos, estudando as regras gerais do pensamento e a
melhor maneira de aplicao desse conhecimento na busca da
verdade.

LGICA MATEMTICA INTRODUO

Foi encontrado na ndia textos muito antigos que tratavam de
assuntos lgicos, e que poderiam sinalizar que nesse pas
provavelmente teria surgido os primeiros estudos sobre a
Lgica. No entanto, j aceito pelos historiadores que o bero
dessa matria foi a Grcia Antiga, aproximadamente no sculo
IV a. C., sendo os primeiros textos atribudos aos filsofos
conhecidos como Sofistas. Tambm a Parmnides e Zeno.
Porm, foi o grande Aristteles quem organizou de forma
sistemtica esse conhecimento, de maneira que, a partir de
suas reflexes, essa temtica foi elevada ao nvel de cincia.

LGICA MATEMTICA INTRODUO

Para mostrar que os sofistas (mestres da retrica e da oratria)
podiam enganar os cidados utilizando argumentos incorretos,
Aristteles estudou a estrutura lgica da argumentao. Revelando,
assim, que alguns argumentos podem ser convincentes, embora no
sejam corretos. A lgica, segundo Aristteles, um instrumento para
atingir o conhecimento cientfico, baseando-se no silogismo.

Busto de Aristteles filsofo e professor

Nascimento 384 a.C.
Estagira, Calcdica, Grcia Antiga. Morte 322 a.C. (62 anos)
Clcis, na ilha Eubeia.

LGICA MATEMTICA INTRODUO

A finalidade de Aristteles era de buscar a verdade por meio de um
argumento lgico, que nada mais do que um conjunto de proposies
onde, nesse conjunto, as primeiras afirmaes so ditas premissas, e
apresentam um valor lgico; e como consequncia, temos a
concluso, que derivada das premissas. Em um argumento vlido, as
premissas so provas evidentes da verdade da concluso.
Exemplo 01:
Todo homem pensa.
Ren Descartes homem.
Logo, Ren Descartes pensa.
Exemplo 02:
Existem normas acadmicas em toda universidade federal.
A Ufal uma universidade federal.
Logo, na Ufal, existem normas acadmicas

LGICA MATEMTICA INTRODUO

Exemplo 03:
H Caixa Econmica em todas as capitais brasileiras.
Ora, Macei uma capital brasileira.
Logo, em Macei, tem Caixa Econmica.
Deduo e Induo
A deduo um processo mental onde o indivduo admite como vlida
e convincente, uma afirmao declarada; e em conformidade com
esse argumento, chega uma concluso lgica, de forma a no poder
haver contradio entre as premissas e a concluso. Portanto, h um
desdobramento lgico onde possvel, por deduo, atribuir ao
particular as caractersticas encontradas na premissa.

LGICA MATEMTICA INTRODUO

Um argumento dedutivo se diz vlido quando suas premissas, sendo
classificadas como verdadeiras, garantem a veracidade da concluso, pois
impossvel admitirmos premissas verdadeiras e concluso falsa.

O silogismo o exemplo mais conhecido de raciocnio lgico dedutivo.

uma construo lgica, formada por trs proposies: premissa maior,
premissa menor e concluso.
Existe muitas formas de dedues lgicas, mas o silogismo se apresenta
como uma das mais comuns. Independente de sua forma mais popular ou
no, todos os mtodos revelam trs caractersticas fundamentais da Lgica
Matemtica, a saber, o princpio da no contradio, o princpio da
identidade e do terceiro excludo. Tambm a Lgica adotada nesse curso
conceituada como bivalente, isto , a concluso s poder ser verdadeira
(V) ou falsa (F), no havendo outra possibilidade. Esses assuntos fazem
parte da lgica clssica e iremos estud-los mais adiante, tanto o seu
aspecto histrico, como, principalmente, sua aplicabilidade.

LGICA MATEMTICA INTRODUO

No exemplo dado acima, temos:
Todo homem pensa (premissa maior).
Ren Descartes homem (premissa menor).
Logo, Ren Descartes pensa (concluso).
Analisando bem o raciocnio existente nesses silogismos, eles evidenciam a
seguinte regra lgica:
Se X = Y, e Z = Y, logo X = Z.
Como consequncia, pertinente concluir que o elemento Z est contido em X.
Obs.: Pode acontecer que, do ponto de vista do mtodo dedutivo, o raciocnio
esteja correto, e o contedo no seja verdadeiro. perfeitamente possvel
ter uma afirmao que desempenha a funo de premissa, mas que no
seja evidente:

LGICA MATEMTICA INTRODUO

Vejamos um exemplo:
A temperatura chega a 28 todos os meses do ano em Macei.
Ora, janeiro um ms do ano.
Logo, a temperatura chega a 28 no ms de janeiro.
Induo
A induo uma operao realizada pela mente humana que faz o processo
inverso da deduo, ou seja, no mtodo indutivo, a finalidade trabalhar a
observao de fatos particulares para permitir a generalizao de uma
ideia. Os acontecimentos esto presentes na natureza de forma
individualizada, porm revelam caractersticas que so comuns a uma srie
de outros acontecimentos. por conta desse processo de saber lidar com
esses fatos que o Homem passou a formular conceitos para aplic-los de
volta no mundo real, que nada mais so do que generalizaes dos fatos
particulares.

LGICA MATEMTICA INTRODUO

O saber cientfico essencialmente universal, justamente por
pretender estender um conhecimento especfico e limitado a todo
gnero de situaes que expressam uma semelhana de
fenmenos. E a induo satisfaz essa inteno da cincia como
um todo.
Exemplos de induo:
Soltei uma pedra de determinada altura e ela caiu;
Soltei outra pedra de determinada altura e ela caiu;
Soltei mais uma pedra, e tambm esta caiu;
Logo, se eu soltar uma outra pedra de determinada altura, ela vai cair.

LGICA MATEMTICA INTRODUO

O boi mortal.
O cavalo mortal.
O leo mortal.
O gato mortal.
O pssaro mortal.
O homem mortal.

Ora, boi, cavalo, leo, gato, pssaro e homem so mortais.

Logo, todo animal mortal.

LGICA MATEMTICA INTRODUO

A girafa de nmero um tem o pescoo longo.
A girafa de nmero dois tem o pescoo longo.
A girafa de nmero trs tem o pescoo longo.
A girafa de nmero (y) tem o pescoo longo.
Toda girafa tem o pescoo longo.

No estudo dos teoremas matemticos, por exemplo, aplicado

o mtodo dedutivo para fundamentar a relao entre premissa
e concluso que, nesse caso, assumem a forma de Hiptese e
Tese, respectivamente. As representaes so dadas
conforme abaixo:
.

LGICA MATEMTICA INTRODUO

1 - Se Y o conjunto dos nmeros inteiros positivos, ento Y infinito.
2 - Se P, ento Q.
3 - P Q.
4 - P = Q (l-se: "P implica Q").
J um caso contextualizado de induo pode ser aplicado s
pesquisas cientficas de determinada rea da Fsica, onde, por
exemplo, no estudo do movimento retilneo uniforme, suficiente
apenas a anlise particular de alguns objetos, submetidos a
determinadas condies, para formular os conceitos gerais, de
forma que no necessria uma nova verificao do fato para
comprovao do fenmeno, pois a generalizao, uma vez
definida, garante a repetio do fato, sendo mantidas as mesmas
caractersticas dos objetos na experincia.

Posio
Inicial

Posio
1

Posio
2

Posio
3

Tempo 2

Tempo 1

LGICA MATEMTICA INTRODUO

Posio
Final

Portanto, percebemos claramente a diferena entre os mtodos

dedutivo e indutivo, de modo que no primeiro, a caracterstica principal
trabalhar a generalizao de uma proposio dada e, a partir do seu
valor lgico, chegar a uma concluso; j o segundo faz o caminho
inverso: partindo de verdades particulares, experimentadas ao
extremo, constitui seus conceitos e sua viso geral sobre o real. E em
ambos os mtodos os argumentos lgicos so satisfeitos pela relao
entre premissas e concluso.

LGICA MATEMTICA INTRODUO

Lgica Clssica e No Clssica
Tradicionalmente a Lgica Clssica compreendida como uma forma
prpria de organizar os argumentos e de trabalhar os conceitos,
obedecendo os princpios fundamentais da no contradio, do
terceiro excludo e da identidade. E dizemos tambm que a Lgica
Clssica bivalente, admitindo somente concluses verdadeiras (V) ou
falsas (F).
Princpio da No Contradio

Refletindo um pouco sobre o dilema do Ser de Parmnides e do Vir a

Ser de Herclito que, em nosso estudo, apenas ilustra e nos leva a
constatar que o problema da contradio perpassa a Histria, tanto
em situaes corriqueiras da vida, como em obras filosficas de
grandes pensadores e seus discpulos, a nossa reflexo aplicada ao
estudo da Lgica, com sua origem inserida nesse contexto filosfico.

LGICA MATEMTICA INTRODUO

O princpio da no contradio afirma que no podemos classificar
como verdadeiro e falso um mesmo objeto, ao mesmo tempo. Por
exemplo, se afirmo que Todo homem mortal (premissa maior, que
vamos representar por P), e em seguida acrescento que Scrates
homem (premissa menor, que est inclusa em P), como
consequncia lgica nesse caso, por deduo concluo que
Scrates mortal (e chamo isso de Q). Diante dessas premissas,
eu no poderia concluir que Scrates no mortal, pois as
proposies no me autorizam, dentro da lgica bivalente, a concluir
outra coisa, se no, a sua condio de ser mortal.
Simbolicamente, temos uma representao dita condicional do tipo P
Q, e vemos que, se P verdade, ento Q verdade. No posso
ter P como verdade e Q como falsidade.

LGICA MATEMTICA INTRODUO

Princpio do Terceiro Excludo
No mbito da lgica bivalente, no h uma terceira possibilidade, ou
seja, toda proposio s poder ser verdadeira ou falsa, no havendo
possibilidade para uma outra concluso.
Princpio da Identidade
Identidade o princpio que, como o prprio nome diz, identifica,
caracteriza um objeto como sendo aquilo que , e no poder ser outra
coisa. Em outras palavras, no h espao para o relativismo, onde um
mesmo objeto possa ser aceito com outra natureza. Essa abordagem
no admitida no princpio da identidade.
Na expresso se Ren Descartes pensa, ento Ren Descartes pensa
temos a representao simblica P P (voltaremos a falar do
princpio da identidade quando trabalharmos os conceitos de
Tautologias, Contradies e Contingncias).

LGICA MATEMTICA INTRODUO

Negar ao menos um desses princpios da Lgica Clssica permitir a
assimilao de conceitos da Lgica no Clssica, tais como:

Lgica Plurivalente descartada a ideia de bivalncia e assumida a

noo de trivalncia, onde uma proposio pode ser verdadeira, falsa
ou neutra;

Lgica Nebulosa a verdade graduada, ou seja, uma proposio

pode apresentar-se mais verdadeira que a outra;

Lgica da Probabilidade pode haver a possibilidade de uma

proposio ser verdadeira;

Lgica Modal admite a ideia de possibilidade e necessidade, onde,

por exemplo, ao afirmarmos: talvez irei apresentar o seminrio na Ufal
amanh, essa frase participa da ideia de possibilidade.

LGICA MATEMTICA INTRODUO

Portanto, analisando os diferentes tipos de Lgica, percebemos que
todas elas trazem a caracterstica da formalidade, ou seja, dentro de
sua especificidade na abordagem do real, predomina a rigorosidade
prpria da metodologia cientfica. Tambm vemos que os novos
conceitos de lgica surgem em momentos diferentes e obedecem
correntes de pensamento das mais diversas. A Lgica Bivalente a
base desse curso, tendo a meno das demais apenas um carter
exemplificativo.

LGICA MATEMTICA INTRODUO

Proposies e Conectivos
definido como proposio um conjunto formado por palavras ou
smbolos que exprimem um pensamento de sentido completo; so
afirmaes ou juzos que fazemos a respeito de objetos determinados.
Em uma proposio no so admitidas frases interrogativas ou
exclamativas.
Toda proposio apresenta trs caractersticas fundamentais:
1. Sendo uma orao, formada por sujeito e predicado;
2. declarativa;
3. Contempla um, e somente um, dos valores lgicos: ou verdadeira (V)
ou falsa (F).

LGICA MATEMTICA INTRODUO

Exemplos
1. Macei a capital de Alagoas;
2. A Lua um satlite natural da Terra;
3. = b - 4.a.c;
4. 35 53;
5. Chama-se translao o movimento da Terra que determina a passagem
do dia para a noite;
6. 16 + 9 < 8;
7. 5 l 25 (l-se: 5 divisor de 25);
8. 1/4 > 1/2;

LGICA MATEMTICA INTRODUO

Exemplos
1. Pedro lvares Cabral descobriu o Brasil;
2. MDCCCXXIII = 1.823;
3. N Z;
4. {a, b, c, d, e, f} {b, d, g, h, k} = {b, d};
5. {1, 2, 3, 4, 5} {0, 4, 6, 7, 8} = .
As expresses abaixo no so consideradas proposies:
1. A Lua um satlite natural da Terra? (frase interrogativa);
2. 8 * 5 2 (ausncia de predicado);
3. 4x 2 = 30 (no possvel a classificao de verdadeiro ou falso);
4. Estude muito, se quiser ser aprovado! (frase exclamativa).

LGICA MATEMTICA INTRODUO

Uma proposio classificada como simples (atmica) ou composta
(molecular).
A proposio simples aquela que no depende de outra proposio
para ser constituda, e representada por letras minsculas de origem
latina: p, q, r, s, t, ... So chamadas de letras proposicionais.
Exemplos:
1. p: Jos um bom pai;
2. q: Vinte mltiplo de quatro;
3. r: Joo estudante;
4. s: 8 > 4;
5. t: A raiz quadrada de dezesseis 4.

LGICA MATEMTICA INTRODUO

J a proposio composta, como o prprio nome sugere, formada
pela combinao de duas ou mais proposies. A representao
atravs de letras latinas maisculas: P, Q, R, S, T, ..., que tambm so
chamadas de letras proposicionais.
Exemplos:
1. P: Jos um bom pai e Maria uma excelente me;
2. Q: Vinte mltiplo de quatro ou quatro divisor de vinte;
3. R: Se Joo estudante, ento esforado;
4. S: 8 > 4 e 8 < 9;
5. T: A raiz quadrada de dezesseis 4 ou a raiz cbica de 27 3.
Observe que as proposies compostas so formadas por proposies
simples, e so tambm chamadas de frmulas.

LGICA MATEMTICA INTRODUO

Ao pretender evidenciar a composio de uma proposio
composta, basta escrever: P(p, q, r, ...).
Conectivos so palavras utilizadas para a formao de novas
proposies a partir da existncia de outras.
Exemplos:
P: A raiz quadrada de 81 nove e o nmero 7 mpar;
Q: Nove a raiz quadrada de 81 ou 81 mltiplo de nove;
R: No verdade que um crculo mede mais que 360;
S: Se Joo estudante, ento esforado;
T: Jos ser aprovado se e somente se estudar.