演繹邏輯

　　見形式邏輯。