17/11/04 23:45:46.27 qn/JBcju.net
>>158
対偶を取り、充足可能ではないならば矛盾していることを示します
Γは充足可能ではないので、Γのある論理式の集まりφが存在して、φがトートロジーとなるようなφ∈Γが存在します
完全性定理により|-¬φすなわちφ|-すなわちΓ|-証明可能となり、Γは矛盾しています
17/11/04 23:45:46.27 qn/JBcju.net
>>158
対偶を取り、充足可能ではないならば矛盾していることを示します
Γは充足可能ではないので、Γのある論理式の集まりφが存在して、φがトートロジーとなるようなφ∈Γが存在します
完全性定理により|-¬φすなわちφ|-すなわちΓ|-証明可能となり、Γは矛盾しています