11月 – 2014 – risk = nil;

Monthly Archives: 11月 2014

04/11/2014 – 7:45 AM

さて，今回は述語論理における推論（証明）規則である．最初の規則である．これは，当たり前で，かつ余り役に立たない．次は，等号に関する削除の規則である．いま，xがΦの束縛変数とする．明らかにt1, t2 は自由変数とな […]

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | コメントを受け付けていません

03/11/2014 – 3:24 PM

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

By nil | Posted in セーフティケース, 形式仕様記述, 文書, 立証・論証 | コメントを受け付けていません

02/11/2014 – 1:43 PM

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

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | Tagged 量化子, 限量子 | コメントを受け付けていません

risk = nil;