CENTRO UNIVERSITÁRIO – CESMAC

FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS - FACET

LÓGICA MATEMÁTICA

CURSO: Sistemas de Informação

1º PERÍODO
 Objetivo da Aula
• A aula de hoje tem como objetivo uma
introdução sobre a Lógica de Predicados
• Assim, uma introdução sobre a linguagem da
Lógica de Predicados

LÓGICA MATEMÁTICA 2
 Sumário
• Introdução
• Conceito
• Alfabeto
• Fórmulas

LÓGICA MATEMÁTICA 3
 Conteúdo Programático
• Lógica Proposicional:
– Sintaxe
– Semântica
– Propriedades Semânticas
– Método para determinação da validade de fórmulas
• Lógica de Predicados:
– Sintaxe
– Semântica
– Propriedades Semânticas
– Resolução.
LÓGICA MATEMÁTICA 4
 Introdução
• O que lhe lembram Predicado?
– Uma regra da nossa gramática
– Análise Sintática
– Sujeito, Verbo, Predicado...
• Ao iniciar uma análise simples do sujeito e o
verbo.
– Ex.: João trabalha
Pedro estuda
LÓGICA MATEMÁTICA 5
 Introdução
• Sujeito - Elemento da oração a respeito do qual
damos alguma informação. Seu núcleo (palavra mais
importante) pode ser um substantivo, pronome ou
palavra substantivada.
• Tipos de sujeitos:
– Simples
– Composto
– Oculto, elíptico ou desinencial
– Indeterminado
– Inexistente ou oração sem sujeito

LÓGICA MATEMÁTICA 6
 Introdução
• Verbo - é a palavra que exprime um fato (geralmente
uma ação, estado ou fenômeno da natureza) e
localiza-o no tempo, usados também para ligar o
sujeito ao predicado.
• Predicado - É tudo aquilo que se informa sobre o
sujeito, e é estruturado em torno de um verbo. Ele
sempre concorda em número e pessoa com o
sujeito.
• Há também tipos de predicados, mas não são
relevantes para nós.

LÓGICA MATEMÁTICA 7
 Introdução
• Exemplos:
– João é pardo.
Sujeito + predicado
– Mário e Mauro são irmãos.
Sujeito + Conjunção + Sujeito + Predicado
– Eu estou feliz.
Sujeito + Predicado

LÓGICA MATEMÁTICA 8
 Conceito
• É mais rica do que a Lógica Proposicional
• Além de conter objetos da Proposicional, mais
quantificadores, símbolos funcionais e de
predicados fazem parte
• Comentam ser uma extensão da Lógica
Proposicional
• Mas, afinal, por que?

LÓGICA MATEMÁTICA 9
 Conceito
• Também denominada Lógica de Primeira
Ordem
• Há uma analogia e semelhança mais próxima
à realidade da computação
• Ainda, na Lógica Proposicional são limitados
os quantificadores e objetos

LÓGICA MATEMÁTICA 10
 Conceito
“Todo aluno de Análise de Sistema é nerd. João é
aluno de Análise de Sistema. Logo, João é nerd.”

“Qualquer um para a lateral direita.”

• Existe quantificadores para “todo” e “qualquer”?

• São consideradas também funções, predicados e

variáveis, de forma análoga ao Cálculo diferencial

LÓGICA MATEMÁTICA 11
 Alfabeto
• Símbolos de pontuação: ,
• Símbolo de verdade: true ou false
• Conjunto enumerável de símbolos para
variáveis: x, y, z...
• Conjunto enumerável de símbolos para
funções: f, g, h
• Conjunto enumerável de símbolos para
predicados: p, q, r, p2, q2, r2....
LÓGICA MATEMÁTICA 12
 Fórmulas
• Muitos dos elementos da Lógica proposicional
foram incorporados
• Existem infinitos símbolos
• As fórmulas são formadas por:
a) variáveis
b) Funções e predicados
c) constantes
d) conectivos

