TABLAS DE VERDAD

Toda proposición puede ser verdadera (V) o falsa (F). Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F). Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante una contradicción. Como hemos dicho, cualquier proposición puede tener valor V (verdadero) o F (falso). 

Finalmente, para saber qué valor de verdad le corresponde a una afirmación en la cual dos proposiciones están relacionadas por la conjunción y en la que sus valores son los que indican las distintas combinaciones de la tabla, atendemos a las tablas de verdad de los conectores lógicos. Para resolver el ejemplo pondremos aquí las tablas de la conjunción y del condicional, que son los conectores lógicos que aparecen en nuestra formulación lógica: 

Continuamos construyendo la tabla uniendo los valores de verdad posibles de (p&q) con los posibles de “r” y teniendo en cuenta la tabla del condicional, (p&q) hace de antecedente y ocupa así el lugar de “p” en la tabla del condicional, mientras que “r”, al ser el consecuente, hace las veces de “q”: