Tag Archives: 連言

KAOS (79) 文を形式化する基礎としての論理:命題論理 (4.4.1-3)

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