Lógica Matemática

Mestre em Engenharia de Processos

Especialista em Sistemas de Telecomunicações
Especialista em Docência do Ensino Superior
Tecnólogo em Redes de Computadores

Professor Edwins Ramires 1

 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.

Professor Edwins Ramires 2

 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.

Professor Edwins Ramires 3

 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.

Professor Edwins Ramires 4

 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.

Professor Edwins Ramires 5

 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.

Professor Edwins Ramires 6

 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.

Professor Edwins Ramires 7

 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.

Professor Edwins Ramires 8

 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.

Professor Edwins Ramires 9

 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.

Professor Edwins Ramires 10

 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.

Professor Edwins Ramires 11

 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”.

Professor Edwins Ramires 12

 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.)

Professor Edwins Ramires 13

 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.)

Professor Edwins Ramires 14

 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).

Professor Edwins Ramires 15

 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.

Professor Edwins Ramires 16

 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.

Professor Edwins Ramires 17

 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)

Professor Edwins Ramires 18

 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.

Professor Edwins Ramires 19

 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.

Professor Edwins Ramires 20

 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)

Professor Edwins Ramires 21

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

Professor Edwins Ramires 22

 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).

Professor Edwins Ramires 23

 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.

Professor Edwins Ramires 24

 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.

Professor Edwins Ramires 25

 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.

Professor Edwins Ramires 26

 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?)

Professor Edwins Ramires 27

 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;

Professor Edwins Ramires 28

 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.

Professor Edwins Ramires 29

 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

Professor Edwins Ramires 30

 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.
Professor Edwins Ramires 31
 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.

Professor Edwins Ramires 32

 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.

Professor Edwins Ramires 33

 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.

Professor Edwins Ramires 34

 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.

Professor Edwins Ramires 35

 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

Professor Edwins Ramires 36

 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.
Professor Edwins Ramires 37
 Atividades
1) Dê um exemplo de um argumento inválido, mas que possa
fornecer evidência indutiva.

Professor Edwins Ramires 38

 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.

Professor Edwins Ramires 39

 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.

Professor Edwins Ramires 40

 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.

Professor Edwins Ramires 41

 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

Professor Edwins Ramires 42

 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.

Professor Edwins Ramires 43

 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 II e III são argumentos válidos.
Professor Edwins Ramires 44
 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.

Professor Edwins Ramires 45

 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.

Professor Edwins Ramires 46

Lógica Matemática
Mestre em Engenharia de Processos
Especialista em Sistemas de Telecomunicações
Especialista em Docência do Ensino Superior
Tecnólogo em Redes de Computadores

Professor Edwins Ramires 47