Category Archives: 安全

KAOS (87) 文を形式化する基礎としての論理：述語論理 (4.4.1-11)

03/11/2014 – 3:24 PM

今回は，練習を兼ねて，限量子での同値の関係にある変形を見てみる． 「とべないトリがいる」は，述語「トリである」をB，述語「とべる」をFとすると，次の様に書ける． ∃x(B(x)∧¬F(x)) これは，「全てのトリがとべる […]

By nil | Also posted in セーフティケース, 形式仕様記述, 文書, 立証・論証 | KAOS (87) 文を形式化する基礎としての論理：述語論理 (4.4.1-11) はコメントを受け付けていません

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

25/10/2014 – 1:16 PM

更に，自然演繹における推論規則[ref]ここでは，推論としているが，前提から結論を導き出す行為は「証明(proof)」とも呼ばれ，証明規則とする場合もある[/ref]を見ていく．最初は，連言である． 右側にある∧iは，こ […]

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

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

24/10/2014 – 7:47 AM

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

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