13/10/16 01:24:41.18
>>278
ちゃんとかいてあるじゃん
そこにかいてある手順で構成した記号列だけがその言語における論理式
自由変数を含まない論理式の集合が、公理、または理論
公理から推論規則を適用して、○○という論理式がえられたら、それはその公理で証明可能ってこと
「○○」と、「￢○○」の両方とも、公理から推論で得られるとき、その理論は「矛盾している」
矛盾していないとき、「無矛盾」
13/10/16 01:24:41.18
>>278
ちゃんとかいてあるじゃん
そこにかいてある手順で構成した記号列だけがその言語における論理式
自由変数を含まない論理式の集合が、公理、または理論
公理から推論規則を適用して、○○という論理式がえられたら、それはその公理で証明可能ってこと
「○○」と、「￢○○」の両方とも、公理から推論で得られるとき、その理論は「矛盾している」
矛盾していないとき、「無矛盾」