「10.8.4 変数・記号・論理式」の続き 定義21 "¬(a)"または"(a)∨(b)"または"∀v(a)"である とりあえずそのまま (define (IsNotOp x a) (= x (Not a))) (define (IsOrOp x a b) (= x (Or a b))) (define (IsForallOp x a) (∃ v ≦ x (and (IsVar v) (= x (ForAl…