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)]