propositional_calculus

意味・定義

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

日本語WordNet

1件

名詞

1命題論理

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

ライセンス: BSD-style License

AIによる解説

1件

1論理学における命題の真偽を扱う形式体系。AND、OR、NOTなどの論理演算子を用いて命題の関係を分析する。述語論理の基礎となる。

A formal system in logic dealing with the truth values of propositions. Uses logical operators like AND, OR, NOT to analyze relationships between statements. Foundation of predicate logic.

ライセンス: KeyLang Original

例文

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

Students learn propositional calculus before moving to predicate logic.

学生は述語論理に進む前に命題論理を学ぶ。

Propositional calculus forms the basis of Boolean algebra used in computing.

命題論理はコンピューティングで使われるブール代数の基礎を形成する。