Segunda Prova de Lógica, 2021/1

Pontuação máxima: 10

1 (1P) Seja Σ = (f, g, h, R, P, c, d; ar) com ar(f ) = ar(R) = 2, ar(g) =

ar(h) = 1, ar(P ) = 3. Apresente 4 Σ-termos sem variáveis e 4 Σ-fórmulas que
não sejam atômicas.

2 (1P) Apresente uma fórmula onde x ∈ V ocorre tanto livre como também ligada.

3 (4P) Prove:
(i) ¬∀xϕ ≡ ∃x¬ϕ
(ii) ∀xϕ ∨ ∀xψ ∀x(ϕ ∨ ψ)

(iii) ∀x(ϕ ∨ ψ) ≡ ∀xϕ ∨ ψ, se x ∈

/ f var(ψ)
Apresente um contra-exemplo que mostra: ∀x∃yP (x, y) 1 ∃y∀xP (x, y).

4 (2P) Seja ϕ = ∀x∃z(P (x, c, y) → ¬∀y(R(y, f (z)) ∧ Q(z, a))). Apresente uma
fórmula limpa e prenexa que é logicamente equivalente a ϕ. Apresente dessa fórmula
uma forma de Skolem.

5 (2P) Considere os axiomas das ordens parciais (numa assinatura apropriada) e

mostre que o axioma da transitividade não é consequência lógica dos outros dois ax-
iomas. Acrescente axiomas δ1 e δ2 que expressam, respectivamente, o seguinte: existe
um menor elemento, existem elementos minimais. Apresente um contra-exemplo que
mostra δ2 1 δ1 .

6 (2P) Seja Σ = (c, f ; ar) com ar(f ) = 1. Considere a Σ-estrutura M =

(N, cM , f M ) onde cM = 0 ∈ N e f M : N → N é a função de sucessor: f M (n) =
n + 1. Seja γ : V → N uma valoração tal que γ(x1 ) = 2. Apresente dois termos
t1 , t2 ∈ T m(Σ) diferentes tais que I(t1 ) = 4 = I(t2 ), onde I = (M, γ).