UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CURSO

CURSO: PENSAMIENTO LOGICO Y MATEMATICO

EJERCICIO 1,2, 3,4

UNIDAD 1

ESTUDIANTE:
DEYBERDARIO RAMIREZ ORTEGA
COD: 1085308153

TUTOR DE CURSO:
LUIS ENRRIQUE LEIVA

PUERTO GUZMAN
PUTUMAYO
1 OCTUBRE 2020
 INTRODUCCION
A continuación presento la elaboración de un grupo de ejercicios llevados a la práctica,
A partir de las premisas dadas en los contenidos bibliográficos desarrollamos las tablas de
verdad, encontraran la gran variedad de nexos lógicos, símbolos y su significado,
conocerán sobre las proposiciones y sus operadores lógicos, y por ultimo verán plasmado
las reglas de inferencia en algunos ejercicios.
Las proposiciones algebraicas también fueron desarrolladas en este trabajo junto con sus
características en cada una de ellas.
OBJETIVOS
-Desarrollar las tablas de verdad manualmente a través de las explicaciones y la teoría
revisada.
- Conocer el tipo de proposiciones, sus características y operadores lógicos.
- Evaluar y llevar a la práctica las reglas de inferencia en el transcurso de la revisión del
trabajo.
- Diferenciar los tipos de tablas de verdad.
Ejercicio 1: Proposiciones y tablas de verdad

C. Proposición compuesta en leguaje natural (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

Que se lee si (~𝑝 ↔ 𝑞), entonces (~𝑞 ∨ 𝑟)
~𝑝: Los estudiantes de la UNAD no entregan sus actividades a través
de la plataforma y q: Algunos estudiantes de la UNAD estudian Administración Financiera

(~𝑝 ↔ 𝑞) si Los estudiantes de la UNAD no entregan sus actividades a través de la

plataforma, solo Algunos estudiantes de la UNAD estudian Administración Financiera

~𝑞: Algunos estudiantes de la UNAD no estudian Administración Financiera y 𝑟: Los

estudiantes hacen uso del correo personal para entregar las actividades

(~𝑞 ∨ 𝑟) Algunos estudiantes de la UNAD no estudian Administración Financiera o Los

estudiantes hacen uso del correo personal para entregar las actividades

-Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.
Resultado: es una tabla de contingencia.

Tabla de verdad Simulador UNAD

p q r (~p↔q)→(~q∨r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f F
f f v V
Ejercicio 2: Identificación de las reglas de la inferencia lógica

C) Expresión simbólicas
a→b
a
_______ Modus ponenms (MP)
b

r → s
¬s
________ Tollendo tollens (MT)
¬r

p∧q

_______ Regla de simplificación (SIM)

p

DEFINICION DE PROPOSICIONES SIMPLES

p: La UNAD es una universidad
q: La UNAD es muy grande
S: Soy estudiante de la UNAD
EJERCICIO 3
Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza
Simuladores para realizar los circuitos. Camilo no utiliza
Simuladores para realizar los circuitos.

A). Conclusión: ¬p

B).Ley de inferencia aplicada: Tollendo tollens (MT)

C). Lenguaje simbólico: ( p→ q ) ¬ q

EJERCICIO 4
p: Juan es contador público
q: María estudia medicina
r: Mario obtuvo 400 puntos en el parcial
~q: María no estudia medicina
~r: Mario no obtuvo 400 puntos en el parcial

(p ∧~q) Juan es contador público y María no estudia medicina.

(r→ q) Si Mario obtuvo 400 puntos en el parcial entonces María estudia medicina
(r v ~q) Mario obtuvo 400 puntos en el parcial o María no estudia medicina
(p∧~r) Juan es contador público y Mario no obtuvo 400 puntos en el parcial
JTabla - Resultados

p q r ((p∧~q)∧(r→q)∧(r∨~q))→(p∧~r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V
COCLUSIONES
Ahora bien, después de analizado y desarrollado el anterior trabajo, se puede concluir que
las tablas de verdad se explican de manera eficiente teniendo en cuenta las reglas de los
conectores lógicos. Además de ello, frente a las reglas de inferencia, se analiza que son el
complemento fundamental para el desarrollo de las premisas;
Así pues, el hecho de conocer el tipo de tablas y sus características principales y derivadas
nos facilitan el proceso diferenciador al momento de desenvolverlas

BIBILOGRAFIA

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9 - 29). Ediciones Elizcom, Madrid. Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?
page=12
Cardona, T. S. A. (2010). Reglas de inferencia. (pp. 78 - 99). Ediciones Elizcom,
Madrid. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=81
Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid Editor. (pp. 40-49).
Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-37). México, D.F,
Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad
proposiciones compuestas). [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/11489
Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo
de video]. Recuperado de http://hdl.handle.net/10596/11486