定義43 xはaとbの"直接の帰結"である (define (IsConseq x a b) (or (= a (implies b x)) (∃ v ≦ x (and (IsVar v) (= x (ForAll v a)))))) ところで推論規則って、これだけで足りるんですか 論理学とか見ると、もっといろいろ書いてあるっぽいんですけど 推…