Revision as of 14:25, 8 April 2009 edit Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits →Common basis for syntax and semantics: intro ← Previous edit		Revision as of 14:27, 8 April 2009 edit undo Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits →Syntax: intro, move Next edit →
Line 238: ===Syntax=== The terms in the following table are used when working with syntax and are only marginally related to semantics. {\| class="wikitable" \|- Line 244 ⟶ 246: \|- \|logical connective, connective, logical operator, propositional operator, truth-functional connective, logical connective symbol \| \|- ~~\|propositional logic, sentential logic, propositional calculus, sentential calculus, statement logic, statement calculus~~ \| \|-

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