検索結果- 英語 - 多言語
検索内容:
deontic logic
(logic) The study of obligation, permission, and related concepts. / (logic) A formal system capturing the concepts of obligation and permission.
義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系
logic chopper
A person who makes confusing or specious arguments, especially arguments involving equivocation.
あいまいな表現や誤った論法を用いて、相手を混乱させたり誤誘導する人物 / 論理的な議論を装いながら、実際には矛盾や欺瞞を含む主張をする人
chopped logic
chopped logic
simple past tense and past participle of chop logic
'chopped logic' は 'chop logic' の単純過去形および過去分詞形です。
intensional logic
(logic) A formal deductive system able to represent the distinction between intension and extension of a term.
形式的な推論体系で、用語の内包（意味）と外延（対象）の区別を明示的に扱う論理システム
predicate logic
(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. / (logic) First-order logic.
記号論理体系全般、すなわち一階述語論理、二階述語論理、多相論理、無限論理などの体系を含む場合がある。 / 一階述語論理
propositional logic
(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
命題論理: 原子命題を論理結合子（例えば、かつ、または、ならばなど）を用いて組み合わせ、形式的な演繹体系内で命題を構成する論理体系。
modal logic
(logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
可能性や必然性、義務や許可などの様相的概念を扱う形式的な論理体系。 / モーダリティ（例：可能性、必然性）に基づいた論理システムとして、様相論理とも呼ばれる。
business logic
(computing) Algorithms in a software system that models real life business objects and their interactions.
ソフトウェアシステム内で、現実の業務オブジェクト（ビジネスエンティティ）やその相互作用をモデル化するためのアルゴリズムやルール。 / システム上で業務プロセスやビジネスルールを定義し、データの処理や流れを管理するロジック。 / 実際のビジネスでの手続きや判断基準を反映した、業務に関する計算や処理を実現するアルゴリズムの集合。
