GNU Aris Manual: sn

Previous: , Up: Boolean Rules [Contents]


6.4.4 Symbol Negation

Symbol Negation claims that a tautology is the opposite of a contradiction.

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