kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 前回の復習 キーワード：メタ・統辞論・帰納的定義 メタ・レベル(meta level)と対象レベル(object level) 統辞論(syntax)と意味論(semantics) 帰納的定義(inductive definition) 準備：形式言語 項(Term) 命題 論理結合子 自然演繹：⇒の導入・除去規則 ⇒の導入規則 ⇒の除去規則 宿題 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20100420%2F1240273706" title="授業内容 - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-04-20 09:28:26 rich https://kyoto-logic.hatenablog.com/entry/20100420/1240273706 1.0 100%