命題論理 - lis2.huie.hokudai.ac.jp演示文稿.pptVIP

一階述語論理(first-order predicate logic) 一階述語論理入門(1/9)：命題論理の世界 一階述語論理入門(2/9)命題論理の表現力の限界 一階述語論理入門(3/9)命題論理の表現力の限界 一階述語論理入門(4/9) 一階述語論理入門(5/9) 一階述語論理入門(6/9) 一階述語論理入門(7/9) 一階述語論理入門(8/9) 一階述語論理入門(9/9) 述語論理の構文論 論理式の文法 構文論(1/6) 一階述語論理の構成要素 構文論(2/6) 項 構文論(3/6) 項 構文論(4/6) 原子式 構文論(5/6) 限量子 構文論(6/6) 論理式 述語論理の意味論 解釈に基づく論理式の真理値の計算 意味論(1/7) 解釈 意味論(2/7) 解釈 意味論(3/7) 解釈 意味論(4/7) 解釈 意味論(5/7) 解釈 意味論(6/7) 論理式の真理値の計算 意味論(7/7) 充足不能，充足可能 　一階述語論理の世界を構成する基本的な要素はオブジェクトである．オブジェクトは命題ではない．このスライドでは，オブジェクトとして人やアニメキャラクターやロボットを示しているが，応用目的に応じて，オブジェクトは何でも良い．ここでいう「オブジェクト」とは，「オブジェクト指向プログラミング」でいう「オブジェクト」とは関係なく，単に「モノ」という意味である．オブジェクト