Florida The main article for this category is Well-formed formula. Subcategories This category has only the following subcategory. R Rules of inference (43 P) Pages in category "Logical expressions" The following 21 pages are in this category, out of 21 total. This list may not reflect recent changes. Well-formed formulaA Atomic formulaC Cirquent calculus Cornish–Fisher expansionE Expression (mathematics)G Ground expressionO Open formulaP Polish notation Proposition Propositional formula Propositional functionR Rule of inference Rule of replacementS SequentT T-schema Tautology (logic) Term graph Theorem Theory (mathematical logic)U Universal quantificationW WFF 'N PROOF