ECBTI

Lógica Matemática
90004- Semestre II 2015

RAZONAMIENTOS LOGICOS

TRABAJO COLABORATIVO 2

MOMENTO INTERMEDIO

POR:

FREDDY JOVANNY JURADO

1077033235

SERGIO ENRIQUE JAIR GONZÁLEZ

1073158684

VENLLY ALEXANDER BERNAL

1070967237

PRESENTADO A:

MANUEL ROBLES

90004_11

LÓGICA MATEMÁTICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

COLOMBIA 2015
ECBTI
Lógica Matemática
90004- Semestre II 2015

INTRODUCCIÓN

En las formas de comunicación cotidiana utilizamos expresiones del lenguaje natural que en el
fondo responden a estructuras de inferencia lógica, o por inducción o por deducción y que en la
medida que se comprenda este proceso de pensamiento complejo se mejoran los procesos de
interacción comunicativa y de re significación cognitiva.

Por tal motivo; El trabajo colaborativo momento 2 del curso 9004-11 de Lógica Matemática, se
basa mediante la formulación de un problema de la vida cotidiana, el cual, el estudiante dará
solución aplicando los diferentes procesos de transferencia, identificando los tipos de
razonamiento, la validez de las conclusiones y su demostración por inferencias, tablas de verdad
y reducción al absurdo.

Desde su estructura este trabajo intenta generar en el estudiante competencias comunicativas y

cognitivas a través del desarrollo de habilidades de pensamiento, como: análisis, síntesis,
comparación, abstracción, etc.; aspectos fundamentales para un óptimo desempeño en lo
académico, disciplinar y profesional. Por ello, el curso permite al estudiante proponer y resolver
situaciones de razonamiento lógico presentes tanto en la vida cotidiana, como en los cursos del
programa de estudio desarrolla competencias para afianzar la toma de decisiones con nivel de
certeza.
ECBTI
Lógica Matemática
90004- Semestre II 2015

OBJETIVOS

 Tener la capacidad de probar la validez de cualquier argumento, para así poderlas aplicar
en nuestra formación académica más adelante, así como también para poder usarlas en
nuestra vida cotidiana.
 Poder usar adecuadamente las implicaciones notables, y entender que son así como
cuales son y sus aplicaciones en cualquier argumento.
 Entender la utilización de las leyes de inferencia.
 Tener la capacidad de usar adecuada mente los métodos de demostración
1. Inferencias lógicas
2. Tablas de verdad
3. Reducción al absurdo
ECBTI
Lógica Matemática
90004- Semestre II 2015

DESARROLLO DE LA ACTIVIDAD

Estudiante: Freddy Jovanny Jurado

Método de Razonamiento Características Ejemplos.

METODO INDUCTIVO Es el estudio de las RAZONAMIENTO

pruebas que le permiten INDUCTIVO COMPLETO
medir la probabilidad de
- Ricardo y Anahí tienen
los argumentos.
tres perros: Pancho,
No existe acuerdo sobre Ronaldo y Tito.
cuándo considerar un Pancho es
argumento como válido de color negro.
Ronaldo es de color
Hace referencia al grado
negro.
de probabilidad de que una
Tito es de color negro.
conclusión sea verdadera
cuando sus premisas son
verdaderas Por lo tanto, todos los perros
de Ricardo y Anahí son de
Un argumento inductivo es
color negro.
fuerte cuando es altamente
improbable que su
conclusión sea falsa si las RAZONAMIENTO
premisas son verdaderas INDUCTIVO
INCOMPLETO
El razonamiento inductivo
puede ser completo o - Pancho es un perro de
incompleto. color negro.
Ronaldo es un perro de
color negro.
Tito es un perro de
color negro.
Por lo tanto, todos los
perros son de color negro.

Todas las premisas son

verdaderas, pero la conclusión
es falsa.
ECBTI
Lógica Matemática
90004- Semestre II 2015

METODO DEDUCTIVO Consiste en obtener Cuando la premisa es

conclusiones particulares a verdadera:
partir de una ley universal.
Todos los perros tienen cuatro
Es un argumento donde la patas
conclusión se infiere
- Jeff tiene cuatro patas
necesariamente de las
premisas. Como se puede apreciar la
conclusión (Jeff tiene cuatro
Es una secuencia finita de
patas) deriva de la premisa
fórmulas, las cuales la
original, que es universal
última es la designada
(todos los perros tiene cuatro
como la conclusión.
patas)
Todas las formulas en la
secuencia son, o bien
axiomas, o bien Cuando la premisa no es
premisas… verdadera:
Partiendo de lo general, Las mujeres son siempre
llega a lo particular rubias
- Jimena es mujer-
Jimena es rubia
En este caso la deducción es
lógica, pero la premisa es falsa,
lo que lleva a una conclusión
también falsa.
ECBTI
Lógica Matemática
90004- Semestre II 2015

