Você está na página 1de 50

Profª: Lilian Cardoso

Professora Lilian Cardoso 1


Professora Lilian Cardoso 2
Professora Lilian Cardoso 3
Lógica Matemática
Especialista em Gestão de Projeto
Especialista em Docência do Ensino Superior
MBA em sistema de Informação

Professora Lilian Cardoso 4


Introdução
• A lógica matemática é de fundamental importância para as
linguagens de programação necessárias para a construção de
programas de computador (softwares).
• É com base na lógica matemática que as linguagens de
computador são descritas.
• Em lógica, uma linguagem de computador é dita como
linguagem formal, pois o formalismo é dado pela
representação matemática.

Professora Lilian Cardoso 5


Introdução
• A linguagem natural é um meio de comunicação utilizado no
cotidiano das pessoas, por exemplo, Português, Inglês,
Espanhol. Uma das características dessas linguagens é a
ambiguidade, ou seja, uma sentença pode ser interpretada de
diferentes formas.

Professora Lilian Cardoso 6


Introdução
• Em um sistema computacional não podemos ter
ambiguidades; portanto, precisamos de mecanismos que
permitam expressar os sistemas computacionais de forma não
ambígua. A lógica é o fundamento mais básico desses sistemas
e tem sido amplamente estudada.

Professora Lilian Cardoso 7


Introdução
• Tanto as linguagens naturais quanto as formais possuem
sintaxe (como se escreve) e semântica (significado). No
entanto, apenas linguagens formais são livres de ambiguidade.
Para que isso seja possível, estudaremos nesta disciplina, os
fundamentos da lógica matemática.

Professora Lilian Cardoso 8


Introdução
• Os fundamentos que veremos serão utilizados nas demais
disciplinas no curso, principalmente naquelas que abordam
linguagens de programação. Dessa forma, é de extrema
importância o estudo da lógica clássica e, principalmente, da
lógica proposicional.

Professora Lilian Cardoso 9


Introdução
• A lógica proposicional deverá ser compreendida e
posteriormente será constantemente revista nas outras
disciplinas. Entender a lógica proposicional capacitará o aluno
a resolver problemas computacionais.

Professora Lilian Cardoso 10


Origem da Lógica
• Na Grécia Antiga, 342 AC, em meio a embates filosóficos,
Aristóteles sistematizou a Lógica com o intuito de verificar que
argumentos eram válidos, elevando-a assim à categoria de
ciência.
• Em sua obra chamada Organum (“ferramenta para o correto
pensar”), estabeleceu princípios tão gerais e sólidos que até
hoje são considerados válidos.

Professora Lilian Cardoso 11


Origem da Lógica
• Aristóteles se preocupava com as formas de raciocínio que, a
partir de conhecimentos considerados verdadeiros, permitiam
obter novos conhecimentos.
• A partir dos conhecimentos tidos como verdadeiros, caberia à
Lógica a formulação de leis gerais de encadeamentos de
conceitos e juízos que levariam à descoberta de novas
verdades.
• Essa forma de encadeamento é chamada, em Lógica, de
argumento.

Professora Lilian Cardoso 12


Argumento
• Um argumento é uma sequência de proposições
(declarações/afirmações) na qual uma delas é a conclusão e as
demais são premissas.
• Uma proposição (ou declaração/afirmação) é uma sentença
que pode ser verdadeira ou falsa.
• O objeto de estudo da lógica é determinar se a conclusão de
um argumento é ou não uma consequência lógica das
premissas.

Professora Lilian Cardoso 13


Validade de um Argumento
• Em um argumento válido, as premissas são consideradas
provas evidentes da verdade da conclusão, caso contrário não
é válido.
• Quando é válido, podemos dizer que a conclusão é uma
consequência lógica das premissas, ou ainda que a conclusão é
uma inferência decorrente das premissas.

Professora Lilian Cardoso 14


Validade de um Argumento
• Inferência é a relação que permite passar das premissas para a
conclusão (um “ encadeamento lógico”).
• A palavra inferência vem do latim, Inferre, e significa “conduzir
para”.

Professora Lilian Cardoso 15


Validade de um Argumento
• Exemplo 1: O argumento que segue é válido?

Se eu ganhar na Loteria, serei rico.


Eu ganhei na Loteria.
Logo, sou rico.

➔É Válido
(a conclusão é uma decorrência lógica das duas premissas.)

Professora Lilian Cardoso 16


Validade de um Argumento
• Exemplo 2: O argumento que segue é válido?

