Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
GRUPO: 90004_300
TUTOR
INGENIERÍA DE SISTEMAS
2019
INTRODUCCION
GENERAL
ESPECIFICOS
Identificar los conceptos básicos desarrollados en la unidad.
Dar solución a los ejercicios de proposiciones del lenguaje natura al
lenguaje simbólico.
Realizar ejercicios para determinar el valor de verdad de cada uno
de los ejercicios.
Elaborar de tablas de verdad y comprobarlas con el simulador Truth
Table.
Tarea 1 – Conectivos Lógicos y Teoría de Conjuntos
Ejercicio 1 Proposiciones
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
• Escriba la proposición compuesta propuesta en lenguaje natural.
El Papa Francisco estuvo sólo un día en Colombia si y solo si El Papa
Francisco estuvo en la Guajira Si y solo si El Papa Francisco vino a
Colombia, Entonces El Papa Francisco no estuvo sólo un día en Colombia.
• Determinar el valor de verdad de las proposiciones simples.
p: V
q: F
r: F
• Determinar el valor de verdad de la proposición compuesta
[(𝑟↔𝑞)↔𝑝]→¬𝑟
[( 𝐹 ↔ 𝐹) ↔ 𝑉] → ¬𝐹
[(𝑉 ↔ 𝑉)] → 𝐹
[(𝑉)] → 𝐹
𝐹
Ejercicio 2 Tablas de verdad
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
1. Definir las proposiciones simples del argumento.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
• Generar una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología, contingencia o
contradicción.
[(~𝑝 𝑉 𝑞)] ˄ 𝑟 → ~𝑟
~𝑟 [(~𝑝 𝑉 𝑞)] ˄ 𝑟 → ~𝑟
p q R ~𝑝 ~𝑝 𝑉 𝑞 [(~𝑝 𝑉 𝑞)] ˄ 𝑟
F F F V V F V V
F F V V V V F F
F V F V V F V V
F V V V V V F F
V F F F F F V V
V F V F F F F V
V V F F V F V V
V V V F V V F F
U= Estudiantes de la UNAD
A= Estudiantes que practican Danza
B= Estudiantes que practican música
C= Estudiantes que practican teatro
Ejemplo:
Siendo los conjuntos:
A: {1,2,3,4}
B: {2,3,5,6}
C: {3,4,6,7}
Como ejemplos tendríamos algunas de las siguientes operaciones entre
conjuntos:
𝐴 ∪ 𝐵: {1,2,3,4,5,6}
𝐴 ∪ 𝐶: {1,2,3,4,6,7}
𝐵 ∪ 𝐶: {2,3,4,5,6,7}
𝐴 ∩ 𝐶: {3,4}
𝐴 ∩ 𝐵: {2,3}
𝐵 ∩ 𝐶: {3,6}
𝐵 ∩ 𝐴: {2,3}
(𝐴−𝐵)∪(𝐵−𝐴)
A: (2, 8,12)
B: (2, 9, 12,16)
𝐴−𝐵: (8)
B−A: (9,16)
(𝐴−𝐵)∪ (𝐵−𝐴): (8, 9,16)
= 8+9+16
= 33
(𝐵∪𝐶)𝑐
B: (2, 9, 12,16)
C: (2, 16,22)
(𝐵∪𝐶)𝑐 = (2, 9, 12, 16,22) c= 7
𝐴∪𝐵∪𝐶
A: (2, 8,12)
B: (2, 9, 12,16)
C: (2, 16,22)
𝐴∪𝐵: (2, 8, 9, 12,16)
𝐵∪𝐶: (2,9, 12, 16, 22)
𝐴∪𝐵∪𝐶= (2, 8, 9, 12, 16,22)
= 69
CONCLUCIONES