分からない問題はここに書いてね436

分からない問題はここに書いてね436 at MATH

分からない問題はここに書いてね436 - 暇つぶし2ch166:１３２人目の素数さん
17/11/04 23:47:39.58 qn/JBcju.net
>>158
対偶を取り、充足可能ではないならば矛盾していることを示します
Γは充足可能ではないので、Γのある論理式φが存在して、¬φがトートロジーとなるようなφ∈Γが存在します
完全性定理により|-¬φすなわちφ|-すなわちΓ|-証明可能となり、Γは矛盾しています
あーもう

次ページ

続きを表示

1を表示