2017-12-19から1日間の記事一覧
定義21 "¬(a)"または"(a)∨(b)"または"∀v(a)"である (: IsNotOp (-> GSequence GSequence Boolean)) (define (IsNotOp x a) (= x (Not a))) (: IsOrOp (-> GSequence GSequence GSequence Boolean)) (define (IsOrOp x a b) (= x (Or a b))) (: IsForallOp (-…