1. p ! ¬q, r !

q, p ` EQUIVALENCIAS NOTABLES, AXIOMAS

<latexit sha1_base64="GLbXMg7azutlm36bEZPcMgod4wo=">AAAIA3icrVU7bxQxEHaA3IXwSqCksUgi3Ukhuo2QoIxEA12QCInIniKvz3dnZdfrtb05RadIFDTwUygRLT+E30FBi+19eR+JKNhqdjzzzTfjz3bAQyrVaPRr5dbtO6u9/trd9Xv3Hzx8tLH5+IOMU4HJEY7DWJwESJKQMnKkqArJCRcERUFIjoPz12b9+IIISWP2Xl1yMo7QjNEpxUhp19nm6m/oB2RG2ZKwNCICKXK1DqFPFYngNvcFnc0VEiJeQD9ksYLJrg+F6zYO7uuUiwmSc7i9XiRn8dzXFNpZOZibV9YMEZvYjCxowGHmyn7F0G/lFIFuXDI0xEqUBFoiosYU1riWhcpUeRN56btIBXvYEWjQ8vLaTNoRxi070GqhZS8D0eozt3mTaY1jDpqWOCrDSW27bpooxya7yWb50uWhhuVonQ40HdM3b1ZI7HSvG4RJUbAkoUprcZOGdNmdLuEm/q4mUB+M6V0Xsa23eQwULJbhIKltqTCufDa1hcWwQ1f5TsmyAZdYAWNLFeK2AtGO7N/slXJSqm1O25PgHZvdrlqwTxqnylaqmCyagxkkmYKHVS8NcpXaXAFUjdREl7v/k/QsiqG3cNTQqYXmCflnIfiwIYSKaF0H2X3YcTVcN82OC4Fffzy6amZcF/mO2nFUHPQgCJu49/vZxtZob2Q/2Da83Ng62Ab2Ozzb+ONPYqzzmcIhkvLUG3E1XiKhKA41oJ9KwhE+RzNyqk2GIiLHS/s6XcGdqTnNcwLtvxu7RJGUl1GgYyKk5rKGE1AllXnKnuO5LkTEeGmCJkTSGbtqwpilTphUTV+Nl5TxVBGGdYhem6YhVDE07yGcUEGwCi+1gbCguiFo6iGsK0ozKa85l7ZxvL/nvdjzvHf7Wwdvs5mBNfAUPAMD4IGX4AC8AYfgCODex96n3pfe1/7n/rf+9/6PLPTWSp7zBNS+/s+/zYmtxw==</latexit>

Y REGLAS DE
2. ¬p _ q, r ! ¬q ` INFERENCIA
3. p ^ q, ¬(p ^ ¬r) `

4. ¬(p ^ ¬q), p, ¬q _ r `

5. ¬(p ^ q), p, s _ q, r ! ¬s `

6. p ! ¬s, p _ r, q ! ¬r, s `

7. q ! p, ¬(r ^ ¬q), ¬p, r ! s `

8. u, ¬(t ^ u), p ! r, ¬s ! ¬r, ¬(s ^ ¬t) `

9. r _ p, p ! q, s ! ¬r, s _ t, ¬t, ¬w ! ¬q ` Obtener la

conclusión más
10. r ^ s, ¬p ! (¬s _ ¬r), q _ ¬u, t ! ¬p, u ! ¬p ` exhaustiva y
11. ¬p ! (¬q ^ ¬r), t _ ¬w, s ! (q _ r), ¬p, t ! s ` parsimoniosa
de los siguientes
12. ¬u, ¬(t ^ ¬u), p ! r, ¬s ! ¬r, ¬(s ^ ¬t), p _ w ` argumentos
usando la
13. p ! q, r ! (t _ u), s ! ¬(t _ u), q ! r, ¬s ! w, p ` notación en
columna:
14. p ! (q _ r), q ! ¬p, s ! ¬r, ¬s ! ¬(w ^ t), p `