Lógica de Predicados

Bruno Hott

UFOP

2020

Bruno Hott (UFOP) Lógica de Predicados 2020 1 / 19

Motivação

Considere o seguinte argumento dedutivo:

Todo homem é mortal
Sócrates é um homem
Logo, Sócrates é mortal.

{A, B} ` C

Precisamos estender a lógica proposicional!

Bruno Hott (UFOP) Lógica de Predicados 2020 2 / 19

Universo de Discurso

Universo de Discurso (U): conjunto não vazio.

Ex.: {sócrates}, U = todos os humanos, N.
Constante: elemento do universo de discurso.
Ex.: sócrates, zeus, 3.
Símbolos Funcionais (função) representam elementos que possuem relação com outro.
Ex.: discípulo(sócrates), 32 .

Exemplo 39.
H = todos os seres humanos; mae(x) = mãe de x;
Se considerarmos que hermengarda é mãe de eudésio,
temos que mãe(eudésio) = hemengarda

Bruno Hott (UFOP) Lógica de Predicados 2020 3 / 19

Predicados

Predicados descrevem propriedades dos elementos do universo de discurso.

Ex.: M (x): x é mortal; M (sócrates) ≡ >; M (zeus) ≡ ⊥.
Predicados podem ter uma quantidade n ≥ 0 de parâmetros.
Quando um predicado possui 0 parâmetros, chamamos de variável proposicional.
Quantificadores universal e existencial:
∀x.P (x): todo x possui a propriedade P .
∃x.P (x): algum x possui a propriedade P .

Exemplo 41. M (x): “x é mortal”. Exemplo 42. ∀x.x ≥ 0; ∀x.∃y.x > y

U = {zeus, sócrates} N = > ;⊥
∀x.M (x) ≡ ⊥ ; ∃x.M (x) ≡ > Z = ⊥ ;>
F = {sócrates, platão} ∃x.∀y.x > y
∀x.M (x) ≡ > ; ∃x.M (x) = > N = ⊥ ;Z = ⊥

Bruno Hott (UFOP) Lógica de Predicados 2020 4 / 19

Exemplo 43
U : seres humanos; mãe(x); C(x, y): x conhece y; G(x, y): x gosta de y

1 “Todo mundo gosta de alguém”

∀x.∃y.G(x, y)
2 “Astobaldo não gosta de sua mãe”
¬G(astobaldo, mãe(astobaldo))
3 “Ninguém gosta de todo mundo”
¬∃x.∀y.G(x, y)
4 “Todos gostam da mãe de Carlos”
∀x.G(x, mãe(carlos))
5 “Todos que conhecem Clementino, não gostam da mãe dele”
∀x.C(x,clementino) → ¬G(x,mãe(clementino))

Bruno Hott (UFOP) Lógica de Predicados 2020 5 / 19

Sintaxe da Lógica de Predicados

Termos (T ) Fórmulas Bem Formadas (F)

1 V ⊆ T (variáveis) 1 >, ⊥ ∈ F.
2 C ⊆ T (constantes) 2 P (t1 , ..., tn ) ∈ F
3 f (t1 , ..., tn ) ∈ T (funções). 3 Se α, β ∈ F, então:
a ¬α ∈ F.
b α ◦ β ∈ F, ◦ ∈ {∧, ∨, →, ↔}.
c ∀x.α ∈ F e ∃x.α ∈ F.
d (α) ∈ F.

Bruno Hott (UFOP) Lógica de Predicados 2020 6 / 19

Variáveis Livres e Ligadas

Escopo de x em ∀x.α é a fórmula α.

Variável livre é auqela que não está no escopo de nenhum quantificador.
Uma variável que não é livre é dita ser ligada.
Substituição ([x 7→ s]t): substituição de toda ocorrência livre de x em t por s.

Exemplo 47.
[x 7→ f (a)]g(a, h(x, a)) ≡ g(a, h(f (a), a))
[x 7→ f (a)]∀y.g(y, x) ≡ ∀y.g(y, f (a))
[x 7→ g(a, a)]∃x.f (x) ≡ ∃x.f (x)

Bruno Hott (UFOP) Lógica de Predicados 2020 7 / 19

Semântica da Lógica de Predicados

Estrutura I = (U, R, F ) Semântica de termos  : T → U

U = universo de discurso. (a) = aI (1)
I
R = Predicados. (f (t1 , . . . , tn )) = f ((t1 ), . . . , (tn )) (2)
F = Funções.

Exemplo 48. cap(GE)

(cap(GE)) =
capI ((GE)) = {pela eq. (2) de .}
capI (GE I ) = {pela eq. (1) de .}
capital(Alemanha) = {pela semântica dos símbolos funcionais.}
Berlim {pela semântica da função capital.}

Bruno Hott (UFOP) Lógica de Predicados 2020 8 / 19

Semântica de Fórmulas J K : F → {T, F }
Seja I = (U, R, F ) uma estrutura, t1 , . . . , tn termos, c ∈ C uma constante qualquer, α, β
fórmulas quaisquer e ◦ ∈ {∨, ∧, →, ↔}.

J⊥K = F (3)
J>K = T (4)
JP (t1 , . . . , Pn )K = ((t1 ), . . . , (tn )) ∈ P I (5)
J¬αK = ¬JαK (6)
Jα ◦ βK = JαK ◦ JβK (7)
^
J∀x.αK = J[x 7→ u]αK (8)
u∈C
_
J∃x.αK = J[x 7→ u]αK (9)
u∈C

Bruno Hott (UFOP) Lógica de Predicados 2020 9 / 19

Exemplo 49. Calcule o valor lógico de ∀x.p(x) ∨ i(x)
U = {2, 3, 4}; par = {2, 4}; impar = {3}

J∀x.(P (x) ∨ I(x))K =

(JP (2) ∨ I(2)K) ∧ (JP (3) ∨ I(3)K) ∧ (JP (4) ∨ I(4)K) =
(JP (2)K ∨ JI(2)K) ∧ (JP (3)K ∨ JI(3)K) ∧ (JP (4)K ∨ JI(4)K) =
((2) ∈ par ∨ (2) ∈ impar)∧
((3) ∈ par ∨ (3) ∈ impar)∧
((4) ∈ par ∨ (4) ∈ impar)∧ =
(T ∨ F ) ∧ (F ∨ T ) ∧ (T ∨ F ) =
T ∧T ∧T =
T

Bruno Hott (UFOP) Lógica de Predicados 2020 10 / 19

Classificação de Fórmulas

Seja α uma fórmula bem formada da lógica de predicados.

Dizemos que α é uma tautologia se esta é verdadeira para toda estrutura I.
Dizemos que α é uma contradição se não existe uma estrutura I que a satisfaça.
Dizemos que α é satisfazível se existe uma estrutura I tal que JαK = T .
Dizemos que α é falseável se existe uma estrutura I tal que JαK = F .
Dizemos que α é uma contingência se esta for satisfazível e falseável.

Bruno Hott (UFOP) Lógica de Predicados 2020 11 / 19

Dedução Natural Para Lógica de Predicados

∃
∀
P (a)
{∃I }
P (y) ∃x.P (x)
{∀I }
∀x.P (x)
[P (y)]
∀x.P (x) ..
{∀E } .
P (a) ∃x.P (x) α
{∃E }i
α

Bruno Hott (UFOP) Lógica de Predicados 2020 12 / 19

Exemplo 50. ` ∀x.E(x) → E(x) ∨ ¬E(x)
1. E(y)

