TABLAS DE VERDAD

 METODO DECISORIO PARA ESTABLECER LA VALIDEZ DE

ARGUMENTOS O PROPOSICIONES MOLECULARES.
 Procedimiento introducido en 1921 , en la obra Tratado Lógico
Filosófico, del matemático Ludwing Wittgenstein.
 Negación: Dada una proposición, el valor de verdad se invierte
con la negación de la proposición. La negación de la negación
resulta el valor inicial de la proposición.

 Disyunción débil o inclusiva. Es verdadera menos cuando las

dos proposiciones son falsas.

 Disyunción fuerte o exclusiva. Cuando las dos proposiciones

tienen igual valor de verdad, la proposición compuesta es falsa.
 Conjunción. Es verdadera solamente cuando las dos
proposiciones atómicas son verdaderas

 Condicional. Cuando el antecedente es verdadero y el

consecuente falso, la proposición compuesta es falsa, en los
demás casos resulta verdadera.

 Bicondicional. Cuando las dos proposiciones tienen el mismo

valor de verdad, la proposición compuesta tiene como valor,
verdad.