Revision as of 00:38, 15 December 2009 edit Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits m →Metalogical Symbols: apt link ← Previous edit		Revision as of 00:39, 15 December 2009 edit undo Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits →Metalogical Symbols: fx Next edit →
Line 176: \|'''{{tl\|tee}}''' \|\vdash \|[[~~Tee~~Turnstile (symbol)]] \|- \|Semantic Entailment Line 184: \|'''{{tl\|models}}''' \|\models \|[[~~Logical~~Double ~~implication~~turnstile]] \|- \|True, [[Tautology (logic)\|tautology]] \| <math>\vDash \top</math> \|<math>\top</math> or T or 1 Line 192: \|'''{{tl\|true}}''' \|\top \|[[~~Tautology~~Tee (~~logic~~symbol)]] \|- \|False, contradiction

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