論理学 命題論理学 Logic「真」とは，ただの記号．意味はなくて良い．別名 True 又は T 「偽」とは，真ではないこと．別名 False 又は F 「命題」(proposition)とは，真か偽のいずれかである主張 「公理」(axiom)とは，真である決められた命題 「証明」(proof)とは，真とされる命題に推論規則を有限回適用して，別の真の命題を導くこと 「定理」(theorem)とは，公理から証明される命題 「言葉」によって真理に到る方法． 「AはBかCである．」という言葉と，「AはBではない．」という言葉から 「AはCである．」という真実を知ることができるのはなぜかを追求する学問．命題の中に変数を含まない．例えば 「整数x は奇数である。」のような命題は述語論理で扱われる． Hilbertの命題論理公理系 System of axioms ■１．計算に用いる全記号のカタログ(記号倉)の制定 記号倉={命題
