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)[Q(x)R(x)]]
  • b) P(x)= " x>y " ; Q(x)= "y>z " ; R(x)= " x>z "
   [[P(x)Q(x)]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)Q(x)]P(x)]