論理記法
「論理記法」の英語
「論理記法」は英語で logical notation と言います。命題論理や述語論理で、記号の意味や並べ方の体系を指す専門用語です。分野によって記号や優先順位が異なることがあります。
「論理記法」の英語の使い分け
命題論理や述語論理で使う専門的な記号体系を指します。
「論理記法」の例文
The textbook explains logical notation used in propositional logic.
教科書は命題論理で用いられる論理記法を説明している。
コアイメージ
命題や述語の意味を表す記号とその配置や約束事の体系である論理記法
英英
A set of symbols and conventions used to write logical formulas and express logical relations in systems such as propositional and predicate logic.
語源
logical notationは、logical（論理的な）とnotation（記し方）の結合で、notationはラテン語notare（印を付ける）に由来し、両語が合わさって「論理を記す方法」を表す語になった。
コラム
- 論理記法は分野や文献によって記号や書き方が異なることがあり、同じ論理でも表記や優先順位が変わる場合がある。
「論理記法」のレベル別の例文
- 中学
This book introduces logical notation to beginners.
- 高校・英検2級
Understanding logical notation helps students read complex arguments clearly.
- TOEIC・ビジネス
The research team agreed to standardize logical notation across all reports.
- 日常会話
What does this symbol mean in logical notation?
「論理記法」を英語にするときのよくある間違い
× logic notation
この分野で一般的な形は logical notation です。