Tablas de verdad o certeza

Las tablas de verdad o certeza.

Inferencia válida, si una inferencia es válida, entonces en cada posible interpretación o asignación de certeza, si las premisas son verdaderas la conclusión delrazonamiento será también verdadera.
Las tablas de verdad proporcionan todas las posibles asignaciones de verdad o certeza.
El método para comprobar la validez de cualquier inferencia es el siguiente:Primero: Se escriben todas las combinaciones posibles de valores de certeza para las proposiciones atómicas. El número de combinaciones posibles de verdad o falsedad depende del número deproposiciones atómicas que intervienen. La regla general es que si hay n proposiciones atómicas, entonces hay 2n combinaciones de valores posibles de certeza. El número 2 nos indica que toda proposición atómicatiene dos valores de certeza, verdadera o falsa, “n” es el número de proposiciones atómicas que intervienen. Ejemplo:
si tengo las proposiciones P y Q, entonces “n” es = 2. Así 2 x 2 = 4.
Segundo:Se determinan los valores de certeza para todas las premisas (proposiciones moleculares) y de la conclusión del razonamiento.
Tercero: Se buscan las líneas que presentan todas las premisas comoproposiciones verdaderas; si la conclusión es también verdadera para cada una de estas líneas, entonces el razonamiento es valido o correcto. Pero si hay alguna línea para la que todas premisas sonverdaderas y la conclusión es falsa, el razonamiento no es válido o correcto y la conclusión no es una consecuencia lógica.
Las tablas básicas de verdad para los cinco términos de enlace de proposiciones.Si se conocen los valores de certeza de una proposición P y de una proposición Q, se busca la línea que presenta esta combinación particular de valores de certeza y en la misma línea en la columna dela proposición molecular se encontrara su valor de certeza.

CONJUNCIÓN
P Q P • Q
V V V
V F F
F V F
F F F
DISYUNCIÓN
P Q P ν Q
V V V
V F V
F V V
F F F
CONDICIONAL
P...