Introduo Lgica

Prof. Tarcizio Antnio Fernandes

Lgica


A Lgica tem, por objeto de estudo, as
leis gerais do pensamento, e as formas
de aplicar essas leis corretamente na
investigao da verdade

Lgica




A lgica a cincia do raciocnio

Lgica




A lgica a cincia do raciocnio

Lgica
Por que aprender lgica?
A lgica necessria, pois nos auxilia no raciocnio e na
compreenso de conceitos bsicos de qualquer disciplina que nos
dispomos a estudar, nos preparando, assim, para o entendimento do
contedo de tpicos mais avanados.
A lgica trata das maneiras de encadear nosso raciocnio para
justificar nossas concluses a partir de fatos bsicos, ou seja, trata
das formas de argumentao. Ela se preocupa com o que se pode ou
no concluir a partir de certas premissas, ou seja, de certas
informaes iniciais.

No s na Matemtica que precisamos raciocinar logicamente.
Advogados, profissionais ligados computao, homens de negcios,
entre outros, tambm utilizam noes de lgica.
Origem
A lgica tem sua origem na filosofia, criada
por Aristteles, filsofo grego que viveu
entre 384 e 322 a.C.

Em filosofia quase no h resultados consensuais, como por
exemplo a discusso do sexo dos anjos. A importncia da
lgica na filosofia entender se um raciocnio ou argumento
bom ou ruim.

Um debate o pleno exerccio do raciocnio e da argumentao.
Origem
Aristteles
Sistematizou e organizou o conhecimento
sobre a Lgica, elevando-o categoria de
cincia.
Estabeleceu princpios to gerais e to
slidos que at hoje so considerados
vlidos.

Origem
Preocupava-se 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.

Argumento
Chama-se argumentao a um encadeamento
de argumentos. Mas o que um argumento?

Um argumento um conjunto de proposies em
que se pretende justificar ou defender uma delas,
a concluso, com base na outra ou nas outras, que
se chamam premissas.


Argumento
Um argumento tanto pode ter s uma premissa,
como vrias. Contudo, s pode ter uma concluso.

Exemplos de argumentos muito simples:

A Maria foi ao cinema porque se tivesse ido
praia teria levado a toalha.

S as intenes determinam o valor moral da
ao. Logo, as consequncias dos nossos atos so
moralmente irrelevantes.
Argumento
Em ambos exemplo tem-se argumentos muitssimo
curtos. Mas so argumentos porque nos dois casos se
est defendendo uma proposio com base em outra.

No primeiro caso, a concluso a proposio que est
antes da palavra porque; e a premissa a
proposio que est depois. No segundo, a concluso
a proposio que est depois da palavra logo; e a
premissa a proposio que est antes.
Argumento

A Maria foi ao cinema porque se tivesse ido praia
teria levado a toalha.

S as intenes determinam o valor moral da ao.
Logo, as consequncias dos nossos atos so
moralmente irrelevantes.

Argumento
Argumentos podem ser dedutivos ou indutivos:
Argumentos dedutivos: as premissas fornecem uma prova
conclusiva da veracidade da concluso.
Um argumento dedutivo vlido quando suas premissas, se
verdadeiras, fornecem provas convincentes para sua concluso.
Argumentos indutivos: as premissas nem sempre apresentam
provas da veracidade da concluso, mas, apenas indicaes
dessa veracidade:
Joguei uma pedra no lago, e a pedra 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.
So vlidos ou invlidos, mas costumam ser avaliados de
acordo com a maior ou menor possibilidade.
Argumento
Em resumo, num argumento, o objetivo justificar a
concluso recorrendo s premissas. Mas nem sempre
as premissas justificam a concluso.

S a justificam se o argumento for bom. Quando o
argumento no bom, as premissas no justificam a
concluso.
Proposio (ou sentena)
Todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.

Uma proposio uma declarao (afirmativa ou
negativa).

Axioma: uma proposio verdadeira, servindo
como ponto inicial para deduo e inferncias.

Proposio
Sete mais trs igual a dez.
Declarao (afirmativa)
Marcone professor de Contabilidade.
Declarao (afirmativa ou negativa)
Maria linda?
Interrogativa
Levante-se.
Imperativa

Princpios da Lgica Formal
Princpio da Identidade
Toda proposio idntica a si mesma (se uma
afirmao verdadeira, ela um axioma)
Princpio da no contradio
Uma sentena no pode ser
verdadeira e falsa ao mesmo tempo.
Princpio do terceiro excludo
Uma sentena ou verdadeira ou falsa.
Exemplo de Raciocnio Lgico
Todo mamfero animal.
Todo cavalo mamfero.
Portanto, todo cavalo animal.

Brasil pas do planeta Terra.
Todos os Brasileiros so do Brasil.
Portanto, todos os Brasileiros so terrqueos.

Exemplo de Raciocnio Lgico

1) Se um time o campeo, ento ele o melhor!
2) O Fluminense o campeo brasileiro. (Boto)
3) Portanto, o Fluminense o melhor time do Brasil.


Exerccio 1
Para quais sentenas abaixo possvel atribuir um
valor verdade, V ou F?
a. Existe vida em outro planeta.
b. V estudar.
c. Ele honesto?
d. Agora no est chovendo.
e. Vamos ao cinema?
Exerccio 2
Identifique as premissas e as concluses dos seguintes
argumentos:
a) No podemos permitir o aborto porque o assassnio
de um inocente.
b) Os artistas podem fazer o que muito bem
entenderem. por isso que impossvel definir a arte.
c) Considerando que sem Deus tudo permitido,
necessria a existncia de Deus para fundamentar a
moral e dar sentido vida.
d) Se Scrates fosse um deus, seria imortal. Mas dado
que Scrates no era imortal, no era um deus.
Conectivos Lgicos
Conectivos so expresses usadas para,a partir de proposies
conhecidas, gerar novas proposies.
Em geral usam-se letras latinas A, B, C,... (a,b,c,..) para indicar
proposies arbitrrias.

Conectivo Funo Smbolo (a, b) Significado
No negao a ou a ou a no a
e conjuno a b ou a b a e b
ou disjuno a b ou a + b a ou b
se .....no condicional a b ou a b Se a, ento b
se..e somente..se bicondicional a b ou a b a se, e somente se b
Conectivos Lgicos
Tabela-verdade uma forma de representar todas as
combinaes lgicas possveis. Assim dados dois
interruptores/portas lgicas a e b, teremos:
1) s = a 2) s = a + b (a b) 3) s = a b (a b)






a s =a
0 (F) 1 (V)
1 (V) 0 (F)
a b s =a +b
0 (F) 0 (F) 0 (F)
0 (F) 1(V) 1 (V)
1 (V) 0 (F) 1 (V)
1 (V) 1 (V) 1 (V)
a b
s =a b
0 (F) 0 (F) 0 (F)
0 (F) 1 (V) 0 (F)
1 (V) 0 (F) 0 (F)
1 (V) 1 (V) 1 (V)