Revision as of 00:42, 15 December 2009 edit Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits →Metalogical Symbols: more appt link ← Previous edit		Revision as of 15:34, 16 January 2022 edit undo SpiralSource (talk \| contribs) Extended confirmed users 1,592 edits →Unsorted Tag: 2017 wikitext editor Next edit →
Line 316: \|- \|propositional logic, sentential logic, propositional calculus, sentential calculus, statement logic, statement calculus \|propositional logic \| \|- \|first-order predicate logic, first-order logic, predicate logic,

Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions