¿Qué es?
Es un enunciado cuyo Valor de la verdad (Lógica) es verdad en todas las interpretaciones o filas de una Tabla de verdad (Lógica).
Un enunciado es una tautología si y sólo si es un teorema
Fuente: Recurso de aprendizaje (UOC) - Lógica de enunciadosPáginas: 55
Es un enunciado cuyo Valor de la verdad (Lógica) es verdad en todas las interpretaciones o filas de una Tabla de verdad (Lógica).
Un enunciado es una tautología si y sólo si es un teorema