disjunction elimination
Sign in to saveRule of inference of propositional logic
Wikidata facts
- Instance of
- rule of inference
Show 2 more facts
- admissible rule in
- propositional calculus
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0