55. Lógica y Proposiciones
Consiste en evaluar si una proposición es cierta o falsa, o analizar una afirmación en función de otra dada como verdadera.
Concepto de Proposición
Una proposición se compone de dos partes unidas por una partícula (normalmente "es").
Todo • Algún • Un • Ningún
Estas partes suelen estar matizadas por cuantificadores que cambian totalmente el sentido de la frase:
Ejemplo: La frase "Un niño es rubio" es cierta, pero "Todo niño es rubio" es falsa.
Ejemplos de Evaluación
1. ¿Todo vegetal es un árbol?
Respuesta: No. El grupo vegetal incluye arbustos y hierbas; no todo vegetal es sinónimo de árbol.
2. ¿Un vegetal es un árbol?
Respuesta: A veces. Si elegimos un vegetal al azar, puede que sea un árbol o puede que no.
3. ¿Un manzano da peras o manzanas?
Respuesta: Sí. Al usar la partícula "o", solo se requiere que una de las dos condiciones sea cierta. Como da manzanas, la proposición es verdadera.
Lógica con Variables
• Si Z < A, ¿se cumple que Z = A?
Respuesta: Nunca. Es imposible que un valor sea menor e igual al mismo tiempo.
• Si B > C y B > D, ¿se cumple que C = D?
Respuesta: Depende. Ambos son menores que B, pero no tienen por qué ser iguales entre sí. Pueden ser valores distintos (5 y 3) o iguales (7 y 7).