2008-03-28 ムーア閉包 論理 復習 抽象証明系 - 檜山正幸のキマイラ飼育記 メモ編 ムーア閉包は、 単調(monotone) 増大(isotonic) ベキ等(idempotent) な演算。公理は3つ。