Lógica matemática

TABLAS DE VERDAD

 Al finalizar está unidad el estudiante estará en condiciones de: Construir la tabla de verdad correspondiente a operaciones combinadas dadas. Construir la tabla de verdad para proposiciones compuestas y establecer si son tautologías, contradicciones o indeterminaciones. Determinar si un condicional es o no una implicación en una proposición compuesta. Determinar si un bicondicional es o no una equivalencia en una proposición compuesta Un método para analizar los valores de certeza de las proposiciones, es el de poner todas las posibilidades de certeza o falsedad en forma de una tabla. Estas tablas básicas de certeza indican rápidamente si una proposición molecular es verdadera o falsa si se conoce la certeza o falsedad de las proposiciones que la forman. Se dan a continuación las tablas básicas de certeza para los cinco términos de enlace de proposiciones. El primer paso en la construcción de una tabla de verdad para una fórmula es preguntarnos cuántas posibles combinaciones de la fórmula hay, es decir, en cuántas formas diferentes pueden combinarse los valores de verdad asignados a las fórmulas atómicas que las componen. Si p es una fórmula atómica, p sólo tiene dos combinaciones posibles. Si p tiene dos fórmulas atómicas, existen cuatro combinaciones posibles. Si p tiene tres fórmulas atómicas, sus valores de verdad se pueden combinar de ocho formas diferentes, y así sucesivamente. Así si p tiene n fórmulas atómicas, habrá 2 n combinaciones posibles.