ECBTI/ Pensamiento Lógico Matemático

B-LEARNING Unidad III

CURSO 200611_Pensamiento Lógico Matemático

Directora de Curso:
Carolina Castaño
Periodo 16 – 04 , 2018
Argumentos: Premisas y Conclusiones
Un argumento es un conjunto de proposiciones, de las cuales se tienen
dos o más premisas, seguidas por una conclusión.

Ejemplo:
Juliana estudia inglés o francés Premisa 1
Juliana no estudia inglés Premisa 2
---------------------------------------------
Juliana estudia francés Conclusión

Simbólicamente
Juliana estudia inglés Pvq
Juliana estudia francés ~p
--------
q
 Reglas de inferencia
INFERENCIA LÓGICA: Es la manera como obtenemos conclusiones a
partir de enunciados u observaciones dadas, para ello utilizamos un
proceso llamado demostración lógica, en el cual se utilizan las REGLAS
DE INFERENCIA:
 Reglas de inferencia
Modus Ponendo Ponens (MPP)
Premisa 1: pq
Premisa 2: p
Conclusión: q

Ejemplo:

Si estudio reglas del inferencia entonces paso el parcial

Estudio reglas de inferencia
----------------------------------------------
Paso el parcial

Simbólicamente
P: Estudio reglas de inferencia
q: Paso el parcial

1. p  q
2. P
---------
𝒒
 Reglas de inferencia
Modus Tollendo Tollens (MTT)
Premisa 1: r  s
Premisa 2: ¬s
Conclusión: ¬r
Ejemplo:
Si es 25 de Abril entonces hay web conferencia
No hay web conferencia
---------------------------------------------------------------
No es 25 de Abril

Simbólicamente
r: Es 25 de Abril
s: Hay web conferencia

1. r  s
2. ~s
---------
~𝒓
 Reglas de inferencia
Modus Tollendo Ponens (MTP)
Premisa 1: pvq
Premisa 2: ¬p
Conclusión: q
Ejemplo:

Diego es tutor de Pensamiento Lógico o de Algebra

Diego no es tutor de Pensamiento Lógico
--------------------------------------------------------------------
Diego es tutor de Algebra

Simbólicamente
P: Diego es tutor de Pensamiento Lógico
q: Diego es tutor de Algebra
1. P ∨ q
2. ¬ P
--------
q
 Reglas de inferencia
Silogismo Hipotético (SH)
Premisa 1: rt
Premisa 2: ts
Conclusión: rs

Ejemplo:
Si hoy es lunes entonces tengo pico y placa
Si tengo pico y placa entonces me voy en taxi para el trabajo
-----------------------------------------------------------------------------------
hoy es lunes entonces me voy en taxi para el trabajo
Simbólicamente
r: hoy es lunes
t: tengo pico y placa
s: me voy en taxi para el trabajo
1. r  t
2. t  s
---------
rs
 Reglas de inferencia
Doble Negación (ND)
Premisa 1: p
Negación de p ~p
Doble Negación de p ~(~p)

Ejemplo:
A Laura le gusta la lógica matemática
A Laura no le gusta la lógica matemática
No es cierto que a Laura no le gusta la lógica matemática
-----------------------------------------------------------------------------------
A Laura le gusta la lógica matemática

Simbólicamente
p: A Laura le gusta la lógica matemática
~p: A Laura no le gusta la lógica matemática
~(~p): No es cierto que a Laura no le gusta la lógica matemática
------------------------------------------------------------
p: A Laura le gusta la lógica matemática
Reglas de equivalencia
Otras Reglas
 Reglas de equivalencia
En ocasiones se utilizan la leyes de reemplazo o equivalencia para
determinar la validez de un argumento.
Demostrar la validez de un argumento
La prueba formal de validez consiste en deducir la conclusión
del argumento en función de sus premisas, esto es, que las
premisas infieran la conclusión.

