Loading AI tools
ウィキペディアから
原子論理式(
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年4月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
原子論理式は論理システムにおける最も単純な論理式である。論理式はまず全ての原子論理式を示し、次に論理式から論理式を形成するルールを与えるという帰納的な方法によって定義される(再帰的定義)。複数の原子論理式から構成される論理式を複合論理式[1]という。
例として命題論理に関する論理式の定義を示す
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.