Ejercicios Lógica Matemática

Métodos Para Probar la Validez de Argumentos

Presentado por:
Edgar Luengas Ovalle

Presentado a:
Bibiana Rosero

Universidad Nacional Abierta y a Distancia

CEAD Vélez
Agronomía
2018
 Introducción

En este trabajo se ve unos conceptos y temáticas desarrolladas de lógica inferencial,

razonamientos lógicos, inferencia lógica y leyes de inferencia lógica, utilizando el lenguaje
simbólico y el natural, La demostración de la validez o no validez de un planteamiento por
el medio de las leyes de inferencia y las formas de razonamiento (inductivo y deductivo)
para proponer una formalización y resolución a las situaciones problémicas.
Objetivo

Reforzar los principios y temas adquiridos en las unidades de lógica matemática.

Ejercicio 1

Ejercicio 2
e. 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.

Conclusión: Todas son verdaderas solo si las demás son verdaderas.

Ley de inferencia aplicada: deducción simple
Lenguaje simbólico: ↔ P → Q ↔ Q → R

Ejercicio 3
e. 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: Razonamiento deductivo
compuesto
• Argumentar la respuesta con sus propias palabras: En general Carlos no presta el
cargador porque se lo pueden extraviar. El se dio cuenta que eso pasaba.

Ejercicio 4
e. 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

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
r: Carlos estudia en otra universidad
s: La UNAD es una universidad de excelente calidad
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural. Las proposiciones simples deben ser de autoría de cada estudiante,
por lo que de encontrar proposiciones iguales entre estudiantes se
considerara como copia y se tomaran las medidas correctivas estipuladas por
la UNAD.
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

( p → q) ꓦ r
v v f
f v v
Carlos estudia en la UNAD entonces La UNAD es una Universidad Pública o Carlos
estudia en otra universidad

ꓥ ( r → ῀p) → ( p ꓥ s)
 v v v v
f f f v
y Carlos estudia en otra universidad entonces La UNAD no es una Universidad Pública y
Carlos estudia en la UNAD y La UNAD es una universidad de excelente calidad.

→ ( q ꓥ s)
v v
f v
entonces La UNAD es una Universidad Pública y La UNAD es una universidad de
excelente calidad.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica
Se deduce:

(q ꓥ s)
La UNAD es una universidad pública y es de muy buena calidad
↔P
Si Carlos es un estudiante de la UNAD, Carlos es un estudiante de muy buena calidad.

(q ꓥ ῀r)
La UNAD es una universidad pública y si Carlos no estudia en la UNAD Carlos no es un
estudiante de buena calidad.
Se aplica un método inductivo.
Referencias Bibliograficas

http://lgicaepn.blogspot.com/2011/12/reglas-de-inferencia.html
https://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://132.248.164.227/publicaciones/docs/apuntes_matematicas/36.%20Logica%20Matem
atica.pdf
http://bibliotecadigital.tamaulipas.gob.mx/archivos/descargas/817d4171378efa979b97d014
cbcef780443c26a5.pdf
Conclusiones

Se puede concluir que para desarrollar las temáticas correspondientes es necesario tener en
cuenta cada concepto, el lenguaje simbólico, saber interpretar el contenido.

Se adquiere conocimiento a fondo para poder plantear y resolver cada ejercicio.