A subproject of WikiProject Logic for the purpose of expanding, and integrating the articles describing the Logical Operators.
There are 16 binary logical operators. The concept behind each of them is applied in various disparate fields: ( logic, mathematics, grammar, computer science, linguistics). Each of the sixteen has the potential to reach featured article status with time and effort.
I propose to see:
Tautology | Nand | Material Implication | not p |
---|---|---|---|
| |||
Converse implication | not q | Material Equivilence | Joint Denial |
| |||
Inclusive Disjunction | Exclusive Disjunction | q | Converse nonimplication |
| |||
p | Material Nonimplication | Conjunction | Contradiction |