Se eu ganhar na Loteria, serei rico.


Eu não ganhei na Loteria.
Logo, não sou rico.

➔Não é Válido
(a conclusão não é uma decorrência lógica das duas premissas.)

Professora Lilian Cardoso 17


Validade de um Argumento
• A lógica se preocupa com o relacionamento entre as premissas
e a conclusão, com a estrutura e a forma do raciocínio. A
verdade do conteúdo de cada premissa e da conclusão é
estudo das demais ciências.
• A validade do argumento está diretamente ligada à forma pela
qual ele se apresenta (Lógica Formal – estuda a forma dos
argumentos).

Professora Lilian Cardoso 18


Dedução e Indução
• Algumas das ferramentas que podem ser utilizadas pelo
pensamento na busca de novos conhecimentos são a dedução
e a indução, que dão origem a dois tipos de argumentos:
Dedutivos e Indutivos.

Professora Lilian Cardoso 19


Argumentos Dedutivos
• Pretendem que suas premissas forneçam uma prova
conclusiva da veracidade da conclusão e podem ser:
– Válidos: quando suas premissas, se verdadeiras, fornecem provas
convincentes para a conclusão. Isto é, se as premissas forem
verdadeiras, é impossível que a conclusão seja falsa;
– Inválidos: não se verifica a característica anterior.

Professora Lilian Cardoso 20


Argumentos Dedutivos
• Exemplos de argumentos dedutivos:

– Os dois exemplos anteriores (um válido e outro inválido)

– Outro exemplo: Todo homem é mortal. Sócrates é um homem. Logo,


Sócrates é mortal.
(Argumento Válido)

Professora Lilian Cardoso 21


Argumentos Indutivos
• Não pretendem que suas premissas forneçam provas cabais da
veracidade da conclusão, mas apenas que forneçam indicações
dessa veracidade. (possibilidade, probabilidade)
• Seguem do Raciocínio Indutivo, isto é, obtém conclusões
baseada em observações/experiências. Enquanto que um
Raciocínio Dedutivo exige uma prova formal sobre a validade
do argumento.

Professora Lilian Cardoso 22


Argumentos Indutivos
• Os termos válidos e inválidos não se aplicam, são avaliados de
acordo com a maior ou a menor probabilidade com que suas
conclusões sejam estabelecidas.

Professora Lilian Cardoso 23


Argumentos Indutivos
• Exemplo:

Joguei uma pedra no lago, e ela afundou;


Joguei outra pedra no lago e ela também afundou;
Joguei mais uma pedra no lago, e também esta afundou;
Logo, se eu jogar uma outra pedra no lago, ela vai afundar.
(Argumento indutivo)

Professora Lilian Cardoso 24


Argumentos Indutivos
• A Lógica Formal só estuda Argumentos Dedutivos, verificando
se são ou não válidos.

Professora Lilian Cardoso 25


Validade e Verdade
• Verdade e Falsidade: são propriedades das proposições, nunca
dos argumentos.
• Validade ou Invalidade: são propriedades dos argumentos
dedutivos que dizem respeito a inferência ser ou não válida
(raciocínio ser ou não correto).

Professora Lilian Cardoso 26


Validade e Verdade
• Exemplo 1

Toda baleia é um mamífero (V)


Todo mamífero tem pulmões (V)
Logo, toda baleia tem pulmões (V)

➔Argumento válido e a conclusão verdadeira.

Professora Lilian Cardoso 27


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 válido e conclusão falsa.

Professora Lilian Cardoso 28


Validade e Verdade
• Os conceitos de argumento válido ou inválido são independentes
da verdade ou falsidade de suas premissas e conclusão.
• Qualquer combinação de valores verdade entre as premissas e a
conclusão é possível, exceto que nenhum argumento dedutivo
válido tenha as premissas verdadeiras e a conclusão falsa.
• Um argumento dedutivo no qual todas as premissas são
verdadeiras é dito Argumento Correto, evidentemente sua
conclusão também é verdadeira.

Professora Lilian Cardoso 29


Avaliação de um Argumento
• Principal propósito de um argumento:
– Demonstrar que uma conclusão é provável ou verdadeira.

• Como avaliar que um argumento atinge ou não esse


propósito? (Se ele é válido?)

Professora Lilian Cardoso 30


Avaliação de um Argumento
• Critérios usados para avaliar um argumento:
– Se todas as premissas são verdadeiras;
– Se, dada a verdade das premissas, a conclusão é ao menos provável;
– Se as premissas são relevantes para a conclusão;

