¿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...