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

Revision as of 20:45, 23 June 2023

Revision as of 14:00, 12 May 2025

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

|'''{{tll|truetu}}'''

|\top

|[[Teem (symboll)]]

|-

|False, contradiction

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

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

|{{false}}

|'''{{tll|false}}'''

|\bot

|[[Falsum]]

|}