Lógica de predicados

Ejercicio #1

Todos los romanos que conocen a marco o bien odian a cesar o bien piensan que cualquiera que odie a otro está loco.

ꓯ_x: romanos(x)  ꓥ conocen(marco) v odian(x,cesar) v estanlocos(x)

Iván Euan Pacheco

José Jesús Nic Yam