Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions
Content deleted Content added
Hans Adler (talk | contribs) →Syntax: intro, move |
Hans Adler (talk | contribs) →Unsorted: ... move |
||
Line 304:
! Terminology used
! Preferred Terminology
|-
|propositional logic, sentential logic, propositional calculus, sentential calculus, statement logic, statement calculus
|
|-
|first-order predicate logic, first-order logic, predicate logic,
|