說說我對邏輯學和有效推理的壹點理解,歡迎大家來指正

妳的分析很有道理,且推理形式完整,有壹點我非常贊同,即"所謂的”有效推理“其實就是人為定義出來的東西，並沒有所謂真假之分（實際上真假只是語義的概念），只要能用自然演繹系統根據給定前提，通過推演規則不斷變形得到結論，這壹串的公式序列稱之為有效推理。建立了自然演繹系統後，我們就有了可以信賴的表達工具。然後我們可以在此基礎上，建立任何的對象，包括語義理論，ZF集論，數理邏輯等等。"

妳學得不錯,望妳再接再厲,能在邏輯學這門學科上有所建樹!