Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apreciado Estudiante
(r → s) Ʌ (r → t)
(p Ʌ q) ↔ (q ꓦ r)
((p ∧ q) ꓦ ~p) → ~q
A. Expresión simbólica
[((r ∨ s) → s) ᴧ (r ∨ s)]→ s
P1:
P2:
Conclusión:
Ley utilizada:
B. Expresión simbólica
(∼r ᴧ s) → ∼r
P1:
Conclusión:
Ley utilizada:
C. Expresión simbólica
[(𝑟 ∨ (s ᴧ t)) ᴧ ∼ 𝑟] → (s ᴧ t)
P1:
P2:
Conclusión 1:
Ley utilizada:
D. Expresión simbólica
P1:
P2:
Conclusión 1:
Ley utilizada:
E. Expresión simbólica
[(p∨ r ) ∧ (p → t) ∧ (r → s) ] → ( t ∨ 𝑠)
P1:
P2:
P3:
Conclusión:
Ley utilizada:
A partir del argumento en lenguaje simbólico deberá dar respuesta a
los
siguientes ítems:
Demostración
P1: p
P2: (q v ~p) Premisas dadas
P3: (q →r)
Premisas Ley aplicada Premisas usadas
P4: q P1, P2
P5: r MODUS PONNENDO
PONNENS (MPP)
P6: (p ᴧ r) P1, P5
B. Expresión simbólica:
[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ᴧ ~r)
Demostración
P1: (p → q)
P2: (q →r) Premisas dadas
P3: q
P4: (~r ∨ ~q)
Premisas Ley aplicada Premisas usadas
P5: p → r P1, P2
P6: ~r MODUS TOLLENDO PONNENS
(MTP)
P7: ~p P5,P6
P8: (~p ᴧ ~r) LEY DE ADJUNCIÓN (LA)
Demostración
P1: (r→ s)
P2: (s →t) Premisas dadas
P3: (r ∧ t)
Premisas Ley aplicada Premisas usadas
P4: (r→ t) P1, P2
P5: r LEY DE SIMPLIFICACIÓN (LS)
P6: t P4, P5
P7: t ∧ r LEY DE ADJUNCIÓN
Demostración
P1: (p→∼q)
P2: (∼q →r) Premisas dadas
P3: (q ∧ ~r)
Premisas Ley aplicada Premisas usadas
P4: (p →r) P1, P2
P5: ~r LEY DE SIMPLIFICACION
P6: ~p P4, P5
P7: ~p v q LEY DE ADICION
Nota:
Apreciado estudiante, tenga en cuenta que la valoración máxima de
esta actividad es de 125 puntos, para aprobar deberá lograr una
calificación superior o igual a 75 puntos.