Last Updated：2025/12/07

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Davis-Putnam algorithm

Source Word

Davis-Putnam algorithm

Japanese Meaning

命題論理の解像度に基づく決定手続法を用い、第一階述論理の式の妥当性を検証するアルゴリズム

その大学院生は、複数の一階述語論理式を命題論理に還元した後、それらの妥当性を検証するためにデイヴィス＝プットナム法を用いた。

Sense（1）

the Davis-Putnam algorithm

（ canonical ）