Question

Formalizar oraciones. Dominio de interpretación: conjunto de todas las personas.
E(x, y): "x puede engañar a y".
Q(x): "x es un niño pequeño".
R(x): "x es un adulto".
1) Todo el mundo puede engañar a Fred.
2) Evelyn puede engañar a todo el mundo.
3) Todo el mundo puede engañar a alguien.
4) No hay nadie que pueda engañar a todo el mundo.
5) Nadie puede engañarse a sí mismo.
6) Todo adulto puede engañar a un niño pequeño.
7) Hay por lo menos un niño pequeño que puede engañar a algún adulto.

Answer 1

1) ∀x E(x, Fred)

2) ∀y E(Evelyn, y)

3) ∀x ∃y E(x, y)

4) ¬∃x ∀y E(x, y)

5) ¬∃x E(x, x)

6) ∀x ∃y E(R(x), Q(y))

 =∀x ∃y[(P(x) ^ Q(y)) → E(x, y)]

7) ∃x ∃y[(Q(x) ^ P(y)) → E(x, y)]

 =∃x ∃y E(Q(x), R(y))