Cuestionario 10
Cuantificación con relaciones
Este cuestionario se evaluará y debe entregarse como límite el domingo en la noche. 
Es el último cuestionario del curso
Se enviará, además, el domingo, un modelo de examen final, que no se calificará

1.	Formalice los siguientes enunciados.
a.	Juan es feliz.
b.	Jesús es feliz pero nadie más lo es
c.	Si María es feliz, Andrea no lo es, y si Andrea es feliz, María no lo es.
d.	Si todos fuéramos trabajadores algunos serían felices.
e.	Todos los hombres son curiosos.
f.	Todos somos sinceros, incluso Juan.
g.	Algunos de los presentes se retiraron cuando vieron que llegaba la policía.
h.	Algunos tigres cazan solos, otros comen alimento balanceado.
i.	Si todos los tigres son carnívoros, entonces existen carnívoros que no son hombres.
j.	Sólo si fuéramos menos egoístas podría superarse la crisis. Sin embargo no se superará.

2. Pruebe el siguiente razonamiento
1) Pa  Rs  x Dx
2) (Rs  Pa)  
3) Dm  (Fb  y Ty)
4)  (y Ty  Fb)  x (Bx  Sx)
________________________________/Bb  Sb

3.	De un ejemplo en lenguaje natural del razonamiento anterior. Punto adicional si proporciona también el ejemplo en lenguaje natural para toda la demostración.