今回は，一階述語論理である．プログラミングは別として，要求段階で二階以上の高階述語論理を扱うことはないと思う（現状実務的ではないという消極的理由もある）．従って，以降では単に述語論理とする． 命題論理では，原子式と記号 […]
-
Pages
-
Categories
-
Archives
Category Archives: 要求工学
KAOS (82) 文を形式化する基礎としての論理：命題論理 (4.4.1-6)
29/10/2014 – 7:38 AM
次は選言がある場合の推論規則である． これは，見るからに興味深い．前提が真であれば，結論が真であることは見て取れる（もちろん前提は，Ψでも同じである）．従って妥当な推論であるが，違和感が残る． いま，Φ「雨が降っている」 […]
KAOS (81) 文を形式化する基礎としての論理：命題論理 (4.4.1-5)
28/10/2014 – 7:48 AM
引き続き，推論規則である．最初の例は，以前に出てきた． 原子式の記号が，ギリシャ文字に変わっているが同じである．Φが削除されているので，ここでは単に「e.」規則としている．日本語方式だと，「去-→」である． ちなみに，「 […]