lenguaje formal las siguientes proposiciones moleculares:
• Hacía frío o calor; y si llovía entonces no hacía calor.
• Me voy; y si no me sigues, te dejaré.
• Si me voy y no me dejas, te dejaré
P_(1^= ) Si Carlos nació en Guayaquil entonces es ecuatoriano
P_(2^= )Si una persona es ecuatoriana entonces es latinoamericana
Carlos nació en Guayaquil,por lo tanto es ecuatoriano
g: Guayaquil
e: ecuatoriano
l: Latinoamericano
Respuestas a la pregunta
Lenguaje formal las siguientes proposiciones moleculares:
Definición de preposiciones simples:
p: Hacía frío
q: hace calor
r: llovía
Lenguaje natural de la exposición formal
(p ∨ q) ∧ r → ¬q: Hacía frío o calor; y si llovía entonces no hacía calor
Definición de preposiciones simples:
p: Me voy
q: Me sigues
r: Te dejare
Lenguaje natural de la exposición formal
(p ∧¬q) →r: Me voy; y si no me sigues, te dejaré.
Definición de preposiciones simples:
p: Me voy
q: Me dejas
r: Te dejare
Lenguaje natural de la exposición formal
(p ∧¬q) →r: Si me voy y no me dejas, te dejaré
Definición de preposiciones simples:
g: Guayaquil
e: Ecuatoriano
l: Latinoamericano
Lenguaje natural de la exposición formal
Premisa 1:
g →e: Si Carlos nació en Guayaquil entonces es ecuatoriano
Premisa 2:
e→l: Si una persona es ecuatoriana entonces es latinoamericana
Conclusión:
g→e: Carlos nació en Guayaquil,por lo tanto es ecuatoriano