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

Revision as of 00:39, 15 December 2009

Latest revision as of 02:47, 15 July 2025

(9 intermediate revisions by 8 users not shown)

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 171:

|-

|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

|[[Double turnstiletu]]

|-

|True, [[Tautology (logic)|tautologytu]]

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

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

|{{true}}

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

'''

|\top

|[[Teem (symboll)]]

|-

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