Talk:Table of logic symbols
From Wikipedia, the free encyclopedia
Contents |
[edit] Re. to math table
This page is a trimmed version of Table of mathematical symbols. -Chira 15:46, 20 August 2005 (UTC)
- We should add a few more operators here, in particular modalities, strict implication, and maybe the operators from linear logic. --- Charles Stewart 20:10, 23 August 2005 (UTC)
- Do you see this table developing independently of Table of mathematical symbols? Paul August ☎ 21:59, August 31, 2005 (UTC)
- What are the origin of the THEREFORE and BECAUSE signs? The three-dot triangles I mean. Evertype 15:41, 14 September 2005 (UTC)
-
-
- I hope somebody can answer that last point. I was trying to find out which character sets support the "therefore" symbol, and found it doesn't seem to be mentioned anywhere in Wikipedia – at least not anywhere obvious or findable by using the search tool on "therefore symbol". – Kieran T (talk | contribs) 14:18, 23 July 2006 (UTC)
-
The turnstile ("|-") symbols should be included here.
[edit] Regarding the Logic Symbols
To take care of the problem with the symbol fonts displaying differently on different browsers, why not make the symbols into image files? This would ensure that everyone (regardless of their browser) can view the symbols. I find it difficult to understand the logic of having a logic table that you may or may not be viewing properly. 64.95.214.18 17:46, 20 December 2005 (UTC)Anonymous
[edit] Overscore
'Twould be nice to include the overscore as a way of indicating logical negation/complementation. —12.72.71.7 12:50, 27 July 2006 (UTC)
[edit] Incomplete
This article's listing of logic symbols is incomplete. I noticed that a while back, but I was too lazy to fix it. I'll fix it now. Robocracy 11:46, 22 October 2006 (UTC)
