Simboliza las siguientes proposiciones.
1. X=Y si y sólo si Z≠0
2. María y Luis son amigas de Ana
3. Las mujeres no quieren ser violentadas
4. Todos los árboles son seres vivos
5. Si Lupita como mucha chatarra y no hace ejercicio entonces empeorará su salud.
6. No es verdad que, Juan y Pedro sean culpables
7. Podrán participar en las próximas elecciones si y solo si cuentan con su credencial para votar,
8. Ningún animal debe ser violentado
9. Si todo estudiante cuenta con el apoyo de su familia y de la sociedad entonces obtendremos profesionistas bien preparados y responsables
10. María o Juan serán esposos si y solo si sus papá aprueban su boda
11. Si X es diferente a Y y Y es igual a 0 entonces X diferente a 0
12. O Juan piensa que soy tonta y busca sacar ventaja de mi desgracia o de plano Juan no es consciente del daño que ha hecho.
13. Todo juez es abogado y todo abogado es imparcial si y sólo sí actúan apegados a las leyes
14. La mañana es hermosa
15. Esta tarea no es complicada
Respuestas
Respuesta:
1. X=Y si y sólo si Z≠0
p<->~q
2. María y Luis son amigas de Ana
p^q
3. Las mujeres no quieren ser violentadas
~p
4. Todos los árboles son seres vivos
p
5. Si Lupita como mucha chatarra y no hace ejercicio entonces empeorará su salud.
(p^~q)->r
6. No es verdad que, Juan y Pedro sean culpables
~(p^q)
7. Podrán participar en las próximas elecciones si y solo si cuentan con su credencial para votar,
p<->q
8. Ningún animal debe ser violentado
~p
9. Si todo estudiante cuenta con el apoyo de su familia y de la sociedad entonces obtendremos profesionistas bien preparados y responsables
p^q->(r^s)
10. María o Juan serán esposos si y solo si sus papá aprueban su boda
(pvq)<->r
11. Si X es diferente a Y y Y es igual a 0 entonces X diferente a 0
(~p^q)->~r
12. O Juan piensa que soy tonta y busca sacar ventaja de mi desgracia o de plano Juan no es consciente del daño que ha hecho.
(p^q)∆~r
13. Todo juez es abogado y todo abogado es imparcial si y sólo sí actúan apegados a las leyes
(p^q)<->r
14. La mañana es hermosa
p
15. Esta tarea no es complicada
~p