Академический Документы
Профессиональный Документы
Культура Документы
PRESENTADO POR:
GRUPO
90004A_360
PRESENTADO A:
PATRICIA LEGUIZAMON P.
En el siguiente trabajo vamos a interactuar un poco con las tablas de verdad y abordaremos
temas como los conectivos lógicos los cuales nos permitirán solucionar proposiciones
lógicas, con ejercicios los cuales solucionare de la mejor manera posible entendiendo que este
es un trabajo colaborativo pero por problemas con mi equipo de cómputo no me fue posible
participar en el foro y estudiar lo suficiente, mis compañeras están mucho más adelantadas y
por ende decidí realizar el trabajo colaborativo de manera individual.
OBJETIVO GENERAL
Lograr entender de manera clara el uso de las tablas de verdad para el desarrollo de
actividades como conectivos lógicos y la teoría de conjuntos.
OBJETIVOS ESPECIFICOS
A)
𝑝: 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑒𝑠 𝑢𝑛𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑.
𝑞: 𝐿𝑎𝑠 𝑚𝑎𝑡𝑒𝑟𝑖𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑠𝑒 𝑐𝑢𝑟𝑠𝑎𝑛 𝑑𝑒 𝑚𝑎𝑛𝑒𝑟𝑎 𝑣𝑖𝑟𝑡𝑢𝑎𝑙.
¬(𝒑⋀𝒒) ↔ (¬𝒑 ∨ 𝒒)
P Q (p q ) (¬q) (p ∧q )∨(¬q)
VVVFV
FVFFF
VFFVV
FFFVV
C)
p: Tres colombianos han ganado el premio nobel.
q: Gabriel García Márquez gano un nobel de paz.
(p→q)↔ (¬p∨q)
P: f
Q: f
(f→f)↔ (¬f ∨ f)
(v)↔ (v)
v
el valor de verdad de la proposición compuesta (p→q)↔ (¬p∨q),
Tarea 2: Tablas de verdad
B) Si no es cierto que la luna tiene atmósfera y tiene vida, entonces la luna no tiene atmósfera
o no tiene vida
(¬p V q) r→
p q r ¬p (¬p V q) (¬p V q) r→
VVVFVV
VFVFFV
VVFFVF
FVVVVV
FFVVVV
VFFFFV
FVFVVF
FFFVVF
Ejemplo:
Representar la siguiente situación en el diagrama de Venn y con las operaciones entre
conjuntos
“Empleados casados con estudios profesionales y originarios de la capital”
𝑃∩𝐶∩𝐷
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)
U= autos
P= autos con transmisión automática
C= autos con clima
O= autos con estéreo
40
15 10
5
45 13
48
Referencias Bibliográficas
Héctor Fabio Amaya Díaz .[hector fabio amaya diaz]. (2016, Abril 10). [Tablas de
verdad colaborativo 2]. Recuperado de: http://hdl.handle.net/10596/6547
http://campus14.unad.edu.co/ecbti09/mod/page/view.php?id=5110
Manuel Enrique Wagner Mendivelso. [manuel wagner]. (2016, marzo 9). [Lógica
Proposiciones 1]. Recuperado de: http://hdl.handle.net/10596/6542
Manuel Enrique Wagner Mendivelso. [manuel wagner]. (2016, marzo 9). [Lógica
conjuntos 1]. Recuperado: http://hdl.handle.net/10596/6558
Juan Manuel Cortes Orozco .[ Juan Manuel Cortes Orozco ]. (2016, Abril 16). [Teoría
de conjuntos]. Recuperado de: http://hdl.handle.net/10596/6557