En otras palabras, todas las Ts significan que se trata de una tautología. 'P v ~P' es una tautología, como muestra esta tabla de verdad: Entonces, si hay alguna 'T en la tabla, entonces la afirmación...En otras palabras, todas las Ts significan que se trata de una tautología. 'P v ~P' es una tautología, como muestra esta tabla de verdad: Entonces, si hay alguna 'T en la tabla, entonces la afirmación no es una contradicción. 'P & ~P' es una contradicción, como muestra la siguiente tabla: Como se vio anteriormente, 'P v Q' es una declaración contingente — hay instancias en las que es verdadera (fila 1, 2 y 3), y una instancia donde es falsa (fila 4).