自動演繹

自動演繹，是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術，又稱自動定理證明和機械定理證明。