Question

“Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo tanto, si vamos a Asia veremos el Ganges“

Answer 1

La preposición compuesta propuesta en lenguaje natural: p→q ∧ p→q ∧ r ∧ r→ o → p→o  

Definición de preposiciones simples:

p: vamos a Asia

q: llegaremos a la India

r: visitaremos Varanasi

o: podremos ver el Ganges.

Lenguaje natural de la exposición formal

p→q ∧ p→q ∧ r ∧ r→ o → p→o :“Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo tanto, si vamos a Asia veremos el Ganges“