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

Revision as of 14:56, 8 April 2009

Latest revision as of 02:47, 15 July 2025

(18 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 221 ⟶ 224:

|signature

|signature

|a set of non-logical symbols with specified arities

|-

|non-logical symbol, non-logical constant

Line 240 ⟶ 243:

|-

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

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

|???

|

|}

Line 316 ⟶ 319:

|-

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

|propositional logic

|

|-

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