Documentos de Académico
Documentos de Profesional
Documentos de Cultura
90004_510
Lógica Matemáticas
UNAD
Descripción del ejercicio:
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ 𝑠
P = las tics Organizan eventos sin amino de lucro.
Q= ofrece servicio a las 24 horas del día.
R= los mejores Software-Hardware con Mantenimiento y programas preinstalados.
S= con objetivo de mejorar la alfabetización y los hábitos de estudios en la población.
Las “tics” Organizan eventos sin amino de lucro. Entonces, ofrece servicio a las 24 horas
del día. O los mejores Software-Hardware con Mantenimiento y programas preinstalados.
Y los mejores Software-Hardware con Mantenimiento y programas preinstalados Entonces
las “tics” No Organizan eventos sin amino de lucro Y las “tics” Organizan eventos sin
amino de lucro Y con objetivo de mejorar la alfabetización y los hábitos de estudios en la
población Entonces ofrece servicio a las 24 horas del día. Y con objetivo de mejorar la
alfabetización y los hábitos de estudios en la población.
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
P Q R S (𝑝 → (𝑞 → 𝑟) (𝑝 ∧ [(𝑝 → 𝑞) ∧ ( 𝑞 → 𝑟) ∧ [(𝑝 → 𝑞) ∧ ( 𝑞 → 𝑟) ∧
𝑞) 𝑠) (p∧s)] (p∧s)] →(r)
V V V V V V V V V
V V V F V V F F F
V V F V V F V V F
V V F F V F F F F
V F V V F V V V V
V F V F F V F F F
V F F V F V V V F
V F F F F V F F F
F V V V V V V V V
F V V F V V V V V
F V F V V F V F F
F V F F V F V F F
F F V V V V V V V
F F V F V V V V V
F F F V V V V V F
F F F F V V V V F
Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
P1=(p→ 𝑞) ∨ r
P3= p ∧ s
P4= s simplificación en p3
P5= p simplificación en p3
P9= q ∧ s conjunción p8 y p4
P2= r→∼ p
P5= p
.: = ∼ r
P1=( ) ∨ r
P1= r ∨ =(p→ 𝑞)
P6 = ∼ r
.: = p→ 𝑞
P7= p→q
P5= p
.: = q