2017-12-26から1日間の記事一覧
定義36 xは公理IIから得られる"論理式"である (define (IsAxiomII [x : GForm]) : Boolean (or (IsSchemaII 1 x) (IsSchemaII 2 x) (IsSchemaII 3 x) (IsSchemaII 4 x))) 定義37 zは、yの中でvが"自由"な範囲に、"束縛"された"変数"を持たない (define (IsNo…
定義36 xは公理IIから得られる"論理式"である (define (IsAxiomII [x : GForm]) : Boolean (or (IsSchemaII 1 x) (IsSchemaII 2 x) (IsSchemaII 3 x) (IsSchemaII 4 x))) 定義37 zは、yの中でvが"自由"な範囲に、"束縛"された"変数"を持たない (define (IsNo…