1.邏輯學術語"演繹"的舊譯名。