LIMA 2014 SUPPES, Patrick. (1979). Introduccin a la lgica simblica. 12da. impresin. Mxico: CECSA. pp. 96-97.
EJERCICIOS
11. En la teora del comportamiento racional, que tiene aplicaciones en economa, tica y psicologa, es de importancia el concepto de individuo que prefiere un objeto o estado de cosas a otro. Podemos decir que un individuo prefiere dbilmente x a y, si no prefiere estrictamente y a x. Usamos el concepto de preferencia dbil por comodidad formal, pues si usamos preferencias estrictas necesitaramos tambin un concepto de indiferencia. La medula del presente ejercicio consiste en la demanda de que, sobre la base de las dos sencillas propiedades postuladas de preferencia dbil y las definiciones adecuadas de preferencia estricta e indiferencia, en funcin de preferencia dbil, se demuestra que es posible inferir lgicamente todas las propiedades esperadas de preferencia estricta y de indiferencia. sese Q para preferencia dbil, P para preferencia estricta e I para indiferencia. Los dos postulados o premisas sobre el predicado Q dicen solamente que es transitivo, y que de dos objetos cualesquiera del dominio de objetos que se consideran, uno es preferido dbilmente al otro. En notacin simblica:
(1) ()()()( )
(2) ()()( )
Como premisas adicionales introduciremos las dos definiciones obvias:
(3) ()()( )
(4) ()()( )
Dedzcanse las ocho conclusiones siguientes de estas cuatro premisas: