formal logic
「 formal logic」の意味 意味
- 名 形式論理、公理的論理
「 formal logic」の例文 例文
「 formal logic」のコアイメージ コアイメージ
形式論理は記号を用いて論証を表現し、機械的検証や数学的証明に適した形式化を行う考え方
「 formal 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は、formal（形式的な）とlogic（論理）の結合から成り、19世紀の記号論理と公理化の流れの中で現在の意味が確立した
「 formal logic」のコラム コラム
- 計算機科学ではformal logicが仕様記述や自動証明に利用され、自然言語の説得力とは別に厳密さが重視される
おすすめの単語帳
1 / 1
