複数辞典一括検索+

2 【論理】 〈任意の命題が〉決定可能な《ある形式的体系に属する任意の命題がその体系内で成立するかどうかを確定する機械的な手続きが存在する》.🔗🔉

2 【論理】 〈任意の命題が〉決定可能な《ある形式的体系に属する任意の命題がその体系内で成立するかどうかを確定する機械的な手続きが存在する》.

研究社新英和大辞典 ページ 183275 での論理単語。