UNIVERSIDAD PEDAGÓGICA EXPERIMENTAL LIBERTADOR

INSTITUTO PEDAGÓGICO “RAFAEL ALBERTO ESCOBAR LARA”

DEPARTAMENTO DE MATEMÁTICA- ÁREA DE ÁLGEBRA
MARACAY-EDO ARAGUA

INTRODUCCIÓN AL
ÁLGEBRA

Prof. Yerikson Suárez H.

1
04/06/2013 Abril, 2013 P.A 2013-1
 8. Razonamientos lógicos.
Simbolización. Validez. Reglas de
Inferencias.

Un razonamiento deductivo o inferencia consiste en aseverar o concluir algo a

partir de algunas proposiciones iniciales

El razonamiento deductivo se basa en el hecho de poder llegar a una

conclusión, la cual se deriva como consecuencia de ciertas proposiciones
llamadas premisas

En matemática interesan los razonamientos donde a partir de premisas

verdaderas se obtienen conclusiones verdaderas

2
04/06/2013
 Como un ejemplo interesante para comprender el razonamiento
deductivo, te propongo resolver los siguientes acertijos.

1) ACERTIJO DE LAS DEPORTISTAS. Ana, Beatriz y Carmen. Una es

tenista, otra gimnasta y otra nadadora. La gimnasta, la más baja de las
tres, es soltera. Ana, que es suegra de Beatriz, es más alta que la tenista.
¿Qué deporte practica cada una?
2) EL ACERTIJO DE EINSTEIN. Tenemos 5 casas de cinco colores diferentes y en cada una de ellas vive una
persona |de una nacionalidad diferente.
Cada uno de los dueños bebe una bebida diferente, fuma una marca de cigarrillos diferente y tiene una
mascota diferente. Tenemos las siguientes claves:
•El británico vive en la casa roja.
•El sueco tiene un perro.
•El danés toma té.
•La casa verde esta a la izquierda de la blanca.
•El dueño de la casa verde toma café.
•La persona que fuma Pall Mall tiene un pájaro.
•El dueño de la casa amarilla fuma Dunhill.
•El que vive en la casa del centro toma leche.
•El noruego vive en la primera casa.
•La persona que fuma Brends vive junto a la que tiene un gato.
•La persona que tiene un caballo vive junto a la que fuma Dunhill.
•El que fuma Bluemasters bebe cerveza.
•El alemán fuma prince.
•El noruego vive junto a la casa azul.
•El que fuma Brends tiene un vecino que toma agua.
Y por último la pregunta:
¿Quién es el dueño del pececito?
04/06/2013 3
 RESPUESTA ACERTIJO 1. LAS DEPORTISTAS

Ana es más alta que la tenista, por lo tanto no es ni la tenista, ni la gimnasta; la más baja
es la nadadora. La gimnasta no es Ana, ni Beatriz (mujer casada), es Carmen. Por
eliminación, la tenista es Beatriz.

RESPUESTA ACERTIJO 2. ACERTIJO DE EINSTEIN

CASA 1 CASA 2 CASA 3 CASA 4 CASA 5

Noruego Danés Inglés Alemán Sueco
Amarillo Azul Rojo Verde Blanco
Agua Té Leche Café Cerveza
Dunhill Blend PalMall Prince BlueMaster
Gatos Caballos Pájaros PECES Perro

•En el proceso deductivo progresamos a partir de información conocida, hasta

alcanzar cierta información desconocida que nos interesa obtener

•La información conocida actúa como las premisas de un argumento, y la

desconocida como la conclusión

•Lo que caracteriza que una deducción esté bien hecha es que cada paso que
demos sea seguro: cada nueva información debe seguirse de las anteriores.

04/06/2013 4
 Forma vertical ¿Cuándo es correcto
un razonamiento?
P1
P2
Premisas .
.
.
Pn
(P1 ^ P2 ^ … ^ Pn) c
Conclusión C
Entonces una vía para establecer la validez de un
razonamiento o inferencia, es demostrando que la
proposición
(p1 p2 ……. pn ) q es una tautología
04/06/2013 5
 Veamos el siguiente ejemplo.
