Exercicis semàntica lògica de primer ordre

Grup A1. Curs 18-19

1. Sigui L el llenguatge de primer ordre els símbols propis del qual són els símbols relacionals
unaris 𝑃𝑃, 𝑄𝑄, els símbols de relació binaris 𝑅𝑅, 𝑆𝑆 i la constant individual 𝑐𝑐. Sigui

𝔄𝔄 = �𝐴𝐴, 𝑃𝑃𝔄𝔄 , 𝑄𝑄 𝔄𝔄 , 𝑅𝑅 𝔄𝔄 , 𝑆𝑆 𝔄𝔄 , 𝑐𝑐 𝔄𝔄 �

una estructura per a L, on:

𝐴𝐴 = {1,2,3,4,5},

𝑃𝑃𝔄𝔄 = {1,2,3}, 𝑄𝑄 𝔄𝔄 = {3,5},

𝑅𝑅 𝔄𝔄 = {⟨1,2⟩, ⟨1,3⟩, ⟨2,3⟩, ⟨3,3⟩}, 𝑆𝑆 𝔄𝔄 = {⟨1,3⟩, ⟨3,1⟩, ⟨3,3⟩},

𝑐𝑐 𝔄𝔄 = 1.

Trobeu totes les assignacions que satisfan les fórmules següents (noteu que hi ha només una
variable lliure):

(a) (𝑃𝑃𝑃𝑃 ∧ 𝑄𝑄𝑄𝑄) (b) (𝑃𝑃𝑃𝑃 ∨ 𝑄𝑄𝑄𝑄) (c) (𝑃𝑃𝑃𝑃 ∨ ¬𝑄𝑄𝑄𝑄) (d) (𝑃𝑃𝑃𝑃 ∧ ¬𝑄𝑄𝑄𝑄)

(e) (𝑃𝑃𝑃𝑃 → 𝑄𝑄𝑄𝑄) (f) 𝑅𝑅𝑅𝑅𝑅𝑅 (g) (𝑃𝑃𝑃𝑃 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) (h) (𝑄𝑄𝑄𝑄 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆)

(i) 𝑃𝑃𝑃𝑃 → 𝑅𝑅𝑅𝑅𝑅𝑅 (j) ∃𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦 (k) ∃𝑦𝑦(𝑄𝑄𝑄𝑄 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆) (l) ∀𝑦𝑦(𝑃𝑃𝑃𝑃 → 𝑅𝑅𝑅𝑅𝑅𝑅)

2. Siguin L el mateix llenguatge i 𝔄𝔄 la mateixa estructura que en l’exercici anterior. Trobeu

totes les assignacions que satisfan les fórmules següents (noteu que ara hi ha sempre dues
variables lliures):

(a) 𝑅𝑅𝑅𝑅𝑅𝑅 (b) (𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆) (c)¬𝑅𝑅𝑅𝑅𝑅𝑅 (d)(𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆)

(e) (𝑃𝑃𝑃𝑃 ∧ 𝑄𝑄𝑄𝑄) (f) (𝑃𝑃𝑃𝑃 → 𝑄𝑄𝑄𝑄) (g) (𝑃𝑃𝑃𝑃 ∨ 𝑅𝑅𝑅𝑅𝑅𝑅) (h) (𝑄𝑄𝑄𝑄 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆)

(i) 𝑃𝑃𝑃𝑃 → 𝑅𝑅𝑅𝑅𝑅𝑅 (j) ∃𝑧𝑧(𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆) (k) ∃𝑧𝑧(𝑅𝑅𝑅𝑅𝑅𝑅 ∨ 𝑆𝑆𝑆𝑆𝑆𝑆) (l) ∀𝑧𝑧(𝑅𝑅𝑅𝑅𝑅𝑅 → 𝑆𝑆𝑆𝑆𝑆𝑆)

3. Sigui L el llenguatge de primer ordre els símbols propis del qual són els símbols relacionals
unaris 𝑃𝑃, 𝑄𝑄, els símbols de relació binaris 𝑅𝑅, 𝑆𝑆 i les constants individuals 𝑐𝑐, 𝑑𝑑. Sigui

𝔄𝔄 = �𝐴𝐴, 𝑃𝑃𝔄𝔄 , 𝑄𝑄 𝔄𝔄 , 𝑅𝑅 𝔄𝔄 , 𝑆𝑆 𝔄𝔄 , 𝑐𝑐 𝔄𝔄 �

una estructura per a L, on:

𝐴𝐴 = {1,2,3,4,5},

𝑃𝑃𝔄𝔄 = {1,3,5}, 𝑄𝑄 𝔄𝔄 = {2,4},

