
Determinar la verdad o falsedad de una proposición es fundamental. Lo haremos paso a paso. Analizaremos diferentes tipos de proposiciones.
Tipos de Proposiciones
Primero, existen las proposiciones simples. Estas afirman o niegan algo directamente. Luego, están las proposiciones compuestas.
Las proposiciones simples requieren verificar la correspondencia con la realidad. Esto significa observar los hechos. Por ejemplo, "El cielo es azul" se verifica mirando el cielo.
Must Read
Para las proposiciones compuestas, la cosa cambia. Debemos usar la lógica. Estas se construyen con conectivos lógicos.
Conectivos Lógicos
Los conectivos más comunes son "y", "o", "si... entonces", y "no". Cada uno tiene sus propias reglas. Estas reglas definen cuando la proposición completa es verdadera o falsa.
El conectivo "y" (conjunción) requiere que ambas proposiciones sean verdaderas. Si una es falsa, la proposición completa es falsa. Por ejemplo, "Está lloviendo y hace frío" solo es verdadera si ambas son ciertas.

El conectivo "o" (disyunción) requiere que al menos una proposición sea verdadera. Si ambas son falsas, la proposición completa es falsa. Por ejemplo, "Voy al cine o me quedo en casa" es verdadera si hago una u otra, o ambas.
El conectivo "si... entonces" (condicional) es un poco más complicado. Es falsa solo cuando la primera proposición (antecedente) es verdadera y la segunda (consecuente) es falsa. Por ejemplo, "Si llueve, entonces me mojo" solo es falsa si llueve y no me mojo.
El conectivo "no" (negación) invierte el valor de verdad de la proposición. Si la proposición es verdadera, la negación es falsa, y viceversa. Por ejemplo, si "Está lloviendo" es verdadero, "No está lloviendo" es falso.

Tablas de Verdad
Una herramienta útil son las tablas de verdad. Estas muestran todas las posibles combinaciones de valores de verdad. Luego indican el valor de verdad de la proposición compuesta para cada combinación.
Para una proposición con "y" (p ∧ q):
- Si p es Verdadero y q es Verdadero, entonces p ∧ q es Verdadero.
- Si p es Verdadero y q es Falso, entonces p ∧ q es Falso.
- Si p es Falso y q es Verdadero, entonces p ∧ q es Falso.
- Si p es Falso y q es Falso, entonces p ∧ q es Falso.
Para una proposición con "o" (p ∨ q):

- Si p es Verdadero y q es Verdadero, entonces p ∨ q es Verdadero.
- Si p es Verdadero y q es Falso, entonces p ∨ q es Verdadero.
- Si p es Falso y q es Verdadero, entonces p ∨ q es Verdadero.
- Si p es Falso y q es Falso, entonces p ∨ q es Falso.
Para una proposición con "si... entonces" (p → q):
- Si p es Verdadero y q es Verdadero, entonces p → q es Verdadero.
- Si p es Verdadero y q es Falso, entonces p → q es Falso.
- Si p es Falso y q es Verdadero, entonces p → q es Verdadero.
- Si p es Falso y q es Falso, entonces p → q es Verdadero.
Para una proposición con "no" (¬p):
- Si p es Verdadero, entonces ¬p es Falso.
- Si p es Falso, entonces ¬p es Verdadero.
Resolviendo Problemas
Para determinar la verdad o falsedad, sigue estos pasos. Primero, identifica las proposiciones simples. Luego, identifica los conectivos lógicos. Finalmente, aplica las reglas de las tablas de verdad.

Considera la proposición: "Si está nevando, entonces hace frío y el tráfico es lento". Primero, divide la proposición en partes. p = "Está nevando", q = "Hace frío", r = "El tráfico es lento".
La proposición completa es p → (q ∧ r). Ahora, evalúa cada parte. Si está nevando (p es verdadero), hace frío (q es verdadero), y el tráfico es lento (r es verdadero), entonces toda la proposición es verdadera.
Pero si está nevando (p es verdadero), hace frío (q es verdadero), pero el tráfico no es lento (r es falso), entonces (q ∧ r) es falso, y por lo tanto p → (q ∧ r) es falso.
Recuerda, la práctica es clave. Cuanto más practiques, más fácil será determinar la verdad o falsedad de las proposiciones.