This is the Proof Machine in sandbox mode. See below for specific problems in fixed mode.
Proof Machine (Sandbox Mode)
| 1. | |||
| 2. | |||
| 3. | |||
| 4. | |||
| 5. | |||
| 6. | |||
Messages
Below you can find specific problems in fixed mode (non-sandbox).
BOOL:
- Premise: P&Q. Conclusion: Q&P.
- Premise: ~~(~~P&Q)&~R. Conclusion: P.
- Premise: P&(Q&R)&S. Conclusion: (RvT)&(RvU).
- Premise: ~~~P. Conclusion: (~Pv~Q)v(RvS).
- Premise: ~~Pv~~P. Conclusion: P.
- Premise: Av(B&C). Conclusion: CvA.
- Premise: ~A. Conclusion: ~~~A.
- Premise: ~B. Conclusion: ~(A&B).
- Premise: PvQ and Premise: ~Q. Conclusion: Pv~R.
- Premise: ~~P&(~~Q&R)&S. Conclusion:TvQ.
- Premise: (P&~P)v(Q&~Q)v(R&~R). Conclusion: #.
- Premise: ~P and Premise: Q. Conclusion: ~(Pv~Q).
- Premise: ~(~CvD). Conclusion: C&~D.
- Conclusion: ~Pv~(Q&~(P&Q)). (No premises.)
