Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions
Content deleted Content added
Hans Adler (talk | contribs) |
Hans Adler (talk | contribs) →Common basis for syntax and semantics: suggestions |
||
Line 224:
|non-logical symbol
|-
|function letter (arity >0), operation letter/symbol (arity >0), function symbol (arity ≥0), function symbol (arity >0) ▼
|propositional variable, propositional letter, propositional symbol, sentential variable, sentential letter, sentential symbol ▼
|function symbol (arity either >0 or ≥0, i.e. excluding or including constant symbols)
|-
|individual constant, constant, (individual) constant symbol, constant symbol
Line 231:
|-
|predicate letter (arity >0), predicate symbol (arity ≥0), relation symbol (arity >0)
|predicate symbol or relation symbol
|-
▲|propositional variable, propositional letter, propositional symbol, sentential variable, sentential letter, sentential symbol
▲|function letter (arity >0), operation letter/symbol (arity >0), function symbol (arity ≥0), function symbol (arity >0)
|???
|}
| |||