4.1- 4.2 證明(proof):藉由有效論證,從給定的前提推導結論。 自然演繹法(natural deduction):使用語法獲得效力的證明方法。 邏輯系統的完備性(completeness): 任何 ...
確定! 回上一頁