disjunction introduction
Sign in to saveinference introducing a disjunction in logical proofs
Wikidata facts
- Instance of
- theorem
Show 2 more facts
- admissible rule in
- propositional calculus
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0