演繹定理

演繹定理是數理邏輯的一個核心規則 ， 它清晰地描述元語言的純符號組合所做的演繹與邏輯語言裏的實質條件的聯繫 。