Académique Documents
Professionnel Documents
Culture Documents
ASIGNATURA
PENSAMIENTO LÓGICO Y MATEMÁTICO
GRUPO 200611_166
permitiendo determinar su validez al realizar un análisis generando bases para comprender, solucionar,
2. Utilizar los diferentes recursos disponibles como la web que permita complementar la
Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de los
recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir del tema deberá dar
C. Cuantificador Existencial.
https://prezi.com/es/ y realizar la apertura de una cuenta para lograr hacer uso de la herramienta,
presentación.
Fernando
B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con
los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se
de Google.
D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
q : lo lleva al concesionario
(𝒑 → 𝒒) ∨ (¬𝒒 → 𝒓)
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
1
OMAR DAVID FORERO GALLEGO
0
p q ¬q r p→q ¬q → r ( p → q ) ∨ ( ¬q → r )
V V F V V V V
V V F F V V V
V F V V F V V
V F V F F F F
F V F V V V V
F V F F V V V
F F V V V V V
F F V F V F V
A. (𝑝∧𝑞)→(𝑟 ⋀ 𝑠)
B. (𝑝→𝑞)∧(𝑟 ⋀ 𝑠)
C. [(𝑝 ⋁𝑞)⟷𝑟]
1
OMAR DAVID FORERO GALLEGO
1
Solución
Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
acceso al recurso).
1
OMAR DAVID FORERO GALLEGO
2
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
P
q r s p∧q r∧s (p ∧ q) → ( r ∧ s )
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
1
OMAR DAVID FORERO GALLEGO
3
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
contradicción o contingencia
Conclusión
Como se puedo apreciar la lógica proposicional nos permite derivar información nueva a
partir de la que ya conocemos por medio de la utilización de los diferentes cuantificadores y las
1
OMAR DAVID FORERO GALLEGO
4
Referencias Bibliográficas
Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 -
http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apuntes/IA
/Filminas-Cuantificadores.PDF
Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9 - 28).
1
OMAR DAVID FORERO GALLEGO
5
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra
1
OMAR DAVID FORERO GALLEGO
6