Solutions to Constructing proofs of arguments in QL
Proof 5
| 1. | (x)(Mx ⊃ ~Px) | premise | |
| 2. | (x)(Sx ⊃ Mx) | premise | |
| 3. | flag a | Flagging restriction for U.G. | SP1 |
| 4. | Ma ⊃ ~Pa | U.I., 1 | SP1 |
| 5. | Sa ⊃ Ma | U.I. 2 | SP1 |
| 6. | Sa ⊃ ~Pa | H.S. 4, 5 | SP1 |
| 7. | (x)(Sx ⊃ ~Px) | U. G. 3-6 |