Construccion Tabla De Verdad2015

El método de tablas de verdad es un procedimiento mecánico que, a través de un número finito de pasos, nos permite decidir si una fórmula es tautología, contradicción o contingencia.
El modo deconstruir tablas de verdad para una fórmula cualquiera de lógica de enunciados es convencional. Aquí lo realizaremos en tres pasos:

1) formación de columnas,
2) número de filas y distribución de valoresde verdad, y
3) evaluación de fórmulas.

1) Formación de columnas. Se cuentan las variables enunciativas (proposiciones ) distintas que contiene la fórmula, y se forman, en primer lugar, tantascolumnas como variables distintas tenga colocándolas por orden de presentacion. Así, si la fórmula que queremos evaluar fuese:
(r vq) v ~r, entonces tendríamos:


Después se añade una nueva columna porcada variable distinta que aparezca negada en la fórmula:


Finalmente se añaden tantas columnas como conectores tenga presente en la fórmula, excepto el negador cuando va directamente adosado a unavariable:
A



2) Número de filas y distribución de valores de verdad. Se halla primero el número de filas que ha de tener la tabla de acuerdo con la fórmula 2n, siendo n el número de variablesenunciativas distintas que intervienen en la fórmula. (Si la fórmula tiene dos variables distintas, el número de filas será 22 =4; si tiene 3, será 23 = 8; si tiene 4, será 24 = 16, etc.).
Después sedistribuyen los posibles valores de verdad de las variables en las columnas iniciales del siguiente modo:
En la primera columna (contando siempre por la izquierda) se distribuyen 2n / 2 valores V,seguidos de 2n / 2 valores F.
En la segunda columna se distribuyen 2n / 4 valores V, seguidos de 2n / 4 valores F.
En la tercera columna los valores se distribuyen 2n / 8 valores V, seguidos de 2n / 8valores F,..., y así sucesivamente.
En la última columna la distribución será una alternancia de V y F.
Así, en la fórmula (r vq) v ~r que tomamos como ejemplo antes, como contiene dos variables...