LÒGICA FORMAL. Exercicis grupals per a entregar.

Data límit 26/01/2024

1. [2 punt] Fes l’arbre genealògic de la fórmula a) i identifica el conjunt de les

seues subfórmules. Quantes en té? Construeix una fórmula prenexa lògicament
equivalent a (a) i una altra en lògicament equivalent a (b)

a) (x(Px  Qc)  (xPx  Qc)) b) x((Px  yRxy)  ySxy)

2. [1 punt] Afegeix parèntesis a l’expressió de baix de tal manera que resulten dues
fórmules que s’ajusten a les descripcions especificades a continuació:

x y Rxy  z Px  Rxz  Px
a) La quantificació universal de la quantificació universal d’una disjunció.
b) La quantificació universal d’un condicional que té per consequent la
quantificació existencial d’una fórmula.

3. [2 punt] Substitució de variables lliures.

a) Obtingues primer la substitució de la variable x per la constant c i després la substitució

de la variable y per la variable x en cadascuna de les fórmules següents:

i) x(Rxx  (yPy  Rxy)) ii) yRxy  xRxy

b) Passa de Sxyz a Szyx mitjançant una sèrie de substitucions individuals.

4. [2 punts] 4. Per a cadascun dels enunciats de baix troba, si és possible, una

estructura A on l’enunciat és vertader i una estructura B on és fals. Si no és
possible, explica per què.

a) xy(Rxy  Ryx) b) x(Rxc  Rxx)

c) Pc  (xPx  xRxc ) d) (Qc  xPx)  (xRxc  Qd)

5. [3 punts] Justifica amb derivacions les següents afirmacions i regles derivades.

Fes servir només regles bàsiques en les derivacions.

(a) {x(Px  Qx), xPx} – yQy (b) Pc – x(x  c  Px) (c)  x

 x