Lgica

Introduo
Origem da Lgica
Na Grcia Antiga, 342 a.C, em meio a
embates filosficos, Aristteles sistematizou a
Lgica com o intuito de verificar que
argumentos eram vlidos, elevando-a assim
categoria de cincia.

Em sua obra chamada Organum (ferramenta

para o correto pensar), estabeleceu princpios
to gerais e slidos que at hoje so
considerados vlidos.
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 de
conceitos e juzos que levariam descoberta
de novas verdades. Essa forma de
encadeamento chamada, em Lgica, de
argumento.
Argumento
Um argumento uma seqncia de proposies
(declaraes/afirmaes) na qual uma delas a
concluso e as demais so premissas.

Uma proposio (ou declarao/afirmao) uma

sentena que pode ser verdadeira ou falsa

O objeto de estudo da lgica determinar se a

concluso de um argumento ou no uma
consequncia lgica das premissas.
 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 consequncia lgica das
premissas, ou ainda que a concluso uma
inferncia decorrente das premissas.
Validade de um Argumento

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
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.)
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.)
Validade de um Argumento
A lgica se preocupa com o relacionamento
entre as premissas e a concluso, 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).
Deduo e Induo
Algumas das ferramentas que podem
ser utilizadas pelo pensamento na
busca de novos conhecimentos so a
deduo e a induo, que do origem a
dois tipos de argumentos: Dedutivos e
Indutivos.
Argumentos Dedutivos
Pretendem que suas premissas
forneam uma prova conclusiva da
veracidade da concluso e 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.
Argumentos Dedutivos
Exemplos de argumentos dedutivos:

Os dois exemplos anteriores (um vlido e

outro invlido)

Outro exemplo:
Todo homem mortal.
Scrates um homem.
Logo, Scrates mortal.
(Argumento Vlido)
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, so

avaliados de acordo com a maior ou a menor
probabilidade com que suas concluses sejam
estabelecidas.
 Argumentos Indutivos
Exemplo:

Joguei uma pedra no lago, e ela

(Argumento Indutivo)

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

A Lgica Formal s estuda Argumentos

Dedutivos, verificando se so ou no
vlidos.
Validade e Verdade
Verdade e Falsidade: so propriedades
das proposies, nunca dos argumentos

Validade ou Invalidade: so proprie-

dades dos argumentos dedutivos que
dizem respeito a inferncia ser ou no
vlida (raciocnio ser ou no correto)
 Validade e Verdade
Exemplo 1
Toda baleia um mamfero (V)
Todo mamfero tem pulmes (V)
Logo, toda baleia tem pulmes (V)

Argumento vlido e a concluso verdadeira.

 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

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.
 Avaliao de um Argumento

Principal propsito de um argumento:

Demonstrar que uma concluso provvel
ou verdadeira.

Como avaliar que um argumento atinge

ou no esse propsito? (Se ele
vlido?)
 Avaliao de um Argumento

Critrios usados para avaliar um

argumento:
Se todas as premissas so verdadeiras;
Se, dada a verdade das premissas, a
concluso ao menos provvel;
Se as premissas so relevantes para a
concluso;
 Validade e Probabilidade Indutiva.
Argumentos Dedutivo e Argumentos Indutivos
Os argumentos podem ser classificados em
duas categorias:
Argumento dedutivo
Argumento cuja concluso deve ser verdadeira se suas
premissas bsicas forem verdadeiras.
Em outras palavras - um argumento dedutivo quando:
se as premissas forem verdadeiras impossvel a
concluso ser falsa.

Argumento indutivo (ou dedutivo invlido)

Argumento cuja concluso no necessria, dadas
suas premissas bsicas.
 Validade e Probabilidade Indutiva.
Argumentos Dedutivo e Argumentos Indutivos.
Exemplos
1) . Todo homem mortal )
it vo lid
o
. Scrates um homem d u V
De g .
Scrates mortal A r
(
2) . Freqentemente quando chove fica nublado
. Est chovendo )
o
it vo v il d
Est nublado
d u I n
In rg .
A
(
 Validade e Probabilidade Indutiva.
Argumentos Dedutivo e Argumentos Indutivos.
Exerccios
1)
. No h registros de seres humanos com mais
de 5 metros de altura.
Nunca tivemos um ser humano com mais de 5
metros de altura.
2)
. Alguns porcos tem asas
. Todas as coisas aladas gorjeiam
Alguns porcos gorjeiam
 Validade e Probabilidade Indutiva.
