disjunction introduction (Q5282267)
Jump to navigation
Jump to search
inference introducing a disjunction in logical proofs
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | disjunction introduction |
inference introducing a disjunction in logical proofs |
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- enwiki Disjunction introduction
- eswiki Introducción de la disyunción
- fawiki معرفی فصل
- frwiki Introduction de la disjonction
- jawiki 論理和の導入
- kowiki 선언 도입
- ptwiki Introdução da disjunção
- svwiki Eller-introducering