以下の内容はhttps://kyoto-logic.hatenablog.com/entry/20131008/1381065152より取得しました。

授業内容

  1. 前期の復習
    1. 命題論理の論理記号の導入・除去規則
    2. 述語論理の論理記号の導入・除去規則
  2. 論理結合子の意味とは？
  3. モデル論的意味論
  4. 証明論的意味論


以上の内容はhttps://kyoto-logic.hatenablog.com/entry/20131008/1381065152より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14