disjunction elimination (Q5282265)
Jump to navigation
Jump to search
Rule of inference of propositional logic
Language | Label | Description | Also known as |
---|---|---|---|
English | disjunction elimination |
Rule of inference of propositional logic |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(6 entries)
- enwiki Disjunction elimination
- eswiki Eliminación de la disyunción
- frwiki Élimination de la disjonction
- jawiki 論理和の消去
- kowiki 선언 소거
- ptwiki Eliminação da disjunção