Simbolizar el siguiente razonamiento (inferencia) y determinar si
es correcto.

Si apruebo el curso propedéutico, entonces ingreso a la universidad.

Aprobé el curso propedéutico___________________________________
Ingreso a la Universidad

Sean p: apruebo el curso propedéutico

q: Ingreso a la universidad

SIMBOLIZACIÓN
Para saber si tal inferencia (razonamiento) es
p q correcto veamos si la conjunción de las
Premisas
p______ premisas implica lógicamente a la conclusión
Conclusión q

Esto es, verificar si [(p q) p ] q es

una TAUTOLOGÍA, lo cual se puede
corroborar a través de las tablas de verdad

04/06/2013 6
 p q p q ((p q) p) [(p q) p] q
V V V V V
V F F F V
F V V F V
F F V F V

¿Cuándo un
razonamiento es
incorrecto o inválido?

Cuando a partir de premisas

verdaderas se obtienen
conclusiones que no lo son.

04/06/2013 7
 Po rejemplo.
Simbolizar el siguiente razonamiento (inferencia) y determinar si
es correcto.

Si José Gregorio Hernández nación en Caracas, entonces es Venezolano.

José Gregorio Hernández es Venezolano____________________________
José Gregorio Hernández nació en Caracas

Sean r: JGH nació en Caracas

t: JGH es venezolano

SIMBOLIZACIÓN
Al construir la tabla de verdad
r t correspondiente al condicional cuyo
t______ antecedente es la conjunción de las premisas
r y la conclusión es el consecuente, se
comprueba que no se trata de una tautología.
Y en por lo tanto el razonamiento es
incorrecto.

HACER LA TABLA DE VERDAD

04/06/2013 8
 Cuando una o más premisas son falsas también se pueden hacer inferencias
o razonamientos correctos a pesar de obtener una conclusión que es falsa
Por ejemplo

Si un animal vuela, entonces tiene alas Este razonamiento

Si un animal tiene alas, entonces es un pájaro es correcto.
Si el animal vuela, entonces es un pájaro. (VERIFÍQUELO)

Sin embargo, la conclusión es falsa, ya que una abeja vuela pero no es un

Esto sucede debido a quepájaro.
la segunda premisa es FALSA.

Otro ejemplo
A pesar de que el razonamiento
Todos los humanos son inmortales es correcto, la conclusión es
_______Sócrates es un humano________ falsa. Esto es debido a que es
Sócrates es inmortal falsa la primera proposición
(premisa)

EN MATEMÁTICA SOLAMENTE NOS INTERESAN RAZONAMIENTOS

CORRECTOS DONDE SE OBTIENEN CONCLUSIONES VERDADERAS A PARTIR
DE PREMISAS VERDADERAS

04/06/2013 9
 Reglas de Inferencias
Las reglas o leyes de inferencia son razonamientos simples y válidos que son
empleados para realizar razonamientos más complejos.

Simplificación Adición

Modus
Tollendo Conjunción
Ponens

Modus
Silogismo
Tollendo
Hipotético
Tollens

Modus
Reglas
Ponendo
Ponens
de Silogismo
Disyuntivo

Inferencia

04/06/2013 10
 Veamos a continuación cada una de esas reglas de inferencia
Modus p q
Ponendo Si llueve, entonces me voy al cine
Método de Afirmar p______
Ponens Llueve________
afirmando
Voy al cine q
(MPP)

Modus p q
Tollendo Si pagan hoy, entonces hago el mercado
Método de Negar q_____
Tollens No hice mercado ________
negando p
No pagaron
(MTT)

Modus p q
Tollendo Presento el examen o hago la exposición p____
Método de
Ponens No presento el examen ________ q
Afirmar negando
Hago la exposición
(MTP)

Si la premisa es una
conjunción, por ser esta p q
Simplificación verdadera, son Estudio Álgebra y Estudio
verdaderas cada una de Geometría p
(S) Estudio Álgebra
las proposiciones que la
componen

04/06/2013 11
 A una premisa cualquiera, por
