二値関数における述語論理(13)

スポンサーリンク

概要

• 論文の詳細を見る

• 二値関数と集合の分割に関する述語論理について成り立つ定理を提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。本研究の目的の一つは、二値関数に集合の分割の考え方を導入することで、コンピュータの内部で行われる論理動作を、数学的にモデル化することである。デジタルの世界での論理動作を、数学的にモデル化している。

著者

• 小林 俊一

  松本大学総合経営学部

関連論文

• 二値関数における命題論理(10)
• Propositionals Calculus for Boolean Valued Functions(9)
• 二値関数における命題論理(11)
• 二値関数における述語論理(13)

スポンサーリンク