SOLUCIÓN DE EJERCICIOS
2 Use las reglas de sustitución para verificar que cada una de las siguientes proposiciones es tautología. (En este caso p, q y r son proposiciones primitivas.)
a) [p ∨ (q ∧ r)]∨¬[p ∨ (q ∧ r)]
b) [(p ∨ q)→r]↔[¬r→¬(p ∨ q)]
c) [[(p ∨ q)→r] ∨ (s ∧ t)] ↔ [[[(p ∨ q) →r] ∨ s] ∧ [[(p ∨ q)→r]∨t]]
Solución:
Solución 1: Canal
¿Te sirvió el ejercicio? Compártelo
¿Tienes Dudas u otra solución que agregar? Comenta
¿El ejercicio aún no está resuelto? Solicítalo comentando aquí y nuestra comunidad lo resolverá rápidamente. Si tienes la solución ¡Envíala! La comunidad estará agradecida.
¿Quiéres el ejercicio resuelto en menos de 48 horas? Paga desde $US 4 (4 DÓLARES) vía PayPal o desde $ 10.000 pesos (colombianos) vía Nequi si estás en Colombia, comunicándote al whatsapp +573203806207 para confirmar pago, y tendrás el ejercicio resuelto.
Un comentario en “Use las reglas de sustitución para verificar que cada una de las siguientes proposiciones es tautología. (En este caso p, q y r son proposiciones primitivas.) a) [p ∨ (q ∧ r)]∨¬[p ∨ (q ∧ r)] b) [(p ∨ q)→r]↔[¬r→¬(p ∨ q)] c) [[(p ∨ q)→r] ∨ (s ∧ t)] ↔ [[[(p ∨ q) →r] ∨ s] ∧ [[(p ∨ q)→r]∨t]] ”