Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ASIGNATURA
PENSAMIENTO LÓGICO Y MATEMÁTICO
GRUPO 200611_166
1
OMAR DAVID FORERO GALLEGO
Objetivo general
2
OMAR DAVID FORERO GALLEGO
Objetivos específicos
2. Utilizar los diferentes recursos disponibles como la web que permita complementar la
3
OMAR DAVID FORERO GALLEGO
.
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.
4
OMAR DAVID FORERO GALLEGO
5
OMAR DAVID FORERO GALLEGO
6
OMAR DAVID FORERO GALLEGO
7
OMAR DAVID FORERO GALLEGO
8
OMAR DAVID FORERO GALLEGO
Ejercicio 2: Proposiciones y Tablas de verdad
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
9
OMAR DAVID FORERO GALLEGO
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
Android de Google.
D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
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
1
OMAR DAVID FORERO GALLEGO
0
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
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
1
OMAR DAVID FORERO GALLEGO
1
Contingencia: ya que tenemos falsos y verdaderos.
A. (𝑝∧𝑞)→(𝑟 ⋀ 𝑠)
B. (𝑝→𝑞)∧(𝑟 ⋀ 𝑠)
C. [(𝑝 ⋁𝑞)⟷𝑟]
Solución
Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
1
OMAR DAVID FORERO GALLEGO
2
Si Omar se matriculo en la UNAD y estudia ingeniería electrónica entonces tiene clases de
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
de acceso al recurso).
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
1
OMAR DAVID FORERO GALLEGO
3
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
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
tablas de verdad para el análisis y la toma de decisiones y permitió profundizar en conceptos de
Referencias Bibliográficas
Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 -
1
OMAR DAVID FORERO GALLEGO
5
López, B. (9 de septiembre de 2019). Cuantificadores Universales. Obtenido de Bruno López:
http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apuntes/IA
/Filminas-Cuantificadores.PDF
1
OMAR DAVID FORERO GALLEGO
6