logical system
「logical system」の意味意味
- 名 論理体系、推論系
「logical system」の例文例文
The logical system of the theory is based on a few simple axioms.
その理論の論理体系は少数の公理に基づいている。
「logical system」のコアイメージコアイメージ
命題と公理・推論規則を定め、推論の手続きを体系化する枠組みとしての論理体系
「logical system」の英英英英
A formal structure that arranges propositions, axioms, and inference rules into a coherent framework for deriving conclusions in logic and mathematics.
「logical system」の語源語源
logical systemは、logical（ギリシャ語logos「理性・言葉」由来）とsystem（ギリシャ語systēma「組織された全体」由来）が結合してできた語で、論理の要素を組織化する枠組みを指すようになった。
「logical system」のコラムコラム
- 数学や形式論理では、論理体系は公理・推論規則・定理の関係を明確に示すために用いられる用語
おすすめの単語帳
1 / 1