1. Asignar variables proposicionales a cada proposición simple

2. Realizar la traducción lógica de las premisas.

3. Organizar el argumento de forma vertical, numerando las

premisas.

4. Utilizar las reglas de inferencia y/o reemplazo que conduzcan a

nuevas premisas. Se debe escribir la abreviatura de la regla y el
numero de premisas a las que se aplica.

5. El proceso de inferencia termina cuando se llega a la conclusión

del argumento.
Aplicación de leyes de inferencia
Ejemplo: Supongamos que tenemos el argumento “Si no compramos una parcela,
entonces construimos una casa. Si construimos una casa, no compramos un
apartamento. Si no compramos un apartamento entonces compramos muebles.
No compramos una parcela. No compramos muebles o compramos un
apartamento. Por lo tanto, compramos un apartamento”.

1. ¬p  q
2. q  ¬ r Al realizar la tabla de
verdad, el resultado
3. ¬ r  s debe ser una
4. ¬(p) tautología.

5. ¬s  r
6. r Conclusión
EL ARGUMENTO ES VÀLIDO
 1. ¬p  q
 2. q  ¬ r
 3. ¬ r  s
 4. ¬(p)
5. ¬s  r
 6. ¬p  s (De 1,2 y 3 por SH)
7. s (De 4 y 6 por MPP)
8. r (De 5 y 7 por SD)
Aplicación de leyes de inferencia
Ejemplo
Tomado de MathClubVirtual

El gerente de una empresa es el encargado de las labores más

importantes. Si el gerente de una empresa es el encargado de las
labores más importantes, entonces ser gerente es un cargo difícil de
manejar. Los gerentes son personas de las que depende la empresa o
sólo se dedican a contratar trabajadores. Si sólo se dedican a contratar
trabajadores, entonces ser gerente no es un cargo difícil de manejar.
Además, si la gerencia no es un cargo que sólo quienes se han
preparado para ello lo merecen, entonces no es cierto que los gerentes
son personas de las que depende la empresa y que el gerente es el
encargado de las labores más importantes. Por lo tanto, la gerencia es
un cargo que sólo quienes se han preparado para ello lo merecen.
Aplicación de leyes de inferencia
p= El gerente de una empresa es el encargado de las labores más importantes.
q= Ser gerente es un cargo difícil de manejar.
r= La gente dice que los gerentes son personas de las que depende la empresa.
s= La gente dice que los gerentes sólo se dedican a contratar trabajadores.
t= La gerencia es un cargo que sólo quienes se han preparado para ello lo merecen.
(Conclusión).

1. p
2. p → q Al realizar la tabla de
3. r V S verdad, el resultado
4. S → ~q debe ser una
5.  t→ (r Λ p) tautología.
6. q (MPP 1-2)
7. ~s (MTT 4-6)
8. r (MTP 3-7)
9. r Ʌ p (Ad. 1-8)
10 t (MTT 5-9)
EL ARGUMENTO ES VÀLIDO
Razonamiento deductivo e inductivo
El razonamiento es la actividad que consiste en la organización y la estructuración de ideas para
alcanzar una conclusión.

DEDUCTIVO: Parte de lo general para llegar a lo particular. ( Validez)

INDUCTIVO: Empieza en lo particular para llega a lo general. (Probabilidad)

Ejemplos

Determinar si el razonamiento es deductivo o inductivo

1.
Los ciclistas deben tener buen físico
Nairo Quintana es ciclista
Por lo tanto Nairo Quintana tiene buen físico

2.
Juan compró un carro de marca Renault y salió muy bueno
Andrea compró un carro de marca Renault y salió muy bueno
Por lo tanto todos los carros de la marca Renault son muy buenos
Razonamiento deductivo e inductivo

3. Luis fue de visita donde su hermana en Medellín, un día deciden ir a visitar a Camila una
amiga de su hermana; durante el recorrido Luis observa dos perros de color negro, al llegar a
la casa de Camila se da cuenta que ella también tiene un perro negro, por lo cual él concluye
que en Medellín todos los perros son de color negro

