LOGICA MATEMÁTICA

WILMAR ANDRES VARGAS

CÓD.: 17689334

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

COLOMBIA
2018
 INTRODUCCIÓN
En el siguiente trabajo, establearemos conceptos y determinaremos las
interpretaciones de los conceptos tales como proposiciones simples y
compuestas, tablas de verdad, métodos de demostración, razonamientos lógicos,
inferencia lógica y argumentos lógicos.
Primero, estableceremos los conceptos de los temas principales en cuando
deducción e inducción; luego, aplicaremos las leyes de inferencia, para determinar
premisa y convertirlas al lenguaje natural o simbólico.
Finalmente, gracias al simulador de tablas de verdad, probaremos su
veracidad y la contrastaremos con un ejercicio manual.
 OBJETIVOS
- Expresar los conceptos principales de la inferencia lógica
- Aplicar las leyes de la lógica para la resolución de ejercicios
- Determinar los tipos de razonamiento por inducción y deducción
- Aplicar tablas de verdad para la solución de premisas.
 TRABAJO DE LÓGICA TAREA 2
Ejercicio 1A

Ejercicio 2E
Si se matriculan más del cupo de estudiantes en el curso, entonces se
contratan más tutores. Si se contratan más tutores, entonces se amplía la sala de
tutores.
(P→ q) (q→ r)
Conclusión: P → r
Ley de inferencia aplicada: Silogismo hipotético
Lenguaje simbólico: (P→ q) (q→ r)
Ejercicio 3E
En distintas circunstancias Ana le ha pedido el cargador del celular prestado
a Carlos, pero él no ha querido hacerlo debido a que Ana le extravió el cargador a
su primo Esteban y el de su hermana Elba. ¿Qué tipo de razonamiento uso Carlos
para determinar esta decisión?
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
siguientes ítems:
Identificar si el razonamiento es deductivo o inductivo.
Tipo Inductivo
Argumentar la respuesta con sus propias palabras.
Se utiliza la observación, para determinar el Número de aspectos en los
cuales las cosas involucradas se dice que son análogas.
Ejercicio 4E

Expresión simbólica: { [ ( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )
 Premisas:
P1: ( p →q ) ∨ r
P2: r →∼ p
P3: p ∧ s
Conclusión: q ∧ s
Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto académico
P = Andrés gana el semestre en la universidad
Q = Andrés recibe un portátil
R = Andrés es un Buen estudiante
S = Andrés recibe un Viaje
Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural.
Andrés gana el semestre en la universidad entonces el recibe un portátil o
Andrés es un buen estudiante. Y si Andrés es un Buen estudiante entonces él no
gana el semestre en la universidad. Él gana el semestre en la universidad y recibe
un Viaje. Entonces Andrés recibe un portátil y Él recibe un Viaje.

Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual)

(p → [(p → q) V (r → ¬ [(p → q) V r] Λ (r → ¬ (pΛ {[(p → q) V r] Λ (r → ¬ p) Λ ( p (q Λ  {[(p → q) V r] Λ (r → ¬ p) Λ ( p Λ s )} → (q

p     q     r     s  
q) r] p) p) s) Λ s )} s)  Λ s) 
V V V V V V F F V F V V
V V V F V V F F F F F V
V V F V V V V V V V V V
V V F F V V V V F F F V
V F V V F V F F V F F V
V F V F F V F F F F F V
V F F V F F V F V F F V
V F F F F F V F F F F V
F V V V V V V V F F V V
F V V F V V V V F F F V
F V F V V V V V F F V V
F V F F V V V V F F F V
F F V V V V V V F F F V
F F V F V V V V F F F V
F F F V V V V V F F F V
F F F F V V V V F F F V
 CONCLUSIONES
Se establecieron definiciones y aplicaciones por medio de mapas conceptuales.
Se efectuaron las prácticas de ejercicios a través de premisas y aplicación de las leyes
Se expusieron las aplicaciones sobre cómo convertir enunciados de lenguaje natural a simbólico y viceversa.
Así también, se estableció ciertos grados de certeza de las expresiones por medio de la aplicación de las tablas de
verdad.
 BIBLIOGRAFÍA
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial Patria. (pp.
29-38). Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=40&docID=11013570&tm=1492519542738
Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046000&tm=1492520104862
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) Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria.
(pp. 80-84) Recuperado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861