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