Professional Documents
Culture Documents
Presentado por
JORGE ALBERTO CANTOR
GRUPO: 200611A_472
TUTOR:
MIRYAM MERCEDES ACOSTA MARTINEZ
Junio/2018
INTRODUCCIÓN
Por medio del siguiente trabajo nos basamos en los conceptos básicos de lógica, aplicando
las características de la inferencia y operaciones de conjunto; además. Utilizar las
herramientas con las tics, incluyendo el simulador TRUTH.
Desarrollo de los ejercicios propuestos
https://prezi.com/view/DLLgRnEWipwWA6nJJeOV/
Así, sean
Proposiciones simples
p: El mundial es en Rusia
s: El mundial es en Europa
Negaciones:
⌐ q: los partidos no se verán en la noche
⌐ r: los partidos no se verán en la madrugada
⌐ s: el mundial no es en Europa
tabla de verdad.
truth table
inferencias
1. p ⇒ (⌐q ∨ ⌐r)
2. p ∨ ⌐ s
3. ⌐s ⇒ r
4. q ∧ r ∴ r
5. q simplificación (4)
6. ⌐ s ∨ p conmutativa (2)
7. ⌐ p ∨ (⌐q ∨ ⌐r) simplicacion (1)
8. (⌐ p ∨ ⌐q) ∨ ⌐r asociativa (7)
9. s ∨ r
10. ⌐ p ⇒ ⌐ simplificación (2)
11. ⌐ p ⇒ r silogismo hipotético (10 y 3)
12. r simplificación (4)
Por medio del trabajo realizado se cumplió a cabalidad todos los requisitos propuestos por
la guía de actividades, a través de la metodología propuesta para el desarrollo de la
actividad, que nos permitió por medio del trabajo de campo un desarrollo pleno de nuestro
aprendizaje desarrollado por medio del material educativo.
Referencias Bibliográficas
Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest (Ed).
Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial Tébar Flores.
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=109956
29&tm=1489710145734
Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.
Recuperado de: http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf
Validez de un razonamiento
Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest (Ed).
Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara, México:
Larousse - Grupo Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=
30