Lògica

Introducción a las tablas de verdad

Ya hemos sugerido en algunos apartados anteriores que algunos enunciados son equivalentes a otros.
Por ejemplo, hemos hablado de la equivalencia del enunciado (pq)r y p(qr), hecho al que denominábamos propiedad asociativa de la disyunción.
Pues bien, en este apartado referido a las tablas de verdad, estableceremos de una forma más precisa qué queremosdecir al hablar de equivalencia lógica, y también estudiaremos cierto tipo de enunciados que pueden ser o bien "auto-evidentes" (tautologías) o bien "evidentemente falsos" (contradicciones).
¿Qué es una tabla de verdad?
Ya hemos tenido una aproximación intuitiva al concepto de tabla de verdad. Digamos ahora, más explícitamente que una tabla de verdad es el resultado de aplicar un procedimiento queutilizamos para calcular todos los posibles valores de verdad de un enunciado molecular.
Recordemos un caso conocido: la tabla de verdad de la negación. En este caso, la tabla de verdad es:
p | ¬p |
V | F |
F | V |
| Fijémonos en los elementos de la tabla de verdad: * Aparecen todos los posibles valores de verdad del enunciado p en la primera columna (verdadero -V- o falso -F-)* En la columna segunda aparecen los valores de verdad de la negación de p en caso de que p sea verdadera (primera fila), y en caso de que p sea falsa (segunda fila). |
Wittgenstein denominaba "estados de cosas" a cada una de las posibles combinaciones de verdad o falsedad para un enunciado (en este caso atómico). Otros autores hablan de "interpretaciones" para cada una de estas posiblescombinaciones de verdad o falsedad para un enunciado. Veamos ahora qué sucede con los enunciados moleculares...
Analicemos ahora el caso de la tabla de verdad de la disyunción:
p | q | pq |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
| Analicemos los elementos de esta tabla de verdad: * En las dos primeras columnas aparecen todas las posibles combinaciones de valores de verdad delos enunciados p y q (p verdadero y q verdadero, p verdadero y q falso, p falso y q verdadero, y, por último, p falso y q falso). Estos son todos los posibles "estados de cosas" o "interpretaciones". * En la columna tercera aparecen los valores de verdad de la conjunción de p y q para todas las posibles combinaciones de valores de verdad de p y de q. Así, la primera fila muestra el valor de pqen caso de que p sea verdadero y q sea también verdadero, la seguna fila muestra el valor de pq en caso de que p sea verdadero y q falso, etc. |
Por lo tanto, podemos concluir que una tabla de verdad de un enunciado (molecular) muestra el valor de verdad de dicho enunciado para todas las posibles combinaciones de los valores de verdad de las proposiciones que lo componen, o de manera másbreve, una tabla de verdad de un enunciado muestra el valor de verdad de dicho enunciado para todas sus interpretaciones.
Teniendo en cuenta que los enunciados moleculares se componen de enunciados atómicos, comenzaremos estableciendo el principio de que el valor de verdad de un enunciado (molecular) equivale al valor de verdad de la conectiva dominante.
En este punto, la pregunta clave es ¿cómo podemossaber, dado un enunciado molecular, cual es la conectiva dominante? Pues bien, para ello debemos fijarnos en el orden de prioridad que hay entre las conectivas de los enunciados moleculares. Y esto lo aprenderemos en la siguiente sección.
Resum: Lògica formal i lògica informal
 La lògica i el seu objecte
 Definició
Raonar: Procés que ens permet d'obtenir coneixements nous a partir d'unsaltres.
Si volem garantir la veritat de la conclusió hem de relacionar aquestes dades de forma adequada; és a dir, hem de raonar correctament. Aquest és l'objectiu de la lògica; la disciplina filosòfica que estudia la correcció o validesa dels raonaments.
 Els raonaments o inferències
Tota inferència es compon:
* Premisses: Conjunts d'enunciats que expressen les dades de les quals...