数学 Wiki
Advertisement

KurohaKafka KurohaKafka 2016年11月9日 (水)
0

命題論理

\(Γ_n∧A_k=Γ_{k+1},\ Γ_0=φ\)

\(Γ_n\) は無矛盾とする。

\(Γ_n|-P\) とすると、演繹定理より

\(|-A_0→A_1→A_2→・・・→A_{n-1}→P\quad右結合の括弧は省略\)

\(Γ_n\) は無矛盾であるため、\(A_k\) は \(A_l;l

投稿の全文を読む

Advertisement