記号論理自体は，それ自体で閉じた世界である． それを利用するとなれば，我々が住んでいる現実世界と紐づける必要がある．紐付けることで，始めて要求を管理するという目的に役立つことになる． さて，述語論理に戻る．今回は，もう一 […]
-
Pages
-
Categories
-
Archives
記号論理自体は，それ自体で閉じた世界である． それを利用するとなれば，我々が住んでいる現実世界と紐づける必要がある．紐付けることで，始めて要求を管理するという目的に役立つことになる． さて，述語論理に戻る．今回は，もう一 […]