Lògica.

Grup A1
Grau de Filosofia

Semàntica de la lògica de primer ordre.

Exercicis.

1. Per a cadascun del següents parells de sentències, trobeu una estructura

que en faci vertadera una i falsa l’altra. Digueu quina és la vertadera i
quina és la falsa:

(a) ∀xP x → ∀xQx, ∀x(P x → Qx)

(b) ∀xP x ∨ ∀xQx. ∀x(P x ∨ Qx)
(c) ∃xP x ∧ ∃xQx, ∃x(P x ∧ Qx)
(d) ∃xP x → ∃xQx, ∃x(P x → Qx)
(e) ∀x(P x → Qc), ∀xP x → Qc
(f) ∃x(P x → Qc), ∃xP x → Qc
(g) ∃x(P x → ∀yQy), ∃xP x → ∀yQy

2. Digueu si els següents conjunts de fórmules són satisfacibles. Si ho són,

mostreu una estructura que els satisfaci.

(a) ∀x¬Rxx (c) ∀x(P x → ∃yRxy)

∀x∃yRxy ∀x(P x → ∃y¬Rxy)
∀xyz((Rxy ∧ Ryz) → Rxz) ∃xP x

(b) ∃x∀yRxy (d) ∀x(P x → ∀yRxy)

∃x∀y¬Rxy ∀x(P x → ∀y¬Rxy)
∃xyz(Rxy ∧ ¬Rxz) ∃xP x

3. Digueu si els següents arguments són vàlids. Si no ho són, trobeu una

estructura que ho mostri.
(a) ∀x(P x → Qx), ∀x(Qx → Lx) |= ∃xLx → ∃xP x
(b) ∀x(P x → x ≈ c) |= ∀xy((P x ∧ P y) → x ≈ y)
(c) ∀xy(Rxy → Ryx) |= ∀xy(Rxy → ¬Ryx)
(d) ∃xy(Rxy ∧ ¬x ≈ y) |= ∀xy(Rxy → ¬x ≈ y)
(e) ∃xP x ∧ ∃xQx, ∀xy((P x ∧ P y) → x ≈ y), ∀xy((Qx ∧ Qy) → x ≈ y) |=
∀x(P x ↔ Qx)

1
 (f) ∃x(P x ∧ Qx), ∀xy((P x ∧ P y) → x ≈ y), ∀xy((Qx ∧ Qy) → x ≈ y) |=
∀x(P x ↔ Qx)
(g) ∀x∃yRxy, ∀xyz((Rxz ∧ Ryz) → Rxy) |= ∀xRxx
4. Per a cadascuna de les següents sentències, trobeu una estructura que les
faci vertaderes i una altra que les faci falses.

(a) ¬∃xRxx
(b) ∀xy(¬x ≈ y → Rxy)
(c) ∀xyz((Rxy ∧ Ryz) → Rxz)
(d) ∀xy((Rxy ∧ Ryx) → x ≈ y)
(e) ∀xyz((Rxy ∧ Rxz) → y ≈ z)
(f) ∀xyz((Ryx ∧ Rzx) → y ≈ z)

5. Considereu el llenguatge de primer ordre amb els sı́mbols de predicat P, R.

Considereu, també, l’estructura A = hA, P A , RA i per a aquest llenguatge
on,

A = {1, 2, 3, 4, 5, 6}, P A = {3, 4}, RA = {h1, 2i, h1, 3i, h2, 4i, h3, 4i, h5, 5i}

Per a cadascuna de les següents fórmules digueu quins elements d’A les
fan vertaderes a A:

(a) ∀y¬Rxy (e) ∀y(P y → Rxy)

(b) ¬∀yRxy (f) ∀y(Rxy → P y)
(c) ∃y(P y ∧ Rxy) (g) ∃y(Rxy ∧ Ryx)
(d) ∃y(¬P y ∧ Rxy) (h) ∃yRxy ∧ ∃yRyx

6. Considereu el llenguatge de primer ordre amb els sı́mbols de predicat

P, Q, D. Considereu, també, l’estructura A = hA, P A , QA , DA i per a
aquest llenguatge on,

A = {1, 2, 3, 4, 5, 6, 7, 8},

P A = {1, 4, 5, 7}, QA = {2, 4, 6, 7}, DA = {3, 5, 6, 7}

(a) Trobeu una fórmula amb l’única variable lliure x tal que sigui satisfeta
en A pels nombres 4 i 7, i només per ells.
(b) Trobeu una fórmula amb l’única variable lliure x tal que sigui satisfeta
en A pels nombres 3 i 8, i només per ells.
(c) Trobeu una fórmula amb l’única variable lliure x tal que sigui satisfeta
en A pel nombre 7, i només per ell.

2
 (d) Trobeu una fórmula amb l’única variable lliure x tal que sigui satisfeta
en A per tots els elements d’A.

7. Considereu el llenguatge de primer ordre amb els sı́mbol relacional binari

R. Considereu, també, l’estructura A = hA, RA i per a aquest llenguatge
on RA és la relació relfexiva en A, antisimètrica i transitiva representada
pel següent diagrama (xRy si, i només si, o bé hi ha una lı́nia ascendent
que va d’x a y o bé x = y):

1 s s4
@
@s 3

2
s

Trobeu fórmules α1 , α2 i α3 amb l’única varable lliure x tals que:

(a) α1 sigui vertadera en A si, i només si, x pren el valor 2,

(b) α1 sigui vertadera en A si, i només si, x pren el valor 3,
(c) α1 sigui vertadera en A si, i només si, x pren el valor 1 o el valor 4.