z

Lógica matemática
Métodos para probar la validez
Ejercicio 2 unidad 2

Estudiante
Laura Gineth Ropero Caceres
c.c 1.065.893.204

Grupo 90004-481

Tutor:
William Salazar

Universidad nacional abierta y a distancia

Escuela de ciencias administrativas, contables, económicas y de negocios.
Programa Administración de empresas
Aguachica, cesar
2018
z

INTRODUCCIÓN

El presente trabajo comprende el análisis de las características, competencias e

importancia de las temática planteadas en los temas de Lógica proposicional, tablas de
verdad en proposiciones compuestas, álgebra de proposiciones, tautologías,
contradicciones, contingencias y teoría de conjuntos, permitiendo que tengamos un
conocimiento y desarrollo de las actividades en cada uno de los temas.
z

OBJETIVOS

Objetivo específico:
Identificar las reglas de inferencia y razonamientos deductivos e inductivos, para probar la
validez de argumentos en situaciones problemáticas.
Generales

 Analizar cada uno de los temas expuesto en la rúbrica de actividades

 Desarrollar cada una de las actividades planteadas

 Adquirir y aplicar los conocimientos propios de los temas vistos.

z

jercicio 1: Conceptualización de las reglas de inferencia.

z

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

a. Si usted está en Madrid, entonces su reloj señala la misma hora que en Barcelona.
Usted está en Madrid.
Conclusión: usted está en Madrid
Ley de inferencia aplicada: MODUS PONENDO PONENS (MPP)
Lenguaje simbólico: 𝑝 → 𝑞
𝑝

̅̅̅̅̅̅̅̅̅̅̅
𝑞

Ejercicio 3: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:

a. Según las instrucciones del recetario los cupcakes se deben hornear durante una
hora. El pastelero Juan introduce al horno los cupcakes a las diez de la mañana, por
lo tanto, los cupcakes estarán listos a las once de la mañana.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems:

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.
Desarrollo
Razonamiento: DEDUCTIVO.
z

Argumentación:
El razonamiento utilizado es el deductivo, ya que, a partir de que el recetario da
una hora para hornear los cupcakes, se concluye que a las once de la mañana estos
deben estar listo.

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

a. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Premisas:
P1: 𝒑 ∧ 𝒒
P2: 𝒑 → 𝒓

Conclusión: 𝒓 ∧ 𝒒

A partir de la expresión simbólica seleccionada, el estudiante deberá:

a. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

 Definir las proposiciones simples:

p: laura estudia lógica matematicas

q: obtiene la mejor nota

r: gana la materia

Lenguaje natural

Si laura estudia lógica matemática, obtiene la mejor nota. y si estudia lógica matemáticas
entonces gana la materia de lógica matemáticas si estudia lógica matemáticas también
obtiene la mejor nota.
z

Demostración de la validez del argumento

Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒) Conclusión: 𝒓 ∧ 𝒒

Premisas:
P1: 𝒑 ∧ 𝒒
P2: 𝒑 → 𝒓
-----------------------------------------

P3: 𝒓 ∧ 𝒒 SH 1,2 CONCLUSION

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador TRUTH, en el Entorno de Aprendizaje Práctico, así como el link de acceso
al recurso)

NOTA: tutor sigo sin poder utilizar el simulador, me impide y ya he revisado y no se

en donde estará el inconveniente.
z

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

p q r [( p ∧ q) ∧ (p → r)] ⟶ (r ∧ q)
V V V V V V V V V V V V V V
V V F V V V F V F F V F F V
V F V V F F F V V V V V V V
V F F V F F F V F F V F F V
F V V F F V F F V V V V F F
F V F F F V F F V F V F F F
F F V F F F F F V V V V F F
F F F F F F F F V F V F F F
z

CONCLUSIÓN

Al concluir me doy cuenta que nuestro proceso de formación está basado en un continuo
aprendizaje, de conocimiento para el mejoramiento del mismo, y que cada uno de los
puntos aprendidos en este trabajo, me enseñó a conocer más a fondo la temática de los
temas, teniendo claro que debemos hacer en cada una de las actividades y procesos de los
ejercicios.
z

BIBLIOGRAFÍA

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios:

Larousse - Grupo Editorial Patria. (pp. 29-38)
 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.
163-166)
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de

grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84).
 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
 Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]