FANDOM

KurohaKafka

こと 黒羽カフカ

アドミン
  • 居住地 Japan
  • KurohaKafka

    命題論理

    2016年11月9日 by KurohaKafka

    \(Γ_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

    全文を読む >

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki