Tablas de verdad
P Q PɅQ V F PɅQ ES VERDADERA SI AMBAS PROPOSICIONES P Y Q SON VERDADERAS
P Q P˅Q V F P˅Q ES VERDADERA SI AL MENOS UNA DE LAS PREPOSICIONES ES VERDADERA
P Q ¬P ¬Q V F P Y Q SON VERDADERAS SI SON FALSAS
FINALIDAD DE LAS TABLAS DE VERDAD "SE EMPLEAN EN LÓGICA PARA DETERMINAR LOS POSIBLES VALORES DE VERDAD DE UNA EXPRESIÓN O PROPOSICIÓN." (WIKIPEDIA) UTILIDAD CIENTIFICA DE LAS TABLAS DE VERDAD ESTA ES DETECTAR QUE CLASES DE RAZONAMIENTOS LÓGICOS SON TAUTOLOGIAS, ES DECIR ARGUMENTOS FORMALMENTE VÁLIDOS, Y QUE POR LO TANTO PUEDEN FORMAR PARTE DE UNA TEORÍA CIENTIFICA. ORIGEN HISTORICO DE LAS TABLAS DE VERDAD "DESARROLLADA POR CHARLES PEIRCE EN LOS AÑOS 1880, SIENDO SIN EMBARGO MÁS POPULAR EL FORMATO QUE LUDWIG WITTGENSTEIN DESARROLLÓ EN SU TRACTATUS LOGICO-PHILOSOPHICUS, PUBLICADO EN 1918 POR BERTRAND RUSSELL." (WIKIPEDIA) COMPONENTES LOGICOS DE LAS TABLAS DE VERDAD FUNDAMENTALMENTE EN LAS TABLAS DE VERDAD SE COLOCAN LOS VALORES DE VERDAD DE ENUNCIADOS SIMPLES, ES DECIR AQUELLOS QUE NO HAN SIDO ENLAZADOS EN FÓRMULAS COMPLEJAS POR MEDIO DE CONECTIVAS LOGICAS. EN LAS TABLAS DE VERDAD SE PRETENDE ENLAZAR DICHOS ENUNCIADOS SIMPLES, POR MEDIO DE CONECTIVAS LÓGICAS, PARA FORMAR ENUNCIADOS COMPUESTOS, Y CORRELATIVAMENTE DECIR CUAL ES EL VALOR DE VERDAD RESULTANTE DE DICHOS ENUNCIADOS, COMO UNA FUNCIÓN DE LOS VALORES DE VERDAD POSIBLES DE LOS ENUNCIADOS SIMPLES.