書記が数学やるだけ#952 証明の形式化-2

前回に示したメタ定理を用いた例を示す。

問題

解答

全称命題から存在命題を導く基本定理について，公理のみを用いた場合。

これは存在汎化・演繹定理を用いるとより簡潔に示せる。

前提集合 Γ={A→B,B→C} から結論を導く，三段論法について命題論理の演繹である。

全称記号が含意に対して分配できることを示すメタ定理について，ここでは一般化定理と演繹定理を用いる。

等号公理から対称性を導く演繹。

対偶法・背理法の証明手順では演繹定理を用いる。

本記事のもくじはこちら：