Estudiante: Sergio enrique Jair González Arcos

Método de Razonamiento Características Ejemplos
Método deductivo  El método siempre 1.
va de lo particular a - si a es semejante a
lo general b,
 Las conclusiones - si b es semejante a
derivan de las c,
premisas. - entonces a es
 El razonamiento semejante a c.
será correcto cuando
de premisas - las piscinas
verdaderas llego a requieren
conclusión bactericidas,
verdadera. - el cloro es un
bactericida,
- luego las piscinas
tienen cloro
- Método inductivo - el método va de lo
particular a lo - Mi automóvil está
general hecho de hierro.
- permite la - El automóvil de
formación de Alberto está hecho
hipótesis de hierro.
- se llegan a - El automóvil de
conclusiones a partir Gloria está hecho de
del estudio hierro.
- : todos los
automóviles están
hechos de hierro

- Veo un cuervo de
color negro
- Veo un segundo
cuervo de color
negro
- Veo un tercer
cuervo de color
negro
- Todos los cuervos
son negros..
ECBTI
Lógica Matemática
90004- Semestre II 2015

Estudiante: Venlly Alexander Bernal Gaitan

Método de Razonamiento Características (4) Ejemplos (2)
Método deductivo - La conclusión 1.
deriva necesaria - El hombre es un ser
mente de las vivo.
premisas - Los seres vivos
- Tradicionalmente necesitan el agua.
este método es el - El hombre necesita
más usado en la el agua.
educación. 2.
- Es sistemático, se - Los reptiles son de
sustenta en un son animales de
procedimiento sangre fría.
metódico. - La serpiente es un
- Es inflexible no animal de sangre
suministra fría.
información nueva. - La serpiente es un
reptil.

Método inductivo - Es el método 1.

científico más usado - La silla de Rosa está
- Tiene que ser hecha de madera.
comprobado para - La silla de Lucia
que sea valido está hecha de
- Solo ofrece madera.
conocimientos Por lo tanto todas las
probables sillas están hechas de
- Según Aristóteles es madera.
un conocimiento 2.
incompleto. - Mauricio y Andrea
- El razonamiento tienen tres hijos,
inductivo puede ser José, Carlos y
completo o Valentina.
incompleto - José es rubio.
- Carlos es rubio.
- Valentina es rubia.
Por lo tanto todos los
hijos de Mauricio y
Andrea son rubios.
ECBTI
Lógica Matemática
90004- Semestre II 2015

Cuadro comparativo grupal

Método de Razonamiento Características (4) Ejemplos (2)
Método deductivo - Consiste en obtener 1.
conclusiones - El hombre es un ser
particulares a partir vivo.
de una ley universal. - Los seres vivos
- La conclusión necesitan el agua.
deriva necesaria - El hombre necesita
mente de las el agua.
premisas 2.
- Tradicionalmente - Los reptiles son de
este método es el son animales de
más usado en la sangre fría.
educación. - La serpiente es un
- Es sistemático, se animal de sangre
sustenta en un fría.
procedimiento - La serpiente es un
metódico. reptil.
- Es inflexible no 3.
suministra - Las piscinas
información nueva. requieren
bactericidas,
- El cloro es un
bactericida,
- Luego las piscinas
tienen cloro
4.
- Los estudiantes de la
UNAD estudian
lógica matemática
- Sergio, Freddy y
Venlly son
estudiantes de la
UNAD
- Sergio, Freddy y
Venlly estudian
lógica matemática.
5.
- El algodón sirve
para hacer prendas
de vestir
ECBTI
Lógica Matemática
90004- Semestre II 2015

- Las camisetas son

prendas de vestir
- Las camisetas
pueden ser
fabricadas con
algodón
6.
- Colombia tiene
clima tropical
- El clima tropical es
propio de los países
que se ubican cerca
de la zona ecuatorial
- Colombia se ubica
cerca de la zona
ecuatorial
7.
- Los perros tienen 4
patas
- Jeff tiene cuatro
patas
- Jeff es un perro
8.
- En el abecedario a
letra A esta ubicada
antes que la B
- La letra C está
ubicada después de
la B
- La letra A esta
ubicada antes de la
C

Método inductivo - Es el método 1.

científico más usado - La silla de Rosa está
- Permite la hecha de madera.
formación de - La silla de Lucia
hipótesis. está hecha de
- Solo ofrece madera.
conocimientos Por lo tanto todas las
probables sillas están hechas de
- Según Aristóteles es madera.
un conocimiento 2.
incompleto. - Mi automóvil está
hecho de hierro.
ECBTI
Lógica Matemática
90004- Semestre II 2015

- No existe acuerdo - El automóvil de

