Cuestiones de lógica I.

Ejercicios: 1 c), d), e) y 3

Ricardo Domínguez Fernández

1. c) ``Sócrates´´ refiere a una mención previa, a saber, `Sócrates´.

d) Con la palabra `Barcelona´ nombramos una ciudad catalana.
e) ``Barcelona´´ tiene interés para el lógico.

3. a) R(xy)=R(yx)

Por sustitución individual: R(xy) ​(​y z​)​ ​(​x y​)​ ​(​z x​)​ ​=​ ​R(yx)

b) S(xyz)=S(zyx)

Por sustitución individual: S(xyz) ​(​x t​)​ ​(​z x​)​ ​(​t z​)​ ​= S(zyx)