Template:Individual-TLP-paragraph-es-6.1203
6.1203 Para reconocer una tautología como tal, puede uno servirse del siguiente método demostrativo, en los casos en los cuales no ocurre ninguna designación de la generalidad en la tautología: escribo, en lugar de «p», «q», «r», etc. «VpF», «VqF», «VrF», etc. Las combinaciones de verdad las expreso mediante paréntesis, por ejemplo:
y la asignación de la verdad o la falsedad de toda la proposición y de las combinaciones de verdad de los argumentos de verdad mediante barras de la siguiente manera:
Por lo tanto, este signo representaría, por ejemplo, la proposición p ⊃ q. Ahora quiero investigar, por ejemplo, la proposición ~(p . ~p) (ley de la contradicción), si es una tautología. La forma «~ξ» es escrita en nuestra notación:
la forma «ξ . η» así:
Por lo tanto, la proposición ~(p . ~q) reza así:
Si colocamos aquí, en lugar de «q» «p», e investigamos la conexión de los V y F más externos con los más internos, entonces resulta que la verdad de la proposición al completo está relacionada con todas las combinaciones de su argumento; su falsedad, con ninguna de sus combinaciones de verdad.