Trabajo Práctico: Lógica y Epistemología (Parte 1)

1. Lee el siguiente texto:

A diferencia de lo que comúnmente podemos comprender como enunciado, que podríamos

tomarlo como sinónimo -por ahora- de proposición, cuando hablamos de forma enunciativa
hacemos referencia a la expresión simbólica de los enunciados y –consecuentemente- a la
secuencia de símbolos que contiene variables enunciativas. A modo de ejemplo:

“Si mañana llueve, entonces el día será más húmedo” puede expresarse como PQ

ENUNCIADO FORMA ENUNCIATIVA

En el caso mencionado, es posible ver como los enunciados intervinientes son reemplazados por
símbolos (variables enunciativas) y los conectores por conectivas lógicas.

VERDAD Y FALSEDAD

Si tomamos como ejemplo el siguiente enunciado: “Ricardo Darín es actor y Natalia Oreiro es
cantante”, veremos que la forma enunciativa en tal caso puede ser P^Q, una conjunción, y que
siendo verdaderos ambos enunciados, la conjunción resulta verdadera también. Pero para llegar
a esa verdad no hemos seguido ningún procedimiento lógico, simplemente sabemos que es así
porque refieren a un hecho real que es posible observar. Ahora bien, existen formas
enunciativas que, independientemente de los enunciados a los que puedan remitirse, sólo
atendiendo a la secuencia simbólica que expresan, son verdaderas o falsas. Pero esta verdad o
falsedad no se apoya en la realidad, sino que es una verdad o falsedad lógica, evidente,
demostrable mediante procedimientos lógicos como las tablas de verdad.

Tautologías

Es una forma enunciativa lógicamente verdadera que expresa una igualdad intercambiable
entre dos proposiciones (sean estas simples o compuestas). La conectiva fundamental de esta
forma enunciativa es la co-implicación (<--->). En otras palabras, en una tautología ambos
miembros de una co-implicación están diciendo lo mismo, pero de otra manera. Ejemplo:
(P^Q) <--> (Q^P), donde los valores de la tabla de verdad correspondiente son todos verdaderos.

P Q (P ^ Q) <--> (Q ^ P)
V V V V V
V F F V F
F V F V F
F F F V F
Implicación lógica

Al igual que la tautología, la implicación lógica es una forma enunciativa lógicamente

verdadera. Pero en este caso, la conectiva fundamental es la implicación (-->). La implicación
lógica es una inferencia, una deducción, que concluye algo de manera válida siguiendo una
secuencia de proposiciones (simples o compuestas). A diferencia de las tautologías, los
miembros de la implicación no son intercambiables: el consecuente se desprende del
antecedente, pero no al revés. Ejemplo: {(P --> Q) ^ P} --> Q, donde los valores de la tabla de
verdad correspondiente son todos verdaderos.

P Q {(P --> Q) ^ P} --> Q

V V V V V
V F F F V
F V V F V
F F V F V
Contradicciones

Es una forma enunciativa cuya falsedad es eminentemente lógica, es decir: no es necesario

recurrir a ningún hecho real para probarla. Su simple forma alude a una secuencia de
proposiciones simbólicas en el que los miembros que intervienen se eliminan y contradicen
mutuamente. Puede expresarse a través de conjunciones (como P ^ ¬P), pero también de
implicaciones, disyunciones excluyentes y co-implicaciones. Ejemplo: (PvQ) <--> ¬ (PvQ), donde
los valores de la tabla de verdad correspondiente son todos falsos.

P Q (P v Q) <--> ¬ (P v Q)
V V V F F V
V F V F F V
F V V F F V
F F F F V F
Contingencias

Es una forma enunciativa cuya verdad no puede demostrarse lógicamente. Más aún, cuando
utilizamos procedimientos lógicos como las tablas de verdad para despejar sus valores
resultantes, nos encontramos con que tales expresiones pueden ser verdaderas o falsas
dependiendo del caso, lo que las convierte en una secuencia cuya verdad está mucho más
aferrada a su posible contenido real que las formas enunciativas previas, que no lo están de
ningún modo. Ejemplo: {(P-->Q) ^ Q --> P}, donde los valores de verdad correspondientes son
algunos verdaderos y algunos falsos.

P Q {(P --> Q) ^ Q} --> P

V V V V V
V F F F V
F V V V F
F F V F V

2. Las siguientes formas enunciativas ¿son tautologías, implicaciones lógicas, contradicciones

o contingencias? Justifica tu respuesta haciendo uso de las tablas de verdad y de la teoría
estudiada

a). P --> (P v Q) d). (P --> Q) <--> (Q ---> P)

b). (P -->Q) --> {P --> (P ^ Q)} e). (P ^ Q) <--> ¬ (P ^ Q)

c). (P --> Q) <--> (¬Q --> ¬P)