2017-10-21から1日間の記事一覧
定義32 "(a)→(b)"、"(a)∧(b)"、"(a)⇄(b)"、"∃x(a)"を得る関数 (define (Implies a b) (Or (Not a) b)) (define (And a b) (Not (Or (Not a) (Not b)))) (define (Equiv a b) (And (Implies a b) (Implies b a))) (define (Exists x a) (Not (ForAll x (Not a…