Buy Me a Coffee at ko-fi.com

Absorption

inference rule where, given P→Q, one deduces P→(P∧Q)

Pronunciation
/əbˈzɔːpʃən/
/əbˈzɔrpʃən/