Buy Me a Coffee at ko-fi.com

Absorption

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

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