TABLAS DE VERDAD
Tienen el fin de mostrar posibles valores de verdad de proposiciones compuestas. Dada una proposición compuesta, de la cual conozcamos tanto su forma y su contenido, no se necesita construir una tabla de verdad.
Pero esto es muy importante analizar las formas en que se relacionan unas proposiciones independientemente de su contenido. Una vez abstraída la forma de una proposición determinar que en verdadera y que es falsa, lo cual depende de los valores de verdad. En toda tabla de verdad han de anotarse en primer lugar los posibles valores de verdad de las proposiciones simples, únicamente hay dos posibles valores de verdad:
Si en la proposición compuesta hay dos proposiciones simples habrá entonces cuatro posibles …ver más…

Se utilizan paréntesis para indicar que una proposición compuesta se toma como un todo. 2. Se utilizan corchetes para indicar que una proposición compuesta se toma como un todo. 3. El símbolo de negación invierte el valor de verdad de la proposición.
Si a continuación del símbolo de una negación se encuentra un paréntesis, la negación invierte el valor de verdad, de acuerdo con las reglas anteriores, podemos construir tablas de verdad de proposiciones compuestas más complejas, para construir esta tabla de verdad hemos seguido los mismos pasos:
1° Anotar las combinaciones de los valores de verdad de las proposiciones simples o compuestas.
2° Determinar cuál es la conectiva principal cuyas partes son: a) Antecedente b) Consecuente
3° Anotar el valor de verdad de las proposiciones componentes: a) Para el antecedente b) Para el consecuente
4° Anotar el valor de verdad de la conectiva principal.
PROPOSICIONES TAUTOLÓGICAS, CONTRADICTORIAS E INDEPENDIENTES (CONTINGENTES)
Una proposición tautológica es una proposición compuesta que es verdadera en todos los casos es siempre verdadera su forma lógica, las