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


6.2 Equivalence Rules

Equivalence rules operate on any valid part of the sentence, and work both ways. Each equivalence rule requires one reference.

im: Implication
dm: DeMorgan
as: Association
co: Commutativity
id: Idempotence
dt: Distribution
eq: Equivalence
dn: Double Negation
ep: Exportation
sb: Subsumption
Recursion: Recursion in the equivalence rules

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