LÓGICA MATEMÁTICA 13
 Fórmulas
a) Variáveis
• Sintaticamente iguais às constantes
• Análogo a linguagens de programação
Exemplo: x, y, z
b) Funções
Semelhante a função em programação, recebe um
ou mais argumentos e produz uma resposta, um
elemento do domínio como um número ou um
objeto.
Exemplo: soma(x,y)

LÓGICA MATEMÁTICA 14
 Fórmulas
Ex.: +(3,4)
pai_de(João)
Predicados
Semelhante a uma função em programação com
resposta booleana, a resposta será sempre
verdadeiro ou falo. Utilizado para representar
relações
• Exemplo: irmao(x, y), pai(x,y), vizinho(x,y)
LÓGICA MATEMÁTICA 15
 Fórmulas
c) Constantes
• Dão nomes as coisas particulares
• Exemplo: Rubens, Brasília, Arapiraca
d) Conectivos

LÓGICA MATEMÁTICA 16
 Fórmulas
• Como na lógica proposicional, liga-se as
sentenças atômicas com os conectivos : e, ou,
se...então, não, se e somente.
• Com os quantificadores e variáveis se aplica o
mesmo princípio
• Na tradução:
João gosta de Maria e ela o adora.
gosta(João, Maria) ^ adora(Maria, João).
LÓGICA MATEMÁTICA 17
 Fórmulas
• O tratamento de pronomes é muito relevante
na formação das fórmulas
• “algo”, “todo mundo”, “nada”, “ele”, “ela”...
• Se os pronomes estão ligados por um
conectivo trate-os antes do conectivo.

LÓGICA MATEMÁTICA 18
 Fórmulas
• Simbolização
– x, y, z, ...
Minúsculas para os sujeitos
– P, Q, R, ...
Maiúsculas para os predicados
– Ex.: João é professor
a = João
P = professor
Pa

LÓGICA MATEMÁTICA 19
 Fórmulas
– Ex. 2:
– Existem sábios
∃x .sábios(x)
- Todos os homens são sábios
∀x = Todos os
∀x.homens(x). Sx.sábios(x)

LÓGICA MATEMÁTICA 20
 Fórmulas
∀ - “para qualquer”, “qualquer um”, “para cada”,
“cada objeto”, “tudo”, “qualquer coisa”,...

∃ - “para algum”, “alguns”, “há pelo menos um”,

“algum objeto”, “alguma coisa”....

LÓGICA MATEMÁTICA 21
 Fórmulas
– Ex.:
Há pelo menos um objeto humano e sábio
∃x.(humano(x) ^ sábio(x))

*Como regra geral, pode-se dizer que

∀ se faz acompanhado de ->
∃ se faz acompanhado de .
• Por que isso?

LÓGICA MATEMÁTICA 22
 Fórmulas
• Todos os homens são sábios
• Consequência:
– Dado um objeto qualquer, se é humano, é sábio
– Dado um x qualquer do universo, se x é homem, x
é sábio
– Dado um x qualquer do universo, x homem -> x
sábio
∀x(Hx -> Sx)

LÓGICA MATEMÁTICA 23
 Fórmulas
• Exemplos
– Os astronautas são bem treinados.

∀x(Ax -> Tx)

– Alguns senhores são ingênuos ou mal

assessorados

∀x(Ix v Mx)

LÓGICA MATEMÁTICA 24
 Exercícios
• Traduza as frases para a fórmula de lógica de
predicados.
a) Todo professor é funcionário
b) Alguns alunos são funcionários
c) Se alguém matou Maria, este alguém
também matou João
d) Todo número primo maior do que 2 é ímpar

LÓGICA MATEMÁTICA 25
 E na próxima aula...
• Continuaremos os conceitos básicos de
lógica...

LÓGICA MATEMÁTICA 26
 E por hoje...

• Obrigado!
• Até a próxima aula!
• Não esqueçam de assinar a lista de presença!

LÓGICA MATEMÁTICA 27