User:Lord Farin/Sandbox

This page exists for me to be able to test features I am developing. Also, incomplete proofs may appear here.

Feel free to comment.

Over time, stuff may move to User:Lord_Farin/Sandbox/Archive.

Subpages of this one may exist; they are listed at this PW special page.

Predicate logic
This stuff has been nagging me for a long time now. I will start working on a new page to replace Definition:Predicate Calculus. See User:Lord_Farin/Sandbox/Definition:Language of Predicate Calculus. &mdash; Lord_Farin (talk) 12:14, 25 March 2016 (UTC)