Proposiciones y Valores de Verdad

Imaginate que cada oración fuera como un interruptor que solo puede estar encendido o apagado. Eso es básicamente una proposición: un enunciado que puede ser verdadero o falso, sin términos medios.

Una proposición es simplemente una oración declarativa donde puedes determinar si lo que dice es cierto o no. Por ejemplo, "8+9=4" es una proposición (aunque sea falsa), pero "¡Bello día!" no lo es porque es una exclamación.

El valor de verdad es como la etiqueta que le ponés a cada proposición: V para verdadero o F para falso. No todas las oraciones califican como proposiciones: las preguntas como "¿Me querés?" y las órdenes como "Acostate temprano" quedan por fuera.

Tip clave: Solo las oraciones declarativas pueden ser proposiciones. Si no podés decir que es verdadera o falsa, entonces no es una proposición.

Tipos de Proposiciones y Conectores

Las proposiciones son como bloques de construcción del pensamiento lógico. Las proposiciones simples son como ladrillos individuales, mientras que las proposiciones compuestas son estructuras más complejas hechas con varios ladrillos unidos.

Para representar proposiciones usamos letras como P, Q, R, S, T. Es como darle un nombre corto a cada idea para trabajar más fácil con ellas.

Los conectores lógicos son las herramientas que unen las proposiciones. Tenés cinco principales: negación (~) que significa "no", conjunción (∧) que significa "y", disyunción (∨) que significa "o", condicional (→) que significa "entonces", y bicondicional (↔) que significa "si y solo si".

La negación es la más simple: si P es verdadera, entonces ~P es falsa, y viceversa. Es como voltear una moneda.

Recordá: Los conectores transforman proposiciones simples en compuestas, creando nuevas relaciones lógicas.

Tablas de Verdad de los Conectores

Las tablas de verdad son como las instrucciones de uso de cada conector lógico. Te muestran exactamente qué resultado obtenés según los valores de las proposiciones que conectás.

La conjunción (∧) es súper exigente: P∧Q solo es verdadera cuando ambas proposiciones son verdaderas. Es como decir "necesito las dos cosas". La disyunción (∨) es más flexible: P∨Q es verdadera si al menos una de las dos proposiciones es verdadera.

El condicional (→) tiene una lógica particular: P→Q solo es falsa cuando P es verdadera y Q es falsa. En todos los otros casos es verdadera. El bicondicional (↔) es como un espejo: P↔Q es verdadera solo cuando ambas proposiciones tienen el mismo valor de verdad.

Estas tablas son tu guía definitiva para resolver cualquier problema de lógica. Con práctica, vas a poder predecir los resultados sin necesidad de consultarlas.

Estrategia ganadora: Memorizá que la conjunción necesita "todo verdadero" y la disyunción acepta "al menos uno verdadero".