chess image
POL WEB TUTOR
MENU
pointer graphic ABOUT THIS SITE
pointer graphic BUG WEBMASTER
pointer graphic HELP WITH PROOFS
pointer graphic MAIN MENU
pointer graphic WEB SITE BY ...
   
image

Proof Checker
Example

Prove this   
1.  P→~Q               
2.  R→Q∴P→~R
Enter proof in the box at right

 © Logic Pedallers and McGraw-Hill 2012 –

[Program run on 490276.oasistravelhk.tech -- debugging info shown below]
cookie : pageout=; path=/; expires=Sat, 30-Nov-2024 03:30:14 GMT