Category Archives: 要求

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

30/10/2014 – 7:57 AM

今回は，一階述語論理である．プログラミングは別として，要求段階で二階以上の高階述語論理を扱うことはないと思う（現状実務的ではないという消極的理由もある）．従って，以降では単に述語論理とする．  命題論理では，原子式と記号 […]

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

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

29/10/2014 – 7:38 AM

次は選言がある場合の推論規則である． これは，見るからに興味深い．前提が真であれば，結論が真であることは見て取れる（もちろん前提は，Ψでも同じである）．従って妥当な推論であるが，違和感が残る． いま，Φ「雨が降っている」 […]

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

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

28/10/2014 – 7:48 AM

引き続き，推論規則である．最初の例は，以前に出てきた． 原子式の記号が，ギリシャ文字に変わっているが同じである．Φが削除されているので，ここでは単に「e.」規則としている．日本語方式だと，「去-→」である． ちなみに，「 […]

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