Adición ser verdadera, se le puede El hombre llegó a la Luna p___
adicionar otra premisa a El hombre llegó a la Luna o p q
(A) través de la disyunción, la llegó al Sol
cual será también verdadera

El hombre llegó a Marte p

Conjunción Dadas dos premisas, por ser El hombre llegó a la Luna
estas verdaderas, también lo q___
(C) El hombre llegó a la Marte y
será su conjunción p q
llegó a la Luna

Silogismo Entrelaza dos Si voy al juego, voy a comer pizza p q

Hipotético condicionales a través Si como pizza, tengo pesadillas q r
de una proposición en
(SH) Si voy al juego, tendré pesadillas p r
común

Entrelaza dos Si voy al juego, voy a comer pizza p r

Silogismo
condicionales y la Si hago ejercicio, adelgazaré q s
Disyuntivo
disyunción de los Voy al juego o hago ejercicio __p q__
(SD) antecedentes Comeré pizza o adelgazaré r s

04/06/2013 12
 TABLA RESUMEN DE LAS REGLAS DE INFERENCIA

Modus p q
Ponendo Adición p___
Ponens p______ (A) p q
q
(MPP)

Modus p q
Tollendo q_____ Conjunción p
Tollens q___
p (C)
(MPP) p q

Modus p q
Silogismo p q
Tollendo p____
Ponens Hipotético q r
q
p r
(MTP) (SH)

p q
Simplificación p r
p Silogismo
(S) Disyuntivo q s
(SD) __p q__
r s
04/06/2013 13
 Se recomienda verificar que los razonamientos o inferencias anteriores son
válidos. Para esto, basta con hacer uso de las tablas de verdad y la definición
de implicación lógica, para comprobar que el condicional entre conjunción de
las premisas y la conclusión es una tautología.

En la demostración de las validez de razonamientos más complejos, el uso

de las tablas de verdad es sumamente engorroso y tedioso, por lo que
haremos uso de las reglas de inferencia, que nos permitirán:

a) Considerar únicamente los casos en que todas las premisas sean

verdaderas (sin construir la tabla de verdad)

b) Justificar cada paso que se da en el razonamiento, para demostrar que

la conclusión verdadera se deriva de premisas verdaderas y de esta
manera establecer la validez del argumento

NO OLVIDAR que las leyes de equivalencia lógicas pueden ser utilizadas

en el proceso de inferencia, puesto que nos permitirán hacer sustituciones
equivalentes de manera conveniente.

04/06/2013 14
 A continuación, se presentarán una serie de razonamientos, cuya validez se
deberá comprobar a través de la aplicación de las reglas de inferencia.

Ejemplo 1. Si me gradúo y encuentro un trabajo, entonces ganaré dinero. Si

gano dinero, podré ayudar a mi familia. No he podido ayudar a mi familia. Por
lo tanto, no me he graduado o no he encontrado trabajo.

Simbolización del Demostración de la validez

razonamiento del razonamiento

(g t) d
1) (g t) d, premisa
d a
2) d a, premisa
a________
3) a, premisa
g t
4) d, MTT 2) y 3)
5) (g t), MTT 1) y 4)
6) g t, De Morgan 5)

Como se observa, llegamos

a la conclusión; con lo cual
el razonamiento es válido.
04/06/2013 15
 Ejemplo 2. Demostrar que los siguientes razonamientos son válido

p r, r s, t ~ s, ~ t u, ~ u ~p p (q r), p s, t q, ~ s ~r ~t
1) p r Premisa 1) p (q r) Premisa
2) r s Premisa 2) p s Premisa
3) t ~s Premisa 3) t q Premisa
4) t u Premisa 4) ~s Premisa
5) u Premisa 5) p MTP 2) y 4)
6) p s SH 1) y 2) 6) q r MPP 1) y 5)
7) ~s t Conmutativa 3) 7) t r SH 3) y 6)
8) s t Ley Condicional 7) 8) ~r ~t Ley Contrarecíproco
9) p t SH 6) y 8)
10) t u Ley Condicional 4)
11) p u SH 9) y 10)
12) ~p MTT 5) y 12)

04/06/2013 16