公理的論理
「公理的論理」の英語の使い分け
axiomatic logic
公理と推論規則を基礎にして論理体系を組み立てることを指す、数学・論理学の専門用語です。
コアイメージ
形式論理は記号を用いて論証を表現し、機械的検証や数学的証明に適した形式化を行う考え方
英英
Logic that encodes arguments in symbolic form and formal languages so that validity and proofs can be checked mechanically or mathematically.
語源
formal logicは、formal(形式的な)とlogic(論理)の結合から成り、19世紀の記号論理と公理化の流れの中で現在の意味が確立した
コラム
- 計算機科学ではformal logicが仕様記述や自動証明に利用され、自然言語の説得力とは別に厳密さが重視される
「公理的論理」のレベル別の例文
- 中学
- 高校・英検2級
Students study axiomatic logic to see how basic assumptions lead to conclusions.
- TOEIC・ビジネス
The research team used axiomatic logic to define the rules of the verification system.
- 日常会話
Let’s use axiomatic logic and start by stating our basic assumptions.