Universidad Tecnolgica Metropolitana

Vicerrectora Acadmica
Programa de Desarrollo Personal y Social
Ctedra: Taller para el desarrollo del pensamiento lgico deductivo.
Profesor: Gustavo A. Bez Castillo
I. Tablas de verdad
Recordemos que un razonamiento es un conjunto de proposiciones,
llamadas premisas o hiptesis, y otra llamada conclusin o tesis.
Ahora comenzaremos el estudio de las reglas de inferencia, es decir,
los mtodos para inferir una conclusin a partir de unas premisas. Por
supuesto, las reglas que nos interesan son aquellas que garanticen
que la conclusin es verdadera cada vez que todas las premisas sean
verdaderas. Es decir, aquellas reglas de inferencia que produzcan
razonamientos correctos.
As como existe una teora para hacer clculos con nmeros (la
aritmtica) o con objetos ms complejos como en el clculo
diferencial e integral, tambin hay reglas precisas para manejar
frmulas proposicionales acerca de los argumentos que esgrimimos o
los juicios que normalmente emitimos (a veces sin darnos cuenta
siquiera). En esta seccin analizaremos los razonamientos que tienen
como punto de partida una sola premisa.
Conectivos lgicos.
Los conectivos lgicos sirven para construir nuevas proposiciones a
partir de otras conocidas. El valor de verdad de una nueva
proposicin depender del valor de verdad de las proposiciones que la
conforman. Esta dependencia se explica a travs de tablas de verdad.
I.1.- DEFINICIONES.
Def. Negacin: La proposicin p, se lee no p y es aquella cuyo
valor de verdad es siempre distinto al de P. Esto se aprecia a travs
e la siguiente tabla:
P
V
F

-p
F
V

Def. Disyuncin: La proposicin P v Q se lee p o q Decimos que la

proposicin es verdadera cuando al menos una de ellas lo es. O bien
p es verdadera o q es verdadera.
p
q
Pvq
V
V
V
V
F
V
F
V
V

Def. Conjuncin: La proposicin p q, se lee p y q, en este caso para

que la expresin sea verdadera, el conectivo exige que ambas proposiciones
tambin lo sean.
pq
p
q
V
V
V
V
F
F
F
V
F
F
F
F
Def. Implicacin:
Diremos que una frmula p implica lgicamente a otra frmula q si
q es verdadera cada vez que p lo sea. Usaremos la siguiente
notacin para la implicacin lgica p q. Para estudiar su valor de
verdad nos debemos concentrar en el caso de que la hiptesis p sea
verdadera, ah debemos determinar si basta con esa informacin para concluir
que q es verdadera. Ahora bien, si afirmamos que el antecedente es
verdadero, entonces diremos que q necesariamente ser verdad.
Otra maneras equivalentes de leer p q son las siguientes:
(1) p es una condicin suficiente. Pues es suficiente que p sea
verdadera (o que p se cumpla) para que q tambin lo sea.
(2) q es una condicin necesaria para p. Pues cada vez que p se
cumple (es verdadera), necesariamente q tambin se cumple.
El comportamiento de los conectivos lgicos en relacin con el valor
de verdad es muy sencillo de establecer y se hace a travs de las
tablas de verdad.
Def. Equivalencia: Decimos que la proposicin p es equivalente
con la proposicin q (o bien, p si y solo si q), cuando basta con
saber el valor de verdad de una para saber el valor de verdad de la
otra.
Ejercicio N 1:
i) Deduzca las tablas de verdad para los conectivos lgicos de la
implicacin, y bicondicional.
ii) Evale el siguiente argumento
(p q) q p.
Def. Tautologa: Una tautologa es una proposicin que, sin importar
el valor de verdad de las proposiciones que la constituyen, es siempre
verdadera.
Ejemplo:
i) P v P
ii) P P v Q
iii) (P Q) ( Q P)

Demostraremos utilizando una tabla de verdad, que la primera proposicin es

una tautologa:
- P
P
P v P
V
F
V
F
V
V
Ejercicio N 2: Demuestre utilizando tablas de verdad que la
segunda y tercera proposicin son tautologas.
Def. Contradiccin: Las contradicciones son proposiciones cuyo
valor de verdad es siempre falso. Ejemplo. P -P. Demostrando lo
anterior mediante una tabla de verdad, tenemos que:
P
V
F

-P
F
V

P -P
F
F

I.2. TAUTOLOGAS IMPORTANTES.

1. (P -P) F, (P V) P, (P F) F
(P v P) V, (P v V) V, (P v F) P
2. Caracterizacin de la implicancia (P Q) (-Q v P)
3. Leyes de Morgan.
- (P Q) (- P V Q)
- (P V Q) (- P -Q)
4. Doble negacin. - - P P
5. Conmutatividad.
(P V Q) (Q V P)
(P Q) (Q P)
6. Asociatividad.
(P V (QV R)) ((P V Q) V R)
(P (Q R )) (P Q) R )
7. Equivalencia dividida en dos partes.
(P Q) (P Q Q P)
8. Transitividad.
((P Q) (Q R )) (PR)
9. Contra recproco.
(P Q) (-Q -P)
10. Reduccin al absurdo.
- (P Q) (P -Q)