複数辞典一括検索+- (非使用)広辞苑大辞林新辞林大辞泉古語NHK 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語NHK 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語NHK 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ2 【論理】 〈任意の命題が〉決定可能な《ある形式的体系に属する任意の命題がその体系内で成立するかどうかを確定する機械的な手続きが存在する》.🔗⭐🔉2 【論理】 〈任意の命題が〉決定可能な《ある形式的体系に属する任意の命題がその体系内で成立するかどうかを確定する機械的な手続きが存在する》. 研究社新英和大辞典 ページ 183275 での【論理】単語。