sobre cuándo Alberto está hecho
considerar un de hierro.
argumento como - El automóvil de
válido. Gloria está hecho de
hierro.
- Todos los
automóviles están
hechos de hierro
3.
- Bryan está en el
estadio
- Andrés está en el
estadio
- Camilo está en el
estadio
- Todos están en el
estadio
4.

- Mauricio y Andrea
tienen tres hijos,
José, Carlos y
Valentina.
- José es rubio.
- Carlos es rubio.
- Valentina es rubia.
Por lo tanto todos los
hijos de Mauricio y
Andrea son rubios.
5.
- Marina vive en
Bogotá y es paisa
- Martha vive en
Manizales y es paisa
- Alfredo vive en
pasto y es paisa
- Todos los
colombianos son
paisas
6.
- Juanes es cantante
- Shakira es cantante
- Juanes y Shakira son
Colombianos
ECBTI
Lógica Matemática
90004- Semestre II 2015

- Por lo tanto Juanes y

Shakira son
cantantes
Colombiano
7.
- Juan trabaja por
dinero
- Ramón trabaja por
dinero
- Todos trabajan por
dinero
8.
- En el desierto del
Sahara hay arena
- En el desierto de
Arabia hay arena
- En el desierto de
Australia hay arena
- Por lo tanto en todos
los desiertos hay
arena.

PROBLEMA DE APLICACIÓN
Analice la validez de la conclusión: “La población de Italia es fuerte Física y mentalmente”. Para
ello debemos hacer los siguientes componentes, los cuales deben estar consignados en el trabajo
colaborativo partiendo de las siguientes premisas:
Premisa 1: Los pueblos del meridional poseen agudeza mental.
Premisa 2: los pueblos del frio norte son valerosos.
Premisa 3: Italia se ubica en una zona meridional norte.
Premisa 4: Italia se ubica en una zona meridional norte entonces La población de Italia es fuerte
Física y mentalmente
Primera parte de la fase 1.
1.1 Plantear las proposiciones simples.
- Los pueblos del meridional poseen agudeza mental
- Los pueblos del frio norte son valerosos.
- Italia se ubica en una zona meridional norte.
1.2 Escribir las premisas en lenguaje simbólico.
- Premisa 1: Los pueblos del meridional poseen agudeza mental = p
- Premisa 2: los pueblos del frio norte son valerosos. = q
ECBTI
Lógica Matemática
90004- Semestre II 2015

- Premisa 3: Italia se ubica en una zona meridional norte. = r

- Premisa 4: Italia se ubica en una zona meridional norte entonces La población de Italia es
fuerte Física y mentalmente= (𝑟 → 𝑠)
- Conclusión: La población de Italia es fuerte Física y mentalmente= s

1.3 Enunciar la conclusión en lenguaje simbólico.

[((pˆq)^r)ˆ( r→ s)] →s
Segunda parte de la fase 1.
Demostraciones:
1.5 Probar la validez del argumento empleando las tablas de verdad.
(Evaluando si la conjunción de las premisas implican la conclusión.)

[((pˆq)^r)ˆ( r→ s)] →s

1. pˆq 2. ((p^q)^r) 3. [( r→ s)] 4. [((pˆq)^r)ˆ( r→ s)] 5. [((pˆq)^r)ˆ( r→ s)] →s

p q r s 1 2 3 4 5
V V V V V V V V V
V V V F V V F F V
V V F V V F V F V
V V F F V F V F V
V F V V F F V F V
V F V F F F F F V
V F F V F F V F V
V F F F F F V F V
F V V V F F V F V
F V V F F F F F V
F V F V F F V F V
F V F F F F V F V
F F V V F F V F V
F F V F F F F F V
F F F V F F V F V
F F F F F F V F V
ECBTI
Lógica Matemática
90004- Semestre II 2015

Se puede inferir que este argumento es una tautología porque todos sus valores son verdaderos.

1.6 Probar la validez del argumento empleando las leyes de inferencia.

- Premisa 1: Los pueblos del meridional poseen agudeza mental = p
- Premisa 2: los pueblos del frio norte son valerosos. = q
- Premisa 3: Italia se ubica en una zona meridional norte. = r
- Premisa 4: Italia se ubica en una zona meridional norte entonces La población de Italia es
fuerte Física y mentalmente= (𝑟 → 𝑠)
- Conclusión: La población de Italia es fuerte Física y mentalmente= s

1. (𝑝 ∧ 𝑞) ∧ 𝑟 (premisa)
2. (𝑟 → 𝑠) (premisa)
3. (𝑝 ∧ 𝑞) ∧ 𝑟 → (𝑟 → 𝑠) (silogismo hipotético en 1 y2)
4. (𝑟 → 𝑠) → 𝑠
5. (𝑝 ∧ 𝑞) ∧ 𝑟 → 𝑠 (modus ponens 5 y 1)
6. s (conclusión)

