GNU Aris Manual: sb

Next: , Previous: , Up: Equivalence Rules [Contents]


6.2.10 Subsumption

Also called absorption. This rule can be used in Boolean mode.

AltStyle によって変換されたページ (->オリジナル) /