absorption (Q4669893)
Jump to navigation
Jump to search
inference rule where, given P→Q, one deduces P→(P∧Q)
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | absorption |
inference rule where, given P→Q, one deduces P→(P∧Q) |
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Absorption (Logik)
- enwiki Absorption (logic)
- eswiki Absorción (lógica)
- ptwiki Absorção (lógica)
- shwiki Apsorpcija (logika)
- srwiki Апсорпција (логика)