Tag Archives: 論証

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

24/10/2014 – 7:47 AM

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

By nil | Posted in KAOS, 形式仕様記述, 立証・論証, 要求, 要求工学 | KAOS (78) 文を形式化する基礎としての論理：命題論理 (4.4.1-2) はコメントを受け付けていません