Talk:List of logic symbols
This article is rated List-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
Removing the advanced and rarely used logical symbols section
[edit]Philosophy.dude back in 2009 added a number of what are supposedly rarely used logical symbols, but I can't seem to find any support for many of them actually being used in the way he described them at all. I propose removing the entire section unless he or someone else can find some sources for them. AlphabeticThing9 AlphabeticThing9 (talk) 03:18, 4 December 2023 (UTC)
- I have found the source. Apparently they come from unicode tables. I'm not 100% sure that whoever wrote those descriptions for the unicode table actually understood the symbols, but they at least aren't uncorroborated fictions. AlphabeticThing9 (talk) 18:05, 4 January 2024 (UTC)
I think we should remove some symbols
[edit]They are:
∁ , because it's set theory and not used in logic well-formed formulae or metalogic (eg. ⊢).
⊙ , we should either merge this with "material equivalence" or remove it.
The ⊥ ↓ entry in the "advanced and rarely used symbols". I have never seen ⊥ used that way. In every textbook I have seen, ⊥ means "false". So I think this entry confuses people who would read this page. Also it's redundant because there is already an entry for Pierce's arrow ↓. ElskverdigHug (talk) 12:48, 4 January 2024 (UTC)
Add the symbols of all quantum logic gates
[edit]Sources:
List of quantum logic gates 78.190.206.36 (talk) 14:32, 5 December 2024 (UTC)
- List-Class mathematics articles
- Mid-priority mathematics articles
- List-Class Philosophy articles
- Mid-importance Philosophy articles
- List-Class logic articles
- Mid-importance logic articles
- Logic task force articles
- List-Class Typography articles
- Mid-importance Typography articles
- List-Class Writing system articles
- Mid-importance Writing system articles