4. Hernán sale todos los viernes a bailar con sus amigos, hoy es viernes por lo tanto Hernán sale
a bailar con sus amigos
Proposiciones categóricas
Proposiciones categóricas son afirmaciones acerca de categorías o clases. Toda
proposición categórica es un enunciado acerca de los miembros de dos clases, y de
relación entre ellos.

Por ejemplo:

Ningún soltero es casado.

Algunos Mazda no son fabricados en Japón.

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lógica, conocida
como aristotélica, tradicional, o de silogismos categóricos
Proposiciones categóricas
Las cuatro clases de proposiciones categóricas
Existen cuatro clases de proposiciones categóricas. Usando "S" y "P" como símbolos, estas son:

Universal afirmativa: Todo S es P

Universal negativa: Ningún S es P

Particular afirmativa: Algún S es P

Particular negativa: Algún S no es P

Proposiciones categóricas
Las palabras "todo" y "algún" se llaman "cuantificadores" porque indican la cantidad del sujeto. Esto es,
especifican cuánto elementos de la clase del sujeto están incluidos en la clase del predicado. ("Ningún"
indica cero miembros.) El verbo en una proposición categórica correctamente expresada, es siembre
alguna forma del verbo "ser", y se conoce como "cópula". Tenemos, entonces, el siguiente esquema:

Cuantificador: todo, ningún, algún

Sujeto: la clase que se incluye en o que se excluye de, el predicado

Cópula: es, son. era, eran

Predicado: la clase de la cual el sujeto es o no es parte

Proposiciones categóricas
Si aplicamos los esquemas referidos de los desgramas de Venn a las proposiciones
categóricas Universales y Particulares, la representación gráfica es la siguiente:

1. UNIVERSAL AFIRMATIVA
Indica que no existen elementos de S que no pertenezcan a P. Todo S es P.
Proposiciones categóricas
Si aplicamos los esquemas referidos de los desgramas de Venn a las proposiciones
categóricas Universales y Particulares, la representación gráfica es la siguiente:

2. UNIVERSAL NEGATIVA
Como no existen elementos que pertenezcan simultáneamente a S y a P. Ningún S es P.
Proposiciones categóricas
Si aplicamos los esquemas referidos de los desgramas de Venn a las proposiciones
categóricas Universales y Particulares, la representación gráfica es la siguiente:

3. PARTICULAR AFIRMATIVA
Como debe existir al menos un elemento de S y también pertenezca a P, entonces se
escribe una x en la región de la intersección. Algún S es P.
Proposiciones categóricas
Si aplicamos los esquemas referidos de los desgramas de Venn a las proposiciones
categóricas Universales y Particulares, la representación gráfica es la siguiente:

4. PARTICULAR NEGATIVA.
Se afirma la existencia de por lo menos un elemento que pertenezca a S y no
pertenezcan a P. Algún S no es P.
Proposiciones categóricas

Cuadro de la Oposición
Las palabras "todo" y "algún" se llaman "cuantificadores" porque indican la
cantidad del sujeto. Esto es, especifican cuánto elementos de la clase del sujeto
están incluidos en la clase del predicado. ("Ningún" indica cero miembros.) El verbo
en una proposición categórica correctamente expresada, es siembre alguna forma
del verbo "ser", y se conoce como "cópula". Tenemos, entonces, el siguiente
esquema:

Cuantificador: todo, ningún, algún

Sujeto: la clase que se incluye en o que se excluye de, el predicado

Cópula: es, son. era, eran

Predicado: la clase de la cual el sujeto es o no es parte

Fuente: Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-
65)
Proposiciones categóricas

Cuadro de la Oposición

Fuente: Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-
65)
ECBTI/ Pensamiento Lógico Matemático

GRACIAS POR SU
ATENCIÓN