Pages that link to "Disjunction"
Jump to navigation
Jump to search
The following pages link to Disjunction:
Displaying 38 items.
- Disjunction elimination (← links)
- First-order logic (← links)
- Gottfried Wilhelm Leibniz (← links)
- If and only if (← links)
- False dilemma (← links)
- Logical connective (← links)
- Logic gate (← links)
- Primitive recursive function (← links)
- Polish notation (← links)
- Willard Van Orman Quine (← links)
- Many-valued logic (← links)
- George Boole (← links)
- Cox's theorem (← links)
- Alfred Tarski (← links)
- De Morgan's laws (← links)
- Conjunctive normal form (← links)
- Proposition (← links)
- Exclusive or (← links)
- Negation (← links)
- Necessity and sufficiency (← links)
- Smilax (← links)
- Description logic (← links)
- Horn clause (← links)
- Language poets (← links)
- Finitary (← links)
- Paraconsistent logic (← links)
- 2-satisfiability (← links)
- Complexity class (← links)
- New riddle of induction (← links)
- Computability logic (← links)
- Game semantics (← links)
- Material conditional (← links)
- Affirming a disjunct (← links)
- List of terms relating to algorithms and data structures (← links)
- Datalog (← links)
- Lindenbaum–Tarski algebra (← links)
- NL (complexity) (← links)
- Boolean data type (← links)