Pr

at of.
hs
S
alo alo
m m
on
n
.b
C
lo hi
gs ng
po
t.c
om

Lgica de proposiciones

21

DEMOSTRACION

, .

lleva a la conclusin a
obtenidas sucesivamente
inferencia se le llama deduccin o
J'l / .'

,-

pasos.
El proceso de demostracin puede facilitarse aplicando, si es necesario, alguna
de las normas que se indican a continuacin.

Resultado 1.3

REGLAS QUE
PUEDEN USARSE

1. Una premisa se puede introducir en cualquier paso de una deduc.

EN UNA

CJOn.

DEMOSTRACION

2. Cada vez que se obtiene una conclusin lgicamente vlida de varias

premisas, puede ser usada a continuacin junto con otras premisas o
conclusiones vlidas para obtener una nueva conclusin.
3. Una premisa o conclusin vlida obtenida puede ser sustituida por
otra proposicin lgicamente equivalente, es decir, por otra proposicin con la cual coincida en sus valores de verdad.

EJE MPLO l. 24

Se trata de analizar el siguiente razonamiento:

"Si Jos gan la carrera entonces Pedro fue el segundo o Ramn fue el
segundo. Si Pedro fue el segundo, entonces Jos no gan la carrera. Si
Carlos fue el segundo entonces Ramn no fue el segundo. Jos gan la
carrera. Luego Carlos no fue el segundo."

Comenzamos considerando las proposiciones siguientes:

p: "Jos gan la carrera"
r: "Ramn fue el segundo"

q: "Pedro fue el segundo"

s: "Carlos fue el segundo"

El razonamiento dado puede escribirse, en forma esquemtica, de la manera siguiente:

p

---->

(q V r)

---->

-'p
-,r

s ---->
p

-,s

"Si Jos gan la carrera entonces Pedro fue el segundo

o Ramn fue el segundo"
"Si Pedro fue el segundo, entonces Jos no gan la carrera"
"Si Carlos fue el segundo entonces Ramn no fue el segundo"
"Jos gan la carrera"
"Carlos no fue el segundo"

Se pretende saber si la conclusin se deduce lgicamente de las premisas. Para ello,

mediante la aplicacin de las reglas de inferencia junto con las normas que expresamos anteriormente, trataremos de encontrar una serie de premisas (o conclusiones)
intennedias que constituyan un camino lgico que nos conduzca a la conclusin. Este camino ser la demostracin de que el razonamiento es lgicamente vlido. Como
norma prctica, es conveniente numerar las proposiciones y anotar, cuando son conclusiones, de qu proposiciones proceden y en virtud de qu reglas.

22

UNIDAD DIDACTICA 1 Fundamentos

(1)
(2)
(3)

P --+ (qVr)
q --+ -'p
s --+ -,r

(4)

(5)

-,-,p

(6)

-'q

(7)

qV r

(8)

Premisa 1.
Premisa 2.
Premisa 3.
Premisa 4.
Aplicacin de la regla 3, ya que es lgicamente equivalente a la proposicin (4).
Se sigue de las proposiciones (2) y (5) por aplicacin
de Modus tollendo tollens y de la regla 2.
Se sigue de las proposiciones (l) y (4) por aplicacin
del Modus ponendo ponens.
Se sigue de las proposiciones (6) y (7) por aplicacin
del Modus tollendo ponens y de la regla 2.
Se sigue de las proposiciones (3) y (8) por aplicacin
del Modus tollendo tollens y de la regla 2.

Por lo tanto, el razonamiento es vlido. Como puede apreciarse, una deduccin consiste en una cadena de proposiciones que se siguen de las premisas por el hecho de
- Ser equivalentes o por la aplicacin de alguna regla de inferencia. Cada proposicin
intennedia es un "paso" de la demostracin. En ocasiones, no es sencillo averiguar
cul es el mejor camino desde las premisas a la conclusin. Una demostracin con pocos pasos puede ser calificada de ocurrente o brillante, mientras que una demostracin
con muchos pasos puede ser tachada de farragosa. Pero, si son correctas desde el punto de vista lgico, ambas son demostraciones y prueban la validez del razonamiento .

Para analizar la validez o no del razonamiento:

EJEMPLO 1.25

"Si Juan es ms alto que Pedro, entonces Mara es ms baja que Alicia;
Mara no es ms baja que Alicia; si Juan y Luis tienen la misma estatura,
entonces Juan es ms alto que Pedro; luego Juan y Luis no tienen la
misma estatura".
se consideran las proposiciones p, q y r dadas por:
p
q
r

"Juan es ms alto que Pedro"

"Mara es ms baja que Alicia"
"Juan y Luis tienen la misma estatura"

Ahora, con smbolos, el razonamiento se escribe:

p--+q

-,q
r --+ p

"Si Juan es ms alto que Pedro"

entonces Mara es ms baja que Alicia"
"Mara no es ms baja que Alicia"
"Si Juan y Luis tienen la misma estatura
entonces Juan es ms alto que Pedro"
"Juan y Luis no tienen la misma estatura"

Una deduccin que muestra su validez es la siguiente:

(1)

p--+q

(2)

-'q

(3)

r--+p

(4)
(5)

-'p
-,r

se sigue de (1) y (2), Modus tollendo tollens

se sigue de (3) y (4), Modus tollendo tollens