[((pˆq)^r)ˆ( r→ s)] →s

1.7 Verificación con simulador

ECBTI
Lógica Matemática
90004- Semestre II 2015

PROBLEMA DE APLICACIÓN 2.

Alguien envió un paquete a mi casa o el mensajero se equivocó; si el mensajero se equivocó

la dirección de la guía está errada, pero la dirección de la guía no está errada por lo tanto
alguien envió un paquete a mi casa.

Tercera parte de la fase 1.

1.8 Plantear las proposiciones simples.

p= Alguien envió un paquete a mi casa

q= El mensajero se equivocó
r= La dirección de la guía está errada
~r= La dirección de la guía no está errad

1.9 Teniendo la declaración de proposiciones simples, plantear las premisas:

Premisa 1. Alguien envió un paquete a mi casa o el mensajero se equivoco
Premisa 2. Si el mensajero se equivocó la dirección de la guía esta errada.
Premisa 3. Pero la dirección de la guía no está errada por lo tanto alguien envió un paquete a mi
casa
1.10 Escribir las premisas en lenguaje simbólico.
Premisa 1: pvq
Premisa 2: q→r
Premisa 3: ~r
1.11 Enunciar la conclusión en lenguaje simbólico.

Conclusión= p
ECBTI
Lógica Matemática
90004- Semestre II 2015

Cuarta parte de la fase 1.

Demostraciones:
Cuarta parte de la fase 1
Demostraciones:
1.12 Probar la validez del argumento empleando el método de reducción al absurdo. (Se supone
que la conclusión es Falsa absolutamente todas las premisas deben ser verdaderas; si alguna de
las premisas es falsa, se llega a un absurdo, por lo tanto el razonamiento es válido)
Como se supone que en la conclusión P= falso.
En la premisa 3 para que ~r sea verdadero es porque r= Falso
Premisa dos:
q→r
Tabla de verdad de la implicación
p q p→q
V V V
V F F
F V V
F F V

Premisa Uno
Pvq
Tabla de verdad de la disyunción
p q pvq
V V V
V F V
F V V
F F F
ECBTI
Lógica Matemática
90004- Semestre II 2015

Por lo tanto llegamos aun ABSURDO, ya que la premisa 2 es falsa Por lo tanto el razonamiento
si es valido.

(((pvq) ^ (q→r))^~r) →p
p q r ~r (pvq) (q→r) (pvq) ^ ((pvq) ^ (q→r)^~r) ((pvq) ^ (q→r))^~r) →p
(q→r)

V V V F V V V F V
V V F V V F F F V
V F V F V V V F V
V F F V V V V V V
F V V F V V V F V
F V F V V F F F V
F F V F F V F F V
F F F V F F F F V
ECBTI
Lógica Matemática
90004- Semestre II 2015

CONCLUSIONES

 Aprendimos a manejar adecuadamente los métodos de demostración.

 Comprendimos que sin importar el método usado siempre se llegara a la misma
conclusión sin importar el argumento que estemos validando.
 Comprobamos la validez de dos argumentos por medio de tablas de verdad, inferencias
lógicas, y reducción a lo absurdo.
 Entendimos la utilización de las leyes de inferencia.
 Adquirimos la habilidad de comprobar cualquier argumento lógico.
ECBTI
Lógica Matemática
90004- Semestre II 2015

Bibliografía

Briceño, S. C. (Dirección). ( 11 ene. 2011). Comprobación de Inferencias por Tablas: EJEMPLO 2 [Película].

Briceño, S. C. (Dirección). (10 ene. 2011). Introducción a la Lógica Inferencial [Película].

Briceño, S. C. (Dirección). (11 ene. 2011). Comprobación de Inferencias por Tablas: EJEMPLO 1 [Película].

Briceño, S. C. (Dirección). (12 ene. 2011). Comprobación de Inferencias: Prueba Formal de invalidez
[Película].

Briceño, S. C. (Dirección). (15 ene. 2011). Leyes Lógicas de Inferencia o Implicaciones Notables [Película].

Briceño, S. C. (Dirección). (20 ene. 2011). Demostración forma de Inferencias: Método Directo o Prueba
Formal de Validez [Película].

Briceño, S. C. (Dirección). (26 feb. 2011). DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO [Película].

Briceño, S. C. (Dirección). (28 ene. 2011). Ejercicios Explicativos: Demostración por el Método Directo
[Película].

Briceño, S. C. (Dirección). (7 ene. 2011). Introducción a Inferencia lógica [Película].

Briceño, S. C. (Dirección). (8 ene. 2011). Ejemplos Sencillos de Inferencia Lógica [Película].

Briceño, S. C. (Dirección). (9 ene. 2011). El Lenguage de Formal de las Inferencias [Película].

gonzalez, G. A. (2012). logica matematica. Medellin .