Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Presentado a:
Prof: MARLON OSORIO GARCIA
Ser más sociable e interactuar con los compañeros del grupo el desarrollo de las
actividades
Actividades a desarrollar
Tarea 1: Proposiciones
Transcribir en el lenguaje natural la expresión formal que se relaciona y
determinar el valor de verdad de la proposición compuesta, a partir del
valor de verdad de cada proposición simple:
A. p: El estadio del Deportivo Cali se llama “Palmaseca”
q: Un equipo de futbol lo componen 12 jugadores
(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
A: Un estadio del deportivo Cali se llama Palmaseca y un equipo de futbol lo
componen 12 jugadores. Si y solo si el estadio del deportivo Cali no se llama
Palmaseca o un equipo de futbol no lo componen 12 jugadores.
¬(𝒑⋀𝒒) ↔ (¬𝒑∨𝒒)
Proposición compuesta en lenguaje Natural:
Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil
2014y Colombia no llegó a la semifinal de la copa mundial de Brasil 2014, si y
solo si Falcao García no fue el mejor jugador de Colombia en la copa mundial de
Brasil 2014 o Colombia llegó a la semifinal de la copa mundial de Brasil 2014.
p: f q: f
¬(𝑝⋀𝑞) ↔ (¬𝑝 ∨ 𝑞)
¬(𝐹⋀𝐹) ↔ (𝑉 ∨ 𝐹)
¬(𝐹) ↔ (𝑉)
𝑉↔𝑉
𝑉
D.
p: El año 2020 será un año bisiesto
q: En un año bisiesto febrero tiene 29 días
r: Los años bisiestos se dan cada dos años
[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
D: El año 2020 será un año bisiesto entonces en un año bisiesto febrero tiene 29
días. Por esto los años bisiestos se dan cada dos años. Si y solo si, en un año
bisiesto febrero no tiene 29 días. O los años bisiestos se dan cada dos años.
E. p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno
(𝑝∧¬𝑞) →(¬ 𝑝)
(P->Q) ⋀ (Q->R)
TIPO DE ARGUMENTO CONTINGENCIA
P Q R P-> Q Q-> R (P->Q) ⋀ (Q->R)
V V V V V V
V V F V F F
V F V F V F
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V
B. El sol es redondo y la luna es un satélite si y solo si la tierra hace parte
de la vía láctea.
P: El sol es redondo
Q: luna es un satélite
R: La tierra hace parte de la via láctea
(P ⋀Q) <->R
TIPO DE ARGUMENTO CONTINGENCIA
P Q R P^Q (P ⋀Q)<->R
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V
C. Si tengo una moto y no tengo licencia; y los policías me paran entonces
me harán una multa
P: tengo una moto
Q: tengo licencia
R: los policías me paran
T: Me multan
[(P ⋀ ~Q) ⋀ R] -> T
TIPO DE ARGUMENTO CONTINGENCIA
V V V V F F F
V V V F F F V
V V F V F F F
V V F F F F V
V F V V V V V
V F V F V V V
V F F V V F F
V F F F V F V
F V V V V V V
F V V F V V V
F V F V V F F
F V F F V F V
F F V V F F F
F F V F F f V
F F F V F F
F f F f F V
V V V F V V V
V V F V V F F
V V F F V F F
V F V V F F V
V F V F F V V
V F F V F F V
V F F F F F V
F V V V F F V
F V V F F V V
F V F V F V V
F V F F F F V
F F V V F F V
F F V F F V V
F F F V F F V
F F F F F F V
E. Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y
abril no tiene 31 días.
V V V V F V F F
V V V F V V V V
V V F V F V F F
V V F F V V F F
V F V V F F F V
V F V F V F V V
V F F V F F F V
V F F F V F F V
F V V V F F F V
F V V F V F V V
F V F V F F F V
F V F F V F F V
F F V V F F F V
F F V F V F V V
F F F V F F F V
F F F F V F F V
La solución de los enunciados debe contar con las siguientes etapas:
Expresión en lenguaje simbólico o formal.
Generar la tabla de verdad manualmente y a través del
simulador Truth Table.
A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)
p: La matemática es un arte
q: La matemática es fácil de aprender
r: La matemática es una ciencia
s: la matemática hay que estudiarla
P1: (𝑝⟶𝑞)
P2: (𝑟V𝑠)
P3: (𝑟⟶t)
P4: (~q)
P5: (u⟶t)
P6: (s⟶p)
P7: (s⟶q) S.H. (p1,p7)
P8: (s⟶q) ∧ (𝑟⟶t) Adición (P3,P7)
P9: (q⟶t) DC (P8,P2)
P10: t S.D
∴t
La expresión es Tautología
Conclusiones
Referencias bibliográficas
https://youtu.be/nVfZ6u9hoFc