• 締切済み

NK法、LK法の証明図の書き方を教えてください

タイトルどうりです。 NK法とLK法の証明図の書き方がわかりません。 具体的に証明図の書き方を解説まじりで教えてくれませんか？ とくにLK法の証明図の書き方がわかりません。 ∧、∨、￢、⇒　などはわかってるつもりです。 以前コンピュータ系のカテゴリで投稿したのですが回答がつかなくてこまってます。

みんなの回答

  • quadlike
  • ベストアンサー率58% (10/17)
回答No.1

NK法は， http://c6.dyndns.tv/p/sikepuri/kigouronri/031.pdf LK法は， http://web.sfc.keio.ac.jp/~mukai/2004-mathlogic/LK.pdf にいくつか証明図の具体例があります．(どちらもpdf)．

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

注目のQ&A

カテゴリ

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

専門家に質問してみよう

職業から探して質問する
質問する