Fundamentos

de Lógica
Clássica para
Computação
Prof. Dr. Anderson Paiva Cruz

BACHARELADO EM TECNOLOGIA DA INFORMAÇÃO

Photo by Tachina Lee on Unsplash
Argumento

Afirmação declarativa 1
Premissas

Afirmação declarativa n

Afirmação declarativa n+1 Conclusão

Raciocíno Indutivo

“Se um grande número de As foi observado sob uma ampla

variedade de condições, e se todos esses As observados
possuíam sem exceção a propriedade B, então todos os As têm
a propriedade B.” [1]

[1] CHALMERS, Raul Fiker (tradução). O que é cinência, afinal? São Paulo: Brasiliense, 225 p. 1993.
Raciocínio Dedutivo

DEFINIÇÕES
HIPÓTESES
Afirmação 1 FATOS / AXIOMAS
Premissas AFIRMAÇÕES JÁ INFERIDAS anteriormente

Afirmação n

Afirmação n+1 Conclusão Enunciado do TEOREMA

 Raciocínio dedutivo

DEFINIÇÕES
HIPÓTESES
Premissas
FATOS / AXIOMAS
AFIRMAÇÕES já demonstradas
anteriormente Argumento válido!

Conclusão Enunciado do TEOREMA

Uso de regras de inferência da Lógica

Modus Ponens (ex.1)

∀x.(Homem(x) → Mortal(x))
Todos os homens são mortais Homem(Sócrates)
Sócrates é homem
Sócrates é mortal Mortal(Sócrates)

∀x.(P(x) → R(x))
P(x)

R(x)
Raciocínio DEDUTIVO x Raciocínio INDUTIVO

https://www.youtube.com/watch?v=H2cR4ewT8_0
Introdução à Lógica Proposicional Clássica

Linguagem Formal Interpretação das

sentenças dessa linguagem

Operadores lógicos
Sentenças/
Tabela Verdade
proposições/
Equivalência Lógica
fórmulas bem formadas
Tautologia / Contradição

Sentenças compostas Consequência Lógica

e argumentos

Photo by Yancy Min on Unsplash

 Consequência lógica ⊨

α ⋀ β ⊨ β ?!

Photo by Tachina Lee on Unsplash

 Como
representar e
interpretar
quantidades na
Lógica Clássica?

Quantificador Universal: ∀x
Quantificador Existencial: ∃x

Image by Gerhard G. from Pixabay

Predicados
• Interpretação
• DOMÍNIO
• ESPECIFICAÇÃO DO PREDICADO E DAS FUNÇÕES (QUANDO HOUVER)
• ATRIBUIÇÃO DE VALORES ÀS CONSTANTES (QUANDO HOUVER)
• Eles podem ser unários, binários...

Exs.:
Ataque(x) é unário
• Domínio: computadores do campos universitário. / aviões do força aérea brasileira
• Ataque(x) significa x está sob ataque.
• Não há constantes e funções.
Tradução para linguagem de predicados

• Todos os urubus são pretos.

∀x. (U(x)⟶P(x))
Onde U(x) e P(x) são predicados unários
• Domínio: fauna brasileira
• U(x) significa x é urubu e P(x) significa x tem a cor preta.

• Existe um galo branco.

∃x. (G(x) ⋀ B(x))
Regras de Inferências também
valem na Lógica de Predicados

∀x.(R(x) → P(x))
R(x)

P(x)

[ Modus Ponens ]
Ciências

DEFINIÇÕES

AXIOMAS

TEOREMAS / PROPOSIÇÕES / LEMAS / COROLÁRIOS

CONJECTURAS
 Overview sobre
técnicas de demostração
Photo by Joshua Earle on Unsplash
 Bons argumentos*

• Ser dedutivamente válido (ou indutivamente forte)

• Aplica-se alguma regra de inferência dedutiva ou princípio de indução
matemática
• Ter todas as premissas verdadeiras;
• Não ser circular;
• Apresentar afirmações declarativas claras (podendo ser formais).

*GENSLER, Harry. Introduction to Logic. 2.ed. New York: Routledge, 2010. ISBN 978–0–203–85500–3

Photo by Morning Brew on Unsplash

Técnicas de Demonstração
• Provar ou Refutar a conjectura?!
• Refutá-la?
• Contra-exemplo.

Para todo inteiro positivo $$ n\! \leq n^2 $$.

 Técnicas de Demonstração
• Prová-la?
Técnica de demonstração Como é?
Por exaustão Mostre que o enunciado do teorema é
verdadeiro para cada um dos casos
Por casos Reúna os casos em categorias e prove a
veracidade de cada uma dessas categorias
Direta Supõe a hipótese ‘p’ e conclui ‘q’.
Contrapositiva Supõe a hipótese ‘¬q’ e conclui ‘¬p’.
Por absurdo Supõe a negação do enunciado do teorema
e conclui uma contradição.
Observação
Aplicável apenas quando se tem
um números finitos de casos
Nem sempre será possível
categorizar.
Indicado quando o teorema
enuncia “se p então q”
Indicado quando inferir a partir de
‘¬q’ for mais fácil do que a partir
de ‘p’.

Photo by Alev Takil on Unsplash

Primeiro princípio da indução
 Referências
HOUSTON, Kevin. How to think like a mathematician: a companion to undergraduate mathematics. New York: Cambridge
University Press, c2009. xi, 265 p. ISBN: 9780521719780.
BEDREGAL, B.C., ACIÓLY, B.M. Introdução à Lógica Clássica para a Ciência da Computação. Disponível em
http://www.dimap.ufrn.br/~jmarcos/books/BA_Jul07.pdf
(1) GERSTING, J.L. Mathematical structures for computer science: a modern treatment of discrete mathematics. W. H.
Freeman, 5ª ed, 2002. ISBN: 0716743582,9780716743583.
(2) ROSEN, K.H. Discrete Mathematics and its applications. Mc Graw Hill, 7ª ed, 2012. ISBN: 978007338309-5.

Linguagem proposicional e conectivos lógicos:

(1) pg: 2-9
(2) seção 1.1, pg:1-17
Linguagem de Predicados (Quantificadores e Predicados):
(1) seção 1.3, pg:27-35
(2) seção 1.4, pg: 36-49
Técnicas de Demonstração e Indução:
(1) seções 2.1 e 2.2, pg: 68-80.

Photo by Green Chameleon on Unsplash