Florida The main article for this category is Substitution (logic). Pages in category "Substitution (logic)" The following 3 pages are in this category, out of 3 total. This list may not reflect recent changes. Substitution (logic)C Capture-avoiding substitutionE Explicit substitution