Biconditional elimination (Q4903712)
Jump to navigation
Jump to search
Inference in propositional logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Biconditional elimination |
Inference in propositional logic |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Biconditional elimination
- eswiki Eliminación del bicondicional
- kowiki 쌍조건문 소거
- ptwiki Eliminação bicondicional