「ホーア論理」と「恒真式」の違いは何ですか？

「ホーア論理」の意味は「Hoare logic」（レベル：C2）であり、「恒真式」の意味は「tautology (logic)」（レベル：C2）です。これらは同音異義語・類義語の関係にあり、使い分けが必要です。

類義語対比

ホーア論理

恒真式

「ホーア論理」と「恒真式」の違いと正しい使い分け

単語A

ホーア論理

意味・対訳

Hoare logic

読み方

ホーアろんり (ho-a ronri)

対象レベル

実用例文

私はホーア論理に興味があります。

I am interested in Hoare logic.

単語B

恒真式

意味・対訳

tautology (logic)

読み方

こうしんしき (koushinshiki)

対象レベル

実用例文

私は恒真式に興味があります。

I am interested in tautology (logic).

どっちを使う？使い分けクイズ

示された日本語表現（対訳）に合致する適切な単語を選んでください。

この文脈（Hoare logic）に合うのはどちらの単語ですか？

🎉 正解 / Correct!

使い分け解説:
- ホーア論理: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
- 恒真式: Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)

🦅

日本語の語彙表現を圧倒的にマスターしたいですか？

Project Eagleでは、最新のAIがあなたの苦手な使い分けを瞬時に検知。豊富な学習シラバスと大人気のロールプレイ機能が完全無料で使えます。