Conceptos Fundamentales de Lógica Proposicional: Tablas de Verdad, Tautologías y Consecuencia Lógica
Enviado por Chuletator online y clasificado en Filosofía y ética
Escrito el en
español con un tamaño de 3,53 KB
Conceptos Fundamentales de Lógica Proposicional
1. Tabla de Verdad: Definición, Construcción y Significado
Una tabla de verdad de una fórmula A es una tabla en la que se calculan los valores de verdad que las distintas valuaciones dan a la fórmula A en función de los valores asignados a las variables proposicionales que aparecen en A. En la tabla reflejamos todas las posibles combinaciones de valores de verdad que se pueden dar a las variables proposicionales de A. A partir de ahí, vamos calculando los valores que en cada una de esas posibilidades corresponden a cada una de las subfórmulas de A, yendo de más simples a más complejas hasta llegar a A.
Procedimiento:
- Escribimos en una línea todas las subfórmulas de menor a mayor complejidad.
catalán con un tamaño de 3,45 KB