Professora Lilian Cardoso 31


Validade e Probabilidade Indutiva
Argumentos Dedutivos e Argumentos Indutivos

• Os argumentos podem ser classificados em duas categorias:


▪ Argumento dedutivo
▪ Argumento cuja conclusão deve ser verdadeira se suas premissas básicas
forem verdadeiras.
Em outras palavras - um argumento é dedutivo quando:
“se as premissas forem verdadeiras é impossível a conclusão ser falsa”.
▪ Argumento indutivo (ou dedutivo inválido)
▪ Argumento cuja conclusão não é necessária, dadas suas premissas básicas.

Professora Lilian Cardoso 32


Validade e Probabilidade Indutiva
Argumentos Dedutivos e Argumentos Indutivos. Exemplos:

1. Todo homem é mortal


▪ Sócrates é um homem
▪ Sócrates é mortal
2. Frequentemente quando chove fica nublado.
▪ Está chovendo
▪ Está nublado

Professora Lilian Cardoso 33


Validade e Probabilidade Indutiva
Argumentos Dedutivos e Argumentos Indutivos. Exercícios:

1) Exercício
▪ Não há registros de seres humanos com mais de 5 metros de
altura.
o Nunca tivemos um ser humano com mais de 5 metros de altura.

2) Exercício
▪ Alguns porcos tem asas.
▪ Todas as coisas aladas gorjeiam
o Alguns porcos gorjeiam.
Professora Lilian Cardoso 34
Validade e Probabilidade Indutiva
Argumentos Dedutivos e Argumentos Indutivos. Exercícios:

3) Exercício
▪ Se houver uma guerra nuclear, a civilização será destruída.
▪ Haverá uma guerra nuclear
o A civilização será destruída por uma guerra nuclear.

4) Exercício
▪ O cloreto de potássio é, quimicamente, muito similar ao sal de
cozinha (cloreto de sódio).
o O Cloreto de potássio tem sabor igual ao do sal de cozinha.

Professora Lilian Cardoso 35


Argumento Dedutivo e Argumento Indutivo.
Exercícios
Avalie os seguinte argumentos com relação aos critérios 1, 2 e 3:

Critério 1
▪ Todos tem um e um só pai biológico.
▪ Os irmãos tem o mesmo pai biológico.
▪ Ninguém é pai biológico de si mesmo.
▪ Não há pai biológico que seja também seu irmão.

Professora Lilian Cardoso 36


Argumento Dedutivo e Argumento Indutivo.
Exercícios
Avalie os seguinte argumentos com relação aos critérios 1, 2 e 3:

Critério 2
▪ Os visitantes da china quase nunca contraem malária no país.
▪ José está visitando a China.
▪ José não contrairá malária na China.

Professora Lilian Cardoso 37


Argumento Dedutivo e Argumento Indutivo.
Exercícios
Avalie os seguinte argumentos com relação aos critérios 1, 2 e 3:

Critério 3
▪ Eu sonho com monstros.
▪ Meu irmão sonha também com monstros.
▪ Todas as pessoas sonham com monstro.

Professora Lilian Cardoso 38


Argumento Complexo
Exercícios
3)"Todos os argumentos são ou indutivos ou dedutivos. O que
você está lendo agora é um argumento. Este argumento não é
indutivo. Este argumento é dedutivo.“

4)"Não existe o maior número primo. Mas de todos os números


primos sempre podemos imaginar que certamente existe um
maior. Logo, existem números primos maiores do que qualquer
um que possamos imaginar

Professora Lilian Cardoso 39


Argumentos
Qual o tipo de argumento estudaremos?
• A Lógica Formal estuda o argumento dedutivo no sentido
tradicional.
• O objetivo da Lógica Formal é mostrar a validade de certas formas
de argumento (estruturas).
• O estudo das formas de argumento facilita a verificação da validade
dos argumentos.
• Na Lógica formal estudaremos formas básicas do raciocínio lógico
de um ponto de vista sintático (manipulação de símbolos) e em
seguida os princípios semânticos que justificam estas formas de
raciocínio.
Professora Lilian Cardoso 40
Atividades

1) Dê um exemplo de um argumento inválido, mas que possa


fornecer evidência indutiva.

Professora Lilian Cardoso 41


Atividades

2) Escreva dois argumentos indutivos que você considere