Argumentos Dedutivo e Argumentos Indutivos.
Exerccios
3)
. Se houver uma guerra nuclear, a civilizao ser destruda.
. Haver uma guerra nuclear
A civilizao ser destruda por uma guerra nuclear.

4)
. O cloreto de potssio , quimicamente, muito similar ao sal
de cozinha (cloreto de sdio).
O Cloreto de potssio tem sabor igual ao do sal de cozinha.
 Argumento Dedutivo e Argumento Indutivo

Exerccios

Avalie os seguinte argumentos com relao aos critrios 1 e 2:

1)
. Todos tem um e um s pai biolgico.
. Os irmos tem o mesmo pai biolgico.
. Ningum pai biolgico de si mesmo.
No h pai biolgico que seja tambm seu irmo.
 Argumento Dedutivo e Argumento Indutivo
Exerccios
2)
. Os visitantes da China quase nunca contraem malria no pas.
. Jos est visitando a China.
Jos no contrair malria na China.
3)
. Eu sonho com monstros.
. Meu irmo sonha tambm com monstros.

Todas as pessoas sonham com monstros.

 Argumento Complexo
Exerccios
3) "Todos os argumentos so ou indutivos ou dedutivos. O
que voc est lendo agora um argumento. Este
argumento no indutivo. Este argumento dedutivo.

4) "No existe o maior nmero primo. Mas de todos os

nmeros primos sempre podemos imaginar que
certamente existe um maior. Logo, existem nmeros
primos maiores do que qualquer um que possamos
imaginar."
Argumentos
Qual o tipo de argumento que estudaremos?
A Lgica Formal estuda o argumento dedutivo no
sentido tradicional

O objetivo da Lgica Formal mostrar a validade de

certas formas de argumento (estruturas).

O estudo das formas de argumento facilita a

verificao da validade dos argumentos.

Na Lgica formal estudaremos formas bsicas do

raciocnio lgico de um ponto de vista sinttico
(manipulao de smbolos) e em seguida os
princpios semnticos que justificam estas formas de
raciocnio.
Lgica Proposicional
 Lgica Proposicional
At agora estudamos a Lgica de
maneira informal.

A Lgica formal o estudo de formas de

argumento, isto , regras de raciocnio
comum em vrios argumentos.
 Formas de Argumento
Exemplos:
1. . Hoje segunda-feira ou sexta-feira.
. Hoje no segunda-feira.
Hoje sexta-feira.

2. . Rembrandt pintou a Mona Lisa ou Michelngelo

a pintou.
. No foi Rembrandt quem a pintou.
Michelngelo pintou a Mona Lisa.

3. . Ele menor de 18 anos ou um irresponsvel.

. Ele no menor de 18 anos.
Ele um irresponsvel.
 Formas de Argumento
Os 3 argumentos so da seguinte forma:
. P ou Q
. No o caso que P
Q

As letras P e Q representam sentenas

declarativas: (smbolos sentenciais).
P pode representar: Hoje segunda-feira.
Q pode representar: Hoje sexta-feira.
 Formas de Argumento
A lgica trata de formas de argumentos que consistem de letras
sentenciais combinadas com as expresses:
No o caso que negao
E conjuno
Ou disjuno
Se ... Ento implicao ou condicional
Se e somente se bi-implicao,equivalncia ou bicondicional

Essas expresses so chamadas de operadores ou conectivos lgicos.

 Formas de Argumento
Conectivo No o caso que
Essa expresso prefixa uma sentena para formar uma
nova sentena, a negao da primeira.
Exemplo: No o caso que ele fumante
a negao da sentena
Ele fumante'.

Variaes gramaticais dessa negao:

Ele no-fumante,
Ele no fumante
Ele no fuma.
 Formas de Argumento
Conectivo E
Uma composio constituindo-se de duas sentenas
ligadas por 'e' chama-se conjuno.
Exemplo: Chove e faz calor

Obs: em linguagem natural, e s vezes sugere sequencia

temporal
Ele ganhou na loto e enriqueceu.

A conjuno tambm pode ser expressa por palavras como:

'mas', 'todavia', 'embora', 'contudo', alm do mais, no
entanto, apesar disso...
Chove mas faz calor
 Formas de Argumento
Conectivo Ou
Um enunciado composto consistindo de
duas sentenas ligadas por 'ou' chama-se
disjuno.

Exemplo: Chove ou faz calor

 Formas de Argumento
