toIPA
Home
Blog
Category
Absorption
inference rule where, given P→Q, one deduces P→(P∧Q)
Pronunciation
/əbˈzɔrpʃən/
/əbˈzɔːpʃən/
Categories
rule of inference
theorem