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

Revision as of 14:30, 8 April 2009

Latest revision as of 02:47, 15 July 2025

(23 intermediate revisions by 11 users not shown)

Line 72:

| {{and}}

|'''{{tl|and}}'''

| &\And

| [[Logical conjunction]]

|-

Line 113:

|'''{{tl|nand}}'''

| \uparrow

| [[Sheffer stroke|Alternative denial (nandNand)]]

|-

| Exclusive disjunction

Line 156:

! Name

! Description/Usage

! Symbol(sP)

! Preferred Symbol(sP)

! Template

! <nowiki><math></nowiki>

Line 163:

|-

|Definition

|X <math>X\stackrel{\rm def}{=}y_1,y_2,\dots</math> y₁,y₂,...

|&nbsp;<math>\stackrel{\rm def}{=}</math>

|<math>\stackrel{\rm def}=</math>

|{{define}}

|none

|'''{{tl|define}}'''

|\stackrel{\rm def}{=}

|[[Definition]]

|-

|Theorem

|<math> X \vdash Y </math>, <math>\vdash Z </math>, <math>A \vdash_S Xvdash_xo</math>

|{{teem}}

|{{teem}}

|'''{{tlml|teem}}'''

|\vdash

|[[Turnstile (symbol)]]

|-

|Semantic Entailment

|<math>A \models_L Xmodels_xo</math>, <math>\models Xmodelxo</math>

|<math>\models</math>

|{{models}}

|'''{{tlml|models}}'''

|\models

|[[LogicalDouble implicationtu]]

|-

|True, tautology[[Tautology (logic)|tu]]

|&nbsp;<math>\vDash \top</math>

|<math>\top</math> or T or 1

|{{true}}

|'''{{tl|true}}'''

'''

|\top

|[[Tautologym (logicl)]]

|-

|False, contradiction

|&nbsp;<math>\vDash \neg\bott</math>

|<math>\bott</math> or F or 0

|{{false}}

|'''{{tl|false}}'''

[[:Category:Year of birth missing (living people)]]

|\bot

'''

|[[Logical value]]

|\

|[[]]

|}

Line 216 ⟶ 219:

|-

! Terminology used

! Preferred Terminologyterminology

! Preferred meaning

|-

|signature

|propositional variable, propositional letter, propositional symbol, sentential variable, sentential letter, sentential symbol

|signature

|

|a set of non-logical symbols with specified arities

|-

|Nonnon-logical symbol, non-logical constant

|non-logical symbol

|

|any of the symbols below

|-

|function letter (arity >0), operation letter/symbol (arity >0), function symbol (arity ≥0), function symbol (arity >0)

|function symbol

|either arity >0, i.e. excl. constant symbols,<br>or arity ≥0, i.e. including constant symbols

|-

|individual constant, constant, (individual) constant symbol, constant symbol

|constant symbol

|

|-

|predicate letter (arity >0), predicate symbol (arity ≥0), relation symbol (arity >0)

|predicate symbol or relation symbol

|

|either arity >0, i.e. excl. symbols below<br>or arity ≥0, i.e. including symbols below

|-

|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)

|in propositional/sentential logic:<br>prop./sent. variable<br>in first-order logic:<br>nullary predicate/relation symbol

|

|-

|signature

|

|}

'''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===

Line 308 ⟶ 319:

|-

|propositional logic, sentential logic, propositional calculus, sentential calculus, statement logic, statement calculus

|propositional logic

|

|-

|first-order predicate logic, first-order logic, predicate logic,