Вы находитесь на странице: 1из 8

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI

200611- Pensamiento Lógico y Matemático


Act No. 1. B-LEARNING

SOLUCIONARIO ACTIVIDAD NÚMERO TRES B-LEARNING


TEMÁTICA: INFERENCIA LÓGICA

Objetivo:
Con esta actividad se busca que el estudiante identifique y utilice en forma clara
las reglas de inferencia lógica por inducción y deducción en formulaciones y
demostraciones de razonamientos válidos en situaciones específicas.

Núcleos problémicos:

Conceptualización de proposiciones y su clasificación en atómicas y moleculares.

Conectores Lógicos y sus respectivas Tablas de Verdad.

Álgebra de Proposiciones Lógicas y su valor de verdad.

Las Leyes de la Inferencia Lógica.

Estrategia de Aprendizaje Basado en Problemas:

Al igual que en la temática de la unidad uno se inicia con estrategias de deducción


natural e interpretación de enunciados cotidianos y su transformación en lenguaje
formal a través de la argumentación y estructuración de funciones proposicionales;
posteriormente se forma al estudiante en la comprensión de las definiciones de la
lógica formal motivándolo a que a través de la investigación formalice los
conceptos de álgebra proposicional por medio de las Tablas de Verdad y su
clasificación en tautologías, contradicciones o contingencias. Finalmente, también
a través de la investigación autogestionada el estudiante pueda fortalecer sus
formación conceptual con base a la temática anterior correspondiente a la
clasificación de enunciados dentro de las denominadas falacias.

1
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

Ejemplo de enunciado problémico:

Decidir utilizando las tablas de verdad y la aplicación de las leyes de


inferencia si el argumento es o no válido:

Todos los miércoles la universidad presenta un grupo de cuenteros, o un grupo


musical. Además, no se hace una presentación de la misma clase de grupos
en dos miércoles seguidos. Hoy es miércoles, y el pasado miércoles se
presentó un grupo musical. Por lo tanto, la universidad presenta hoy un grupo
de cuenteros.

Solución:

La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

p: Es miércoles.
q: La universidad presenta hoy un grupo de cuenteros.
r: La universidad presenta hoy un grupo musical.
s: El miércoles pasado la universidad presentó un grupo de cuenteros.
t: El miércoles pasado la universidad presentó un grupo musical.

Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
Conclusión:

Demostración por tabla de verdad:

Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjunción como antecedente, y la conclusión el consecuente; se obtiene una tautología.
De modo que,

El desarrollo de la tabla de verdad es el siguiente:

2
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es
válido.

Otra manera de utilizar


las tablas de verdad es
evaluando la existencia
del caso en que las
premisas sean
verdaderas y la
conclusión sea falsa.
Se tiene entonces la
siguiente tabla:

3
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

La anterior tabla muestra que no existe el caso en que las premisas sean verdaderas y la
conclusión sea falsa, por lo tanto el razonamiento es válido.

Demostración por leyes de inferencia:

Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
_______________________

5. t Simp (4)
6. p Simp (4)
7. MPP (3), (5)
8. MPP (1),(6)
9. q SD (7),(8) conclusión

4
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

Ejercicio propuesto:

Si no tenemos fe en la recuperación de Colombia y tambalea la esperanza, no


tendremos un futuro mejor. Es cierto que tambalea la esperanza, pero también lo es
que tendremos un mejor futuro. Por lo tanto tenemos fé.

Solución:

La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

p: tenemos fe en la recuperación de Colombia.


q: tambalea la esperanza.
r: tendremos un futuro mejor.

Ahora bien, para determinar adecuadamente las premisas es conveniente extraer las
proposiciones compuestas del enunciado:

Si no tenemos fe en la recuperación de Colombia y tambalea la esperanza entonces no


tendremos un futuro mejor. PREMISA 1

tambalea la esperanza, y lo es que tendremos un mejor futuro. PREMISA 2

tenemos fe (se intuye que es en la recuperación de Colombia). CONCLUSIÓN

Premisa 1:
Premisa 2:
Conclusión:

Demostración por tabla de verdad:

Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjunción como antecedente, y la conclusión el consecuente; se obtiene una tautología.
De modo que,

El desarrollo de la tabla de verdad es el siguiente:

5
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es
válido.

Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que
las premisas sean verdaderas y la conclusión sea falsa. Se tiene entonces la siguiente
tabla:

La anterior tabla muestra que no existe el caso en que las premisas sean verdaderas y la
conclusión sea falsa, por lo tanto el razonamiento es válido.

6
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

Demostración por leyes de inferencia:

Premisa 1:
Premisa 2:
_______________________

3. r Simp (2)
4. MTT (1),(3)
5. FORMA EQUIVALENTE DE (4)
6. q Simp (2)
7. p SD (5), (6) conclusión

7
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS - ECBTI
200611- Pensamiento Lógico y Matemático
Act No. 1. B-LEARNING

Bibliografía

Tablas de verdad:
https://www.youtube.com/watch?v=kANelfBRR9Y

https://www.youtube.com/watch?v=jNhmDvHs3I4

Validez de un razonamiento
http://es.slideshare.net/juandiazhidalgo/tema-3-la-argumentacin

Proposiciones Categóricas:
http://es.slideshare.net/rafael.mora/reglas-para-cuantificadores

https://www.youtube.com/watch?v=UnHI12r3nck

Recuerden que el Módulo de Lógica Matemática (autor: profesor Georffrey


Acevedo) lo pueden descargar ingresando al Entorno de Conocimiento en la
etiqueta de la unidad dos.

Вам также может понравиться