corretos de um ponto de vista indutivo (ou seja, eles fornecem
alguma evidência a favor da conclusão sem, no entanto, provar a
sua veracidade). Aponte qual dos dois argumentos você
considera mais forte e explique o porquê. Utilizando como
definição de um argumento válido o fato de um argumento ser
correto de um ponto de vista dedutivo, os dois argumentos que
você criou seriam ou não válidos? Explique.

Professora Lilian Cardoso 42


Atividades

3) Você comeu salmão cinco vezes na sua vida e todas as


vezes, no dia seguinte, você teve problemas intestinais. O que
você pode deduzir a partir desta observação? E o que você pode
induzir da afirmação, ou seja, que afirmações você pode fazer
que você acredita serem verdade, mas que não pode afirmar
com certeza? Proponha, de forma resumida, um método para
reforçar ou desmentir a sua crença na veracidade da(s)
afirmação(ões) sobre a(s) qual(is) você não tem certeza.

Professora Lilian Cardoso 43


Atividades
4)Existem certas características básicas que diferenciam os
argumentos dedutivos dos indutivos. Analise as características
abaixo:
1 – A conclusão encerra informação que nem implicitamente estava contida nas
premissas.
2– Se todas as premissas forem verdadeiras, a conclusão também será,
necessariamente.
3– Toda a informação ou conteúdo factual da conclusão já estava, pelo menos
implicitamente, contido nas premissas.
4– Se todas as premissas são verdadeiras, a conclusão é provavelmente – porém não
necessariamente – verdadeira.

Professora Lilian Cardoso 44


Atividades

Continuação a Questão 4
Assinale a alternativa que relaciona corretamente as
características acima ao respectivo tipo de argumento.
a. ( ) 1. dedutivo; 2. dedutivo; 3. indutivo; 4. indutivo.
b. ( ) 1. dedutivo; 2. indutivo; 3. indutivo; 4. dedutivo.
c. ( ) 1. dedutivo; 2. indutivo; 3. dedutivo; 4. indutivo.
d. ( ) 1. indutivo; 2. dedutivo; 3. dedutivo; 4. indutivo.
e. ( ) 1. indutivo; 2. indutivo; 3. dedutivo; 4. dedutivo

Professora Lilian Cardoso 45


Atividades

5) Considere as seguintes afirmações:

“Toda flor amarela é perfumada”.


“O girassol é uma flor amarela”.

Sabendo que as afirmações apresentadas acima são verdadeiras, é possível deduzir


que:
A O girassol não tem perfume.
B Toda flor é perfumada.
C Nenhuma flor é amarela.
D O girassol é perfumado.
E Toda flor perfumada é amarela.

Professora Lilian Cardoso 46


Atividades
6) Considerando os argumentos lógicos:

I.Alguns nordestinos são pobres. Alguns pobres são mendigos. Logo, todos os
nordestinos são mendigos.
II.Todos os franceses são europeus. Jean-Paul Sartre foi um filósofo francês.
Logo, Jean-Paul Sartre era europeu.
III.Todo fluminense é brasileiro e todo niteroiense é fluminense. Então todo
niteroiense é brasileiro.

É CORRETO afirmar que:


A Apenas III é um argumento válido.
B I e II são argumentos válidos.
C I e III são argumentos válidos.
D IIe IIIsão argumentos válidos.
Professora Lilian Cardoso 47
Atividades

7) Assinale a alternativa que apresenta um argumento válido.

A Ao menos um dos sócios da empresa esteve presente na reunião mensal realizada ontem. Logo,
algum dos sócios não esteve presente.
B Todos os documentos estão em branco ou foram entregues em dia. Todos os documentos foram
entregues em dia. Logo, nenhum documento está em branco.
C Se todas as sementes de melancia germinarem, a plantação necessitará de bastante água. A
plantação está precisando de bastante água. Logo, todas as sementes de melancia germinaram.
D Os produtos orgânicos ainda não estão certificados. Se o produto orgânico estiver certificado, ele
poderá ser consumido. Logo, os produtos orgânicos não poderão ser consumidos.
E Todos os defensivos agrícolas utilizados são produtos regulamentados. Todos os produtos
regulamentados foram devidamente estudados. Logo, ao menos um defensivo agrícola utilizado foi
devidamente estudado.

Professora Lilian Cardoso 48


Atividades

8) Descreva com suas palavras o significado do termo premissa.

9) Descreva com suas palavras o significado do termo inferência.

10)Descreva com suas palavras o significado do termo proposição.

Professora Lilian Cardoso 49


Obrigada
e
Boa noite a todos!

Professora Lilian Cardoso 50

Você também pode gostar