ejercicio 6
Particularizar:
a) S 3 x {\displaystyle \ S_{3}^{x}} P(x, y)
P(3, y)
b) S y x {\displaystyle \ S_{y}^{x}} P(x, y)
P(y, y)
c) S y x {\displaystyle \ S_{y}^{x}} (P(x) ∧ {\displaystyle \wedge } ∀ x Q(x))
P(y) ∧ ∀y Q(y)
d) S 2 x {\displaystyle \ S_{2}^{x}} P(x) ∧ {\displaystyle \wedge } Q(y) ∧ {\displaystyle \wedge } R(x, y)
P(2) ∧ Q(y) ∧ R(x,y)
.
P(x, y)
P(x, y)
(P(x)
∀ x Q(x))
P(x) Q(y) R(x, y)
