¿Cómo determinamos el valor de verdad?

Para encontrar el valor de verdad de una fórmula cualquiera, tenemos dos opciones:

Diagrama de valores de certeza (o de verdad)

Independientemente de la longitud y de lo complicada que sea una proposición molecular, se pueden hallar sus valores de certeza, si se conocen los valores de certeza de sus partes.

Sea por ejemplo la fórmula (pvq)^r donde p y r son V y q es F, el diagrama tendrá la forma:

Se comienza con las variables atómicas, luego el conectivo de menor alcance y se continúa hasta el término de enlace final.

Tablas de valores de verdad

Si no se conocen los valores de verdad de sus partes, se utilizan mecanismos de decisión dados por tablas de verdad. Las tablas son exhaustivas operaciones lógicas cuyos resultados pueden tener distintas formas.

Forma Tautológica: su valor de certeza es V, independientemente de los valores de las proposiciones atómicas. Decimos que la fórmula es una tautología. Ejemplo:

Forma Contingente: las valoraciones son V y F, es una función de verdad, porque los valores dependen de los valores de V de las proposiciones. Decimos que la fórmula es una contingencia. Ejemplo:

Forma Contradictoria: tiene siempre el valor F, independientemente del valor de verdad de las variables. Decimos que la fórmula de una contradicción. Ejemplo:

¡Muy bien! Con todo lo aprendido hasta el momento desde los posteos anteriores hasta este, te encuentra en condiciones de realizar las actividades desde la doce hasta la quince del Trabajo Práctico que se encuentra en la bibliografía.

Por si no se entendió muy bien la explicación textual, les dejo un video sobre como se determina el valor de verdad de una proposición compuesta a través de cualquiera de los dos métodos.

¡Nos vemos la próxima semana!