logical_system

複数:

logical_systems

意味・定義

2つの辞書から2件の定義

日本語WordNet

1件

名詞

1論理

a system of reasoning

ライセンス: BSD-style License

AIによる解説

1件

1論理体系。公理、推論規則、定理からなる形式的な論理の枠組み。命題論理、述語論理、様相論理など様々な体系がある。数学の基礎、コンピューターサイエンス、哲学などで重要な役割を果たす。

A formal framework of logic consisting of axioms, inference rules, and theorems. Examples include propositional logic, predicate logic, and modal logic. Logical systems provide the foundation for mathematics, computer science, and philosophical reasoning.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

The accessibility relation between possible worlds constrains modal truths, with different logical systems employing various accessibility constraints formally.

可能世界間の到達可能性関係は様相的真理を制約し、異なる論理体系が形式的に様々な到達可能性制約を採用する。

Euclidean geometry is based on a logical system of axioms and proofs.

ユークリッド幾何学は公理と証明の論理体系に基づいている。

Different logical systems may have different rules of inference.

異なる論理体系は異なる推論規則を持つことがある。

Ramon Lully developed a logical system that influenced Leibniz centuries later.

ラモン・リュイは数世紀後にライプニッツに影響を与えた論理体系を発展させた。