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

更に，自然演繹における推論規則を見ていく．最初は，連言である． 右側にある∧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) はコメントを受け付けていません