TABLA DE VERDAD

1.6 TABLA DE VERDAD

La VERDAD o FALSEDAD de una proposición se denomina su VALIDEZ (o su valor de verdad). La validez de la conjunción, de la disyunción, de la condicional, de la bicondicional y de la negación pueden representarse en TABLAS. En consecuencia, dadas dos o más proposiciones simples cuyos valores de verdad son conocidas, el VALOR DE VERDAD de una PROPOSICIÓN COMPUESTA depende de la verdad de cada uno de las proposiciones componentes y se determina mediante TABLAS DE VERDAD.

Img01 (binary/octet-stream)

1.7 VALIDEZ DE UNA PROPOSICIÓN

Img02 (binary/octet-stream)

Si U = {p, qyr , ... } es el conjunto de proposiciones y 1/- {V , F} es el conjunto de valores de verdad, entonces la correspondencia establecida entre los elementos de U y de los elementos de 1/ es: “A cada proposición p le corresponde sólo un valor, que puede ser V (verdadero) ó F (falsa).