Wikipedia:WikiProject Logic/Logical Operators
The following proposed project was moved to a subproject of WikiProject Logic:
Description : You know many of them: and, or, if...then, nor, etc. There are 16 binary logical operators. I thought the project would be too small for a formal wikiproject. There's just 16 of them. However, co-operation is needed from several disparate areas. I propose to see:
- A) the logical, grammatical, mathematic, and computer science applications all on the same page for the same concept.
- B) similar sections including truth table, venn diagram, properties (including theorems that demonstrate the properties), symbols (preferably from all the above disciplines).
- C) several merges including If and only if, logical biconditional, and logical equality; different pages for implication; logical NOR and NOR gate; others
- D) unifying main page and nav bar.