Una proposición será llamada una tautología si para cualquier valor de sus componentes, su valor de verdad siempre es verdadero.