Tag Archives: 論証

KAOS (78) 文を形式化する基礎としての論理:命題論理 (4.4.1-2)

今回は推論(導出)規則である.或いは,論証のパターンとも呼ばれる.なお,論証といっても,命題論理の範疇であって,日常生活で我々が常にそうしているというわけではない(多足,トゥールミン) 推論規則としては,自然演繹に基づく […]