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