por favor me ayudan con estos ejercicios de proposiciones
a)si tengo razon, entonces tu estas loco. si yo estoy loco, no tengo razon. si tu eres un loco,tengo razon. por tanto, no estamos los dos locos al mismo tiempo.
b) si la prima de Mayra no quiere cenar, entonces come su empanada. Si come su empanada, no le dan torta. La prima de Mayra no quiere cenar y se retira de la mesa. Por lo tanto no le dan torta.
Respuestas a la pregunta
a) Definición de
preposiciones simples:
p: yo estoy loco
q: tu estas loco
r: tengo razon
o: locos los dos¬al mismo tiempo
Lenguaje
natural de la exposición formal
r→q : Si tengo razón entonces tu estas loco
p→¬r: Si yo estoy loco entonces no tengo razón
(q ∧ r)→ ¬o: Si tu eres un loco y tengo razón por tanto no estamos locos los dos al mismo tiempo
En conclusión: ( r→q) ∧ (p→¬r) → (q ∧ r)→ ¬o
b) Definición de preposiciones simples:
¬p: la prima de Maria quiere cenar
q: come su empanada
r: le dan torta
o: se retira de la mesa
Lenguaje natural de la exposición formal
¬p→q : Si la prima de Maria no quiere cenar entonces come su empananda
q→¬r: Si come su empanada no le dan torta
(¬q ∧ o) →¬r: La prima de Maria no quiere cenar y se retira de la mesa, por tanto no le dan torta.
En conclusión: (¬p→q) ∧ (q→¬r) → (¬q ∧ o) →¬r