3 ms·
Yes, for the same reason that if you want to do logic, you'll need both the "and" and "or" operators; neither "and" nor "or" alone suffice.
by bobbylarrybobby 5y ago
Yes, for the same reason that if you want to do logic, you'll need both the "and" and "or" operators; neither "and" nor "or" alone suffice.
- Hercuros 5y agoThis is not true for classical logic, because AND can be written using NOT and OR using DeMorgan's law.
- kd0amg 5y agoOR alone is insufficient because you still need NOT (or AND and ⊥). You can also encode sum-like behavior using negation and products (a continuation consuming a pair of continuations).