Logica Matematica

Tablas de verdad:
Las tablas de verdad se usan principalmente para determinar el valor de verdad de una proposicion que se puede descomponer en proposiciones mas pequeñas, las cuales conocemos sus valores de verdad, y a partir de esos valores de verdad podremos determinar el valor de verdad de la proposicion mas grande, por ejemplo:
P1: Hoy es viernes
P2: Hoy tengo examen
P3: Hoy es viernes y Hoy tengo prueba
para saber si P3="Hoy es martes y Hoy tengo prueba" es verdad debo saber si P1="Hoy es viernes" es verdad, y si P2="Hoy tengo examen" es verdad, si P1 y P2 son verdad P3 sera verdad, si es que P1 o P2 es mentira entonces podremos saber que P3 tambien es mentira
 Tabla de verdad de la negacion

Tabla de verdad de la conjuncion

  

Tabla de verdad de la disyuncion

 

Talba de verdad de la conjuncion negativa

Tabla de verdad de la disyuncion exclusiva 

Tabla de verdad de laimplicacion

 Tabla de verdad de la doble implicacion