Usuario:Rafagarcia/ejercicio 6

Página 21. Ejercicio 5.

5) Traduzca las siguenties oraciones al cálculo preposicional, utilizando variables preposicionales sólo para las preposiciones atómicas. Además de el enlace de todas las conecciones lógicas.

• a) Mariá es alta, pero Jaime es pequeño y ágil.

• b)Si "x" es mayor que "y", y "y" es mayor que z, entonces "x" es mayor que "z".

• c)La concentración de minerales es provechosa si la concentración de mineral es alta pero sólo si la distancia hasta el mercado es corta.

Solución: Para la resolución de este problema, se tomaran las frases y se reduciran a preposiciones atómicas, para despues poder hacer las conecciones lógicas, es decir encontrar la relación que existe entre estas preposiciones.

• a) P(x)= "María es alta" ; Q(x)= "Jaime es pequeño" ; R(x)= " Jaime es ágil"

   [P(x)$\wedge \;$[Q(x)$\wedge \;$R(x)]]

• b) P(x)= " x>y " ; Q(x)= "y>z " ; R(x)= " x>z "

   [[P(x)$\wedge \;$Q(x)]$\Rightarrow \;$R(x)]

• c) P(x)= "Extracción de minerales es probechosa" ; Q(x)= "concentración de mineral alta" ; R(x)= "Distancia hasta el mercado es corta".

   [[P(x)$\Leftrightarrow \;$Q(x)]$\Leftrightarrow \;$P(x)]