Professional Documents
Culture Documents
Tarea 2
Contacto: jeriksona@gmail.com
2
Contenido
Introducción. .............................................................................................................................. 3
Objetivos. ................................................................................................................................... 4
Premisas: ................................................................................................................................ 6
Conclusiones. ............................................................................................................................. 9
Introducción.
inferencia; se usó del simulador (Truth Table) la tabla de verdad y la elaboración de una misma,
Objetivos.
lógica.
Generar tablas de la verdad una con el simulador (truth table) y la otra manualmente.
5
Temáticas a Desarrollar.
Un mapa conceptual que encierre los conceptos básicos de la presente unidad que son:
Lógica inferencial
razonamientos lógicos
inferencia lógica
Si se matriculan más del cupo de estudiantes en el curso, entonces se contratan más tutores. Si
sala de tutores.
6
Lenguaje simbólico:𝑝 → q
q→ 𝑟
̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑝→𝑟
En distintas circunstancias Ana le ha pedido el cargador del celular prestado a Carlos, pero él
hermana Elba. ¿Qué tipo de razonamiento uso Carlos para determinar esta decisión?
Premisas:
P1: (𝒑 → 𝒒) ∨ 𝒓
7
P2: 𝒓 →∼ 𝒑
P3: 𝒑 ∧ 𝒔
Conclusión: 𝒒 ∧ 𝒔
una universidad privada y la UNAD es una universidad privada, entonces, Andrey no estudia en
p q r s {[(p→q)Vr]Λ(r→¬p)Λ(pΛs)}→(qΛs)
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
8
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
Conclusiones.
probar su validez.
Referencias Bibliográficas
https://youtu.be/n00R0Z5dc08
https://youtu.be/q8fvXaUX5f4
https://youtu.be/KOQcYAJ1R-o
https://youtu.be/sYZ2cNN2Qig
https://youtu.be/0qCp6XAd2Q4
https://es.wikipedia.org/wiki/Inferencia