Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them. Click on a line to select it. Select one or more lines, apply the appropriate rule off the Rules menu. (Click 'Derive It' off the Wizard Menu, if you want help).
If you can see this, your browser does not understand IFRAME.