Conectivo Se ... ento
Enunciados do tipo se... ento ... chamam-se
condicionais ou implicaes .

O enunciado subseqente ao 'se' chama-se o

antecedente e o subseqente ao 'ento' chama-se
o conseqente.

Forma do condicional:
Se antecedente ento conseqente
Ex: Se sinto frio ento visto o casaco
 Formas de Argumento
Conectivo Se ... ento
Uma implicao tambm pode ser expressa na ordem
inversa.

Visto o casaco se sentir frio

mantm a semntica de

Se sentir frio, visto o casaco

Se sentir frio ento visto o casaco
 Formas de Argumento
Conectivo Se ... ento
Variaes gramaticais da implicao:
Se P ento Q
P implica em Q; P, logo Q
P s se Q; P somente se Q
P apenas se Q; P s quando Q
Q se P ; Q segue de P
 Formas de Argumento
Conectivo Se e somente se
Os enunciados formados com a expresso ...se e
somente se... so chamados bicondicionais ou
equivalncias .

Exemplo:
T um tringulo se e somente se T um polgono
de trs lados
 Formas de Argumento
Conectivo Se e somente se
Um bicondicional pode ser considerado uma conjuno
de dois condicionais:

1. P se e somente se Q
2. P se Q e P somente se Q
3. Se Q ento P e P somente se Q
4. Se Q ento P e Se P ento Q
que equivale a:
5. Se P ento Q e Se Q ento P
 Formas de Argumento
Formalizao
Para facilitar o reconhecimento e comparao de
formas de argumento, cada operador lgico
representado por um smbolo:
No o caso que: ~ ou

E: ^ ou &

Ou: v

Se ... ento:
Se e somente se:
 Formalizao:
Linguagem da Lgica Proposicional
Alfabeto
Smbolos de pontuao: (,)
Smbolos de verdade: true, false
Smbolos proposicionais: P, Q, R, S, P1, Q1, P2,
Q2...
Conectivos proposicionais: ,v,^, ,
 Linguagem da Lgica Proposicional
(cont.)
Frmula
Todo smbolo de verdade ou proposicional uma
frmula da Lgica Proposicional
Se H frmula ento (H) tambm
Se H e G so frmulas, ento (HvG), (H^G),
(HG) e (HG) tambm so
Exerccios:
1) Quais das expresses seguintes so
frmulas e quais no so:

a) R
b) ( R)
c) PQ
d) (PQ)
e) (P ^ Q)
 Linguagem da Lgica
Proposicional (cont.)
Ordem de precedncia

,
^,v
Subfrmula: Se H frmula
H uma subfrmula
Se H=(G), ento G subfrmula de H
Se H do tipo (EvG), (E^G), (EG) ou (EG), ento E
e G so subfrmulas de H
Se G subfrmula de H, ento toda subfrmula de G
tambm subfrmula de H
 Formas de Argumento
Formalizao
Exemplo de formalizao: Simbolize o argumento
que segue e o represente na Forma Padro.

A proposta de auxlio est no correio. Se os rbitros

a receberem at sexta-feira, eles a analisaro.
Portanto, eles a analisaro porque se a proposta
estiver no correio, eles a recebero at sexta-feira.
(C, S, A)
 Soluo:
A proposta de auxlio est no correio. Se os rbitros
a receberem at sexta-feira, eles a analisaro.
Portanto, eles a analisaro porque se a proposta
estiver no correio, eles a recebero at sexta-feira.
C: A proposta de auxlio est no correio.
S: Os rbitros recebem a proposta at Sexta-feira.
A: Os rbitros analisaro a proposta.

. C
. SA
. CS {C, SA, CS} |-- A
A
 Formas de Argumento
Composio de conectivos
Nem ... Nem ...

Nem Jos nem Maria estavam em casa

J Jos estava em casa

M Maria estava em casa

(J v M)
 Formas de Argumento
Composio de conectivos (cont.)
A menos que...

Jos ir festa, a menos que Maria v.

J Jos ir festa
M Maria ir festa

J M
 Formas de Argumento
Formalizao
A linguagem consistindo das letras sentenciais e
dos operadores lgicos juntamente com as regras
a serem empregadas, chama-se a Lgica
Proposicional ou Clculo Proposicional.
A palavra Clculo empregada no sentido de
avaliao ou raciocnio e no no sentido de
diferenciao ou integrao
O objetivo fundamental do Clculo/Lgica provar
a validade de certas formas de argumento.