Glosario Enunciados de lógica / Término
Esquema de inferencia válido para todas las combinaciones posibles de los valores de verdad de los enunciados que lo componen.
Enlace permanente: Tautologías - Fecha de creación: 2014-02-07