Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions
Content deleted Content added
Hans Adler (talk | contribs) →Common basis for syntax and semantics: new column for preferred meaning |
Hans Adler (talk | contribs) |
||
Line 243:
|
|}
'''Note:''' Nullary function symbols are constant symbols, and nullary predicate/relation symbols are propositional/sentential symbols. What differs about first-order logic between authors is 1) whether constant symbols are called (nullary) function symbols, and 2) whether proposition symbols are even allowed.
===Syntax===
| |||