今回は，練習を兼ねて，限量子での同値の関係にある変形を見てみる． 「とべないトリがいる」は，述語「トリである」をB，述語「とべる」をFとすると，次の様に書ける． ∃x(B(x)∧¬F(x)) これは，「全てのトリがとべる […]
-
Pages
-
Categories
-
Archives
Category Archives: 形式仕様記述
KAOS (86) 文を形式化する基礎としての論理：述語論理 (4.4.1-10)
02/11/2014 – 1:43 PM
記号論理自体は，それ自体で閉じた世界である． それを利用するとなれば，我々が住んでいる現実世界と紐づける必要がある．紐付けることで，始めて要求を管理するという目的に役立つことになる． さて，述語論理に戻る．今回は，もう一 […]
KAOS (85) 文を形式化する基礎としての論理：述語論理 (4.4.1-9)
01/11/2014 – 3:01 PM
前回修正した文を，材料として用いることにする． ［一文目］製造業者は，（一つ又は複数の）ソフトウェア開発計画を確立すること．開発するソフトウェアシステムの適用範囲，規模およびソフトウェア安全クラス分類に適した開発プロセス […]