Question

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

Answer 1

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