13/10/16 12:38:36.85
>>283
>論理式全ての集合が限定されてない点です
あらかじめ決めた構成法で得られる形に、なっているか、なっていないかは
記号列の形を見れば、機械的に判定できるよ。別の言い方だと「アルゴリズムが存在する」
もちろん、「カッコの省略」とか「可読性のための置き換え」を復元して判定するんだよ
それが「帰納的に定義するっ」てこと
その本にも書いてあるとおもうけど・・・
13/10/16 12:38:36.85
>>283
>論理式全ての集合が限定されてない点です
あらかじめ決めた構成法で得られる形に、なっているか、なっていないかは
記号列の形を見れば、機械的に判定できるよ。別の言い方だと「アルゴリズムが存在する」
もちろん、「カッコの省略」とか「可読性のための置き換え」を復元して判定するんだよ
それが「帰納的に定義するっ」てこと
その本にも書いてあるとおもうけど・・・