•P ˅ q →˜r
•P ˄ q →˜ (p ˄ r)
•˜ p → ˜ r
a.

Taller 1

  • 1.
    •P ˅ q→˜r •P ˄ q →˜ (p ˄ r) •˜ p → ˜ r
  • 3.