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

更に，自然演繹における推論規則[ref]ここでは，推論としているが，前提から結論を導き出す行為は「証明(proof)」とも呼ばれ，証明規則とする場合もある[/ref]を見ていく．最初は，連言である．右側にある∧iは，こ […]

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

risk = nil;