類義語対比
線形時相論理
VS
述語論理
「線形時相論理」と「述語論理」の違いと正しい使い分け
単語A
線形時相論理
意味・対訳
Linear temporal logic (LTL)
読み方
せんけいじそうろんり (senkeijisouronri)
対象レベル
C2
実用例文
私は線形時相論理に興味があります。
I am interested in Linear temporal logic (LTL).
単語B
述語論理
意味・対訳
predicate logic
読み方
じゅっごろんり (jutsugoronri)
対象レベル
C2
実用例文
私は述語論理に興味があります。
I am interested in predicate logic.
どっちを使う？使い分けクイズ
示された日本語表現（対訳）に合致する適切な単語を選んでください。
この文脈（Linear temporal logic (LTL)）に合うのはどちらの単語ですか？
🎉 正解 / Correct!
使い分け解説:
- 線形時相論理: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
- 述語論理: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
- 線形時相論理: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
- 述語論理: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
日本語の語彙表現を圧倒的にマスターしたいですか？
Project Eagleでは、最新のAIがあなたの苦手な使い分けを瞬時に検知。豊富な学習シラバスと大人気のロールプレイ機能が完全無料で使えます。