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 Logic. &mdash; Lord_Farin (talk) 12:14, 25 March 2016 (UTC)

The following pages need to be attended to:

Category:Definitions/Predicate Calculus

 * $\checkmark$ Definition:Alphabetic Substitution (updated links)
 * $\checkmark$ Definition:Argument (Predicate Calculus) (deleted in favour of Definition:Term (Predicate Logic))
 * $\checkmark$ Definition:Atomic WFF of Predicate Calculus (updated links, moved to Definition:Atomic WFF of Predicate Logic)
 * $\checkmark$ Definition:BNF Specification of Predicate Calculus (not used)
 * $\checkmark$ Definition:Bound Occurrence (updated links)
 * $\checkmark$ Definition:Classes of WFFs (updated links)
 * $\checkmark$ Definition:Classes of WFFs/Plain WFF (updated links)
 * $\checkmark$ Definition:Classes of WFFs/Sentence (updated links)
 * $\checkmark$ Definition:Free Occurrence (updated links)
 * $\checkmark$ Definition:Freely Substitutable (updated links)
 * $\checkmark$ Definition:Function Symbol (updated links)
 * $\checkmark$ Definition:Instance (slight rewrite, updated links)
 * $\checkmark$ Definition:Model (Logic)/Predicate Calculus (redirected tp Definition:Model (Predicate Logic), rewrite still due but unrelated to current scope)
 * $\checkmark$ Definition:Model for Predicate Logic (updated redirect to Definition:Model (Predicate Logic))
 * $\checkmark$ Definition:Occurrence (Predicate Calculus) (moved to Definition:Occurrence (Predicate Logic))
 * $\checkmark$ Definition:Plain Sentence
 * $\checkmark$ Definition:Plain WFF
 * $\checkmark$ Definition:Predicate Symbol (updated links)
 * $\checkmark$ Definition:Predicate WFF (deleted, superseded by Definition:WFF of Predicate Logic)
 * $\checkmark$ Definition:Relation Symbol
 * $\checkmark$ Definition:Scope (Logic)/Quantifier (updated links)
 * $\checkmark$ Definition:Sentence (page sucks, but is beyond scope of current effort)
 * $\checkmark$ Definition:Structure for Predicate Calculus (moved to Definition:Structure for Predicate Logic)
 * $\checkmark$ Definition:Substitution for Free Occurrence (updated links)
 * $\checkmark$ Definition:Term (Predicate Logic) (rewritten, redirected to LoPL subpage)
 * $\checkmark$ Definition:Universal Closure of Well-Formed Formula (updated links)
 * $\checkmark$ Definition:WFF with Parameters (deleted, obsolete)
 * $\checkmark$ Definition:Bottom-Up Specification of Predicate Calculus
 * $\checkmark$ Source review of Halmos to retarget links
 * $\checkmark$ Delete
 * Definition:Predicate Calculus
 * Definition:Predicate Calculus/Alphabet
 * Delete Definition:Individual Symbol (superseded by Definition:Term (Predicate Logic))
 * Delete Definition:WFF of Predicate Calculus (superseded by Definition:WFF of Predicate Logic)
 * Delete Definition:Abbreviation of WFFs of PredCalc (see delete template on page)
 * Delete Category:Definitions/Predicate Calculus

Category:Predicate Calculus

 * $\checkmark$ Extended Completeness Theorem (page sucks but is beyond scope)
 * $\checkmark$ Initial Part of WFF of PredCalc is not WFF (moved to Initial Part of WFF of Predicate Logic is not WFF)
 * $\checkmark$ Quantifier has Unique Scope
 * $\checkmark$ Truth Value Rules for Predicate Calculus (page sucks but is beyond scope)
 * $\checkmark$ Unique Readability Theorem of Predicate Calculus

These will be reordered and processed gradually. &mdash; Lord_Farin (talk) 17:56, 22 July 2016 (UTC)