TABLAS DE VERDAD

Tiene como función la validez o invalidez de una inferencia.

NEGACIÓN:







CONJUNCION:











DISYUNCIÓN:










NEGACION CONJUNTA:










NEGACIÓN ALTERNA:










CONDICIONAL:










BICONDICIONAL: