absorption

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

en-US/əbˈsɔɹpʃən/
en-GB/əbˈsɔːpʃn/

หมวดหมู่:

rule of inferencetheorem