𝑅𝑅 𝔄𝔄 = {⟨1,2⟩, ⟨2,3⟩, ⟨3,4⟩, ⟨4,5⟩, ⟨5,1⟩}, 𝑆𝑆 𝔄𝔄 = {⟨2,1⟩, ⟨2,3⟩, ⟨2,5⟩},

𝑐𝑐 𝔄𝔄 = 1, 𝑑𝑑𝔄𝔄 = 2.
Quines de les sentències següents són vertaderes en 𝔄𝔄?

(a) (𝑃𝑃𝑃𝑃 ∧ 𝑄𝑄𝑄𝑄) (b) (𝑃𝑃𝑃𝑃 ∨ 𝑄𝑄𝑄𝑄) (c) (𝑃𝑃𝑃𝑃 ∨ ¬𝑄𝑄𝑄𝑄) (d) (𝑃𝑃𝑃𝑃 ∧ ¬𝑄𝑄𝑄𝑄)

(e) (𝑃𝑃𝑃𝑃 → 𝑄𝑄𝑄𝑄) (f) 𝑅𝑅𝑅𝑅𝑅𝑅 (g) (𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆) (h) ∃𝑦𝑦(𝑄𝑄𝑄𝑄 ∧ 𝑆𝑆𝑆𝑆𝑆𝑆)

(i) ∀𝑥𝑥(𝑃𝑃𝑃𝑃 → 𝑅𝑅𝑅𝑅𝑅𝑅) (j) ∃𝑥𝑥𝑥𝑥(𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) (k) ∀𝑥𝑥𝑥𝑥((𝑃𝑃𝑃𝑃 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑄𝑄𝑄𝑄)

(l) ∀𝑥𝑥∃𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦 (m) ∃𝑦𝑦∀𝑥𝑥𝑥𝑥𝑥𝑥𝑥𝑥 (n) ∀𝑥𝑥∃𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦 → ∀𝑥𝑥(𝑃𝑃𝑃𝑃 ∨ 𝑄𝑄𝑄𝑄)

4. Per a cadascuna de les sentències, trobeu una estructura que les faci vertaderes i una altra
que les faci falses.

(a) ¬∃𝑥𝑥𝑥𝑥𝑥𝑥𝑥𝑥

(b) ∀𝑥𝑥𝑥𝑥(¬𝑥𝑥 ≈ 𝑦𝑦 → 𝑅𝑅𝑅𝑅𝑅𝑅)

(c) ∀𝑥𝑥𝑥𝑥𝑥𝑥((𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑅𝑅𝑅𝑅𝑅𝑅)
(d) ∀𝑥𝑥𝑥𝑥((𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑥𝑥 ≈ 𝑦𝑦)
(e) ∀𝑥𝑥𝑥𝑥𝑥𝑥((𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑦𝑦 ≈ 𝑧𝑧)
(f) ∀𝑥𝑥𝑥𝑥𝑥𝑥((𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑦𝑦 ≈ 𝑧𝑧)

5. Per a cadascun dels conjunts següents de sentències digueu si són satisfactibles i si ho

són trobeu un model dels mateixos.
(a) {∀𝑥𝑥¬𝑅𝑅𝑥𝑥𝑥𝑥, ∀𝑥𝑥∃𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦, ∀𝑥𝑥𝑥𝑥𝑥𝑥((𝑅𝑅𝑅𝑅𝑅𝑅 ∧ 𝑅𝑅𝑅𝑅𝑅𝑅) → 𝑅𝑅𝑅𝑅𝑅𝑅)}

(b) {∃𝑥𝑥∀𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦, ∃𝑥𝑥∀𝑦𝑦¬𝑅𝑅𝑅𝑅𝑅𝑅, ∃𝑥𝑥𝑥𝑥𝑥𝑥(𝑅𝑅𝑅𝑅𝑅𝑅 ∧ ¬𝑅𝑅𝑅𝑅𝑅𝑅)}

(c) {∀𝑥𝑥(𝑃𝑃𝑃𝑃 → ∃𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦), ∀𝑥𝑥(𝑃𝑃𝑃𝑃 → ∃𝑦𝑦¬𝑅𝑅𝑅𝑅𝑅𝑅), ∃𝑥𝑥𝑥𝑥𝑥𝑥}

(d) {∀𝑥𝑥(𝑃𝑃𝑃𝑃 → ∀𝑦𝑦𝑦𝑦𝑦𝑦𝑦𝑦), ∀𝑥𝑥(𝑃𝑃𝑃𝑃 → ∀𝑦𝑦¬𝑅𝑅𝑅𝑅𝑅𝑅), ∃𝑥𝑥𝑥𝑥𝑥𝑥}