0 calificaciones0% encontró este documento útil (0 votos)
12 vistas10 páginas
El documento presenta 10 oraciones en español y sus correspondientes traducciones a lenguaje formal L1. Cada oración se traduce a una expresión lógica utilizando cuantificadores y conectivos lógicos.
El documento presenta 10 oraciones en español y sus correspondientes traducciones a lenguaje formal L1. Cada oración se traduce a una expresión lógica utilizando cuantificadores y conectivos lógicos.
El documento presenta 10 oraciones en español y sus correspondientes traducciones a lenguaje formal L1. Cada oración se traduce a una expresión lógica utilizando cuantificadores y conectivos lógicos.
Nombre: Carolina Videla Curso: 3 medio A Fecha: 22 de agosto de 2021
I. Traduzca a L1 las siguientes oraciones
1. “Algunos libros son complicados de entender solo sí nos hacemos
a la idea de que no nos aportaran nada.” L(x): x es algunos libros C(x): x es complicados de entender I(x): x es hacerse la idea A(x): x es aportaran nada Luego: ∃(x)/¿ {[L(x) →C(x)] ↔[I(x) → ¬A(x)]}
2. “O bien el nitrato de potasio cura heridas cutáneas o bien las
provoca.” N(x): x es nitrato de potasio C(x): x es curar heridas cutáneas P(x): x es provoca Luego: ∃(x)/¿{N(x)→[C(x) ˅ P(x)]} 3. “Algunas personas parecen cuerdas, pero están absolutamente locas de atar.” P(x): x es algunas personas C(x): x es parecen cuerdas L(x): x es estar absolutamente locas de atar Luego: ∃( x)/¿{[P(x)→C(x)]→ L(x)} 4. “Sólo sí las ofertas de temporada superan el 50% vale la pena invertir en nuevos productos.” O(x): x es ofertas de temporada S(x): x es superar el 50% V(x): x es valer la pena invertir N(x): x es nuevos productos Luego: ∀( x )∃( x)/¿{↔ [O(x) →S(x)]→ [V(x)→N(x)]} 5. “Y los jardines del Palacio Cousiño estaban adornados por el Día del Patrimonio Cultural y mucha gente estaba asombrada por la variedad de vegetación que el complejo alberga.” J(x): x es jardines del palacio Cousiño A(x): x es estar adornados por el día del patrimonio cultural G(x): x es mucha gente estaba asombrada V(x): x es variedad de vegetación que el complejo alberga Luego: ∃( x)/¿{[ J(x)→A(x)]^ [G(x) → V(x)]} 6. “No existen las verdades a medias, o son verdades o no los son.” N(x): x es no existen V(x): x es verdades a medias S(x): x es son verdades Luego: ∃( x)/¿{[N(x) →V(x)] ˅ [S(x) ˅ ~S(x)]} 7. “Algunas aves no pueden ser liberadas sólo si han nacido en cautiverio.” A(x): x es algunas aves N(x): x es no pueden ser liberadas H(x): x es nacido en cautiverio Luego: ∃( x)/¿{[A(x)→N(x)]↔ H(x)} 8. “Se cree que los tonos fríos como verdes y azules no son aptos para habitaciones de personas depresivas.” C(x): x es se cree que los tonos fríos V(x): x es verdes y azules N(x): x es no son aptos para habitaciones de personas depresivas. Luego: ∃( x)/¿{[S(x) → V(x)] → N(x)} 9. “Sólo si prestamos atención a los detalles del cuadro, podremos apreciar el total de la obra.” P(x): x es prestar atención a los detalles del cuadro A(x): x es apreciar el total de la obra Luego: ∀( x )∃( x)/¿{↔ P(x)→A(x)} 10.“El pan casero es más esponjoso y tiene menos carbohidratos que el pan de panadería.” P(x): x es pan casero E(x): x es ser más esponjoso T(x): x es tener menos carbohidratos A(x): x es pan de panadería Luego: ∃ ( x ) /¿{[P(x)→E(x)] ^ [T(x) →A(x)]}