Professional Documents
Culture Documents
Tutor(a)
Paula Andrea Mosquera
Lógica Matemática
2018
ii
Tabla de contenido
Introducción.......................................................................................................................................1
Objetivos............................................................................................................................................2
Objetivos Específicos......................................................................................................................2
Conclusiones....................................................................................................................................10
Referencias.......................................................................................................................................11
1
Introducción
temas desarrolladas a lo largo del curso del razonamiento lógico y computado, entre las
de las premisas simples, la elaboración de las tablas de verdad, el uso del aplicativo
por medio de ley de inferencia y las formas de razonamiento (inductivo y deductivo) para
Objetivos
Objetivos Específicos
Dar uso a las estructuras básicas de las tablas de verdad.
Expresar la validez o no validez de condiciones problémicas por medio de los
compendios de lógica.
Manifestar la validez o no validez de circunstancias problémicas por medio de las
en la guía
3
Lógica inferencial
razonamientos lógicos
inferencia lógica
leyes de la inferencia lógica
Desarrollo
https://drive.google.com/file/d/1vTcHem_H23y9pTTkPzyr_NEXkyhzd74t/view
4
5
Conocimiento
Desarrollo
Lenguaje simbólico:
a. Expresión simbólica:
7
Premisas:
P1:
P2:
Conclusión:
q: tendré empleo
Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
Premisas:
P1: 1 2 3 4
P2: p∧ r∧ 1∧
p q r p→r 4→3
q q 2
Conclusión: v v v v v v v v P3:
v v f v f f f v
v f v f v f f v
v f f f f f f v
f v v f v v f v
P4:
f v f f v f f v
P5:
f f v f v f f v
f f f f v f f v
P3:
9
Conclusiones
Robustecimos las sapiencias obtenidos en la otra unidad al dar uso de las formas
elementales de las tablas de verdad, en las nociones de lógica y los razonamientos lógicos
Referencias
Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=40&docID=11013570&tm=1492519542738
Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=18&docID=10995629&tm=1492519731065
11
Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=20&docID=10732485&tm=1492519941380