13/10/27 11:51:38.21
>401
直観論理みたいに￢A∨Aが成立しないのもあるけどね。
あと、>328からさんざん話の出てきていることだけど、
論理式の全体を下記で定義できないとする理由は何？
記号列∧記号列が論理式の生成ルールに従っている
⇔論理式に属する
そんなものを（集合でもクラスでもドメインでも何でも）
定義したら論理が破綻するというのなら証明を示してくれよ。
13/10/27 11:51:38.21
>401
直観論理みたいに￢A∨Aが成立しないのもあるけどね。
あと、>328からさんざん話の出てきていることだけど、
論理式の全体を下記で定義できないとする理由は何？
記号列∧記号列が論理式の生成ルールに従っている
⇔論理式に属する
そんなものを（集合でもクラスでもドメインでも何でも）
定義したら論理が破綻するというのなら証明を示してくれよ。