10月 – 2014 – risk = nil;

Monthly Archives: 10月 2014

28/10/2014 – 7:48 AM

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

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

27/10/2014 – 8:16 AM

推論（証明）規則の続きである． ¬¬e： ¬¬Φ ⊢ Φ いま考えている論理では，2つの値しかとらないとする．従って，否定を重ねる（¬が2つ）ことで元に戻る（¬がゼロ）．¬¬e規則（去-¬）と呼ばれる．次は加える規則で […]

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

25/10/2014 – 1:16 PM

更に，自然演繹における推論規則を見ていく．最初は，連言である．右側にある∧iは，この推論規則の名前である．図のタイトルは筧先生に敬意を表してプログラミングの科学にある名前をつけている．意味は明らかで，Φが真と分かり，ψ […]

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

risk = nil;