Tablas de verdad
Las tablas de verdad se definen como esquemas que muestran cómo los valores de verdad de proposiciones compuestas dependen de los valores de verdad de las proposiciones simples que las componen y de las conectivas lógicas que intervienen.
A continuación veremos las conectivas básicas: negación, conjunción, disyunción y la tabla de verdad asociada a cada una.
Tablas resultantes: