Bienvenidos lectores a la continuación del tema de lógica
Clasificación de las fórmulas proposicionales
Veremos que a la hora de realizar tablas de verdad utilizando formulas proposicionales tendremos 3 tipos de posibles resultados.
Anti-Tautología
Es una formula proporcional que siempre es falsa independientemente de los valores de verdad que la conforman. Se utilizara la letra " F " para indicar que es una Anti-Tautología
Contingencia
Formula proposicional cuya tabla de verdad toma por lo menos una vez el valor de verdad " V " y por lo menos una vez el valor de verdad " F ", para alguna combinación de valores de verdad de las proposiciones que la conforman