Práctica de la construcción de tablas de verdad
(1)
Para practicar, calculemos la
tabla de verdad del siguiente enunciado: ¬p
(p
q).
Determinamos la conectiva dominante, que en este caso es la disyunción,
ya que se comenzaría con el enunciado de dentro del paréntesis
(una conjunción).
Aquí tenemos la tabla de dominancia de las conectivas:
| ¬p | |
(p | |
q) |
| 1 | 2 | 1 |
Sigamos los pasos propuestos:
 Dibujamos
la tabla con tantas columnas como enunciados atómicos
tengamos: |
 A continuación ponemos todas las posibles combinaciones
de verdad y falsedad para p y q: |
||||||||||||||||||||
|
|
|
Seguimos añadiendo tantas columnas como enunciados
atómicos tenga el enunciado objeto de estudio [en este caso, tres:
uno para ¬p,
otro para (pq),
y un tercero para ¬p(pq)]
Continuamos añadiendo los enunciados siguiendo
el orden de dominancia de las conectivas señalado al principio de esta
página:
|
El orden de las conectivas, en este caso es el siguiente:
|
Por último, sólo nos queda averiguar el valor de verdad
de cada una de las celdillas de la tabla que nos ha quedado confeccionada en
el paso 4. Siempre hay que proceder con orden, calculando el valor de las celdillas
de la columna tercera, cuarta, y, por último la quinta.
| Para llevar a cabo este paso quinto, pulsa este botón, que hace que se abra una nueva ventana con una actividad práctica que te irá guiando en el proceso de calcular el valor de las celdillas de estas tres últimas columnas. | 
|
 |
