Respuestas
emos sugerido en la sección previa que ciertas proposiciones son equivalentes. Por ejemplo, decimos que (pq)r y p(qr) son equivalentes — un hecho al que llamamos la ley asociativo de la conjugación. En esta sección, usamos tablas de verdad para decir precisamente lo que significa la equivalencia lógica, y también estudiamos ciertas proposiciones que son "evidentemente verdaderas" ("tautológicas"), o "evidentemente falsas" ("contradictorias").
Podemos comenzar con algunos ejemplos de tablas de verdad de proposiciones compuestas.
Ejemplo 1 Construcción de una tabla de verdad
Construye la tabla de verdad para ~(pq).
Solución
Siempre que encontramos una formula compleja como esta, nosotros podemos trabajar desde dentro hacia fuera, como podamos hacer si tuviéramos que evaluar una exprección algebraica semejante, como -(a+b). Por lo tanto, primero comenzamos con las columnas p y q, entonces construimos la columna pq, y finalmente, la columna ~(pq):
Observa como obtenemos la columna ~(pq) desde la columna pq: al invertir todos sus valores de verdad, porque eso es lo que significa la negación.
Respuesta:1.4666666666
Explicación paso a paso: