intuitionistic logic（直観主義論理：排中律（または同値）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

intuitionistic logic

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

このボタンはなに？

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

翻訳する

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

詳細

intuitionistic logics

名詞

活用形複数形

plural of intuitionistic logic

原形: intuitionistic logic

日本語の意味

直観主義論理の複数形、すなわち複数の直観主義論理体系を指す。

このボタンはなに？

Graduate students in the department studied a range of intuitionistic logics to prepare for the logic seminar.

翻訳する

学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。

詳細

Webで検索する

検索結果- 英語 - 英語