{ID}1
E(y)
{∨I }
E(y) ∨ ¬E(y)
{→I }1
E(y) → E(y) ∨ ¬E(y)
{∀I }
∀x.E(x) → E(x) ∨ ¬E(x)

Bruno Hott (UFOP) Lógica de Predicados 2020 13 / 19

Exemplo 51. {F (a), ∀x.F (x) → G(x)} ` G(a)

{ID}
∀x.F (x) → G(x)
{ID} {∀E }
F (a) F (a) → G(a)
{→E }
G(a)

Bruno Hott (UFOP) Lógica de Predicados 2020 14 / 19

Exemplo 54. {∀x.P (x)} ` ∃x.P (x)

{ID}
∀x.P (x)
{∀E }
P (b)
{∃I }
∃x.P (x)

Bruno Hott (UFOP) Lógica de Predicados 2020 15 / 19

Exemplo 55. {∃x.P (x), ∀x.P (x) → Q(x)} ` ∃y.Q(y)
1. P (k)

{ID}
∀x.P (x) → Q(x)
{∀E } {ID}1
P (k) → Q(k) P (k)
{→E }
Q(k)
{ID} {∃I }
∃x.P (x) ∃y.Q(y)
{∃E }1
∃y.Q(y)

Bruno Hott (UFOP) Lógica de Predicados 2020 16 / 19

Álgebra Booleana para Lógica de Predicados

¬∀x.P (x) ≡ ∃x.¬P (x) {¬ − ∀}

¬∃x.P (x) ≡ ∀x.¬P (x) {¬ − ∃}
∀x.P (x) ∧ Q(x) ≡ ∀x.P (x) ∧ ∀x.Q(x) {∧ − ∀}
∃x.P (x) ∨ Q(x) ≡ ∃x.P (x) ∨ ∃x.Q(x) {∨ − ∃}

Bruno Hott (UFOP) Lógica de Predicados 2020 17 / 19

Exemplo 56. ∀x.F (x) ∧ ¬G(x) ≡ ∀x.F (x) ∧ ¬∃x.G(x)

∀x.(F (x) ∧ ¬G(x)) ≡ {∧ − ∀}

∀x.F (x) ∧ ∀x.¬G(x) ≡ {¬ − ∀}
∀x.F (x) ∧ ¬∃x.G(x)

Bruno Hott (UFOP) Lógica de Predicados 2020 18 / 19

Considerações Meta-Matemáticas

Seja α uma fórmula bem formada qualquer da lógica de predicados:

1 Correção da dedução natural: Se ` α, então  α.
2 Completude da dedução natural: Se  α, então ` α.

Bruno Hott (UFOP) Lógica de Predicados 2020 19 / 19