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