Term

J-GLOBAL ID：200906066589030343

propositional logic

数学

言語学編 / 命題論理学 / propositional logic
論理学編 / 命題計算 / propositional calculus , Aussagen-kalkul(]LGGer.[)
論理学編 / 文計算 / Aussagenkalkul(]LGGer.[)
論理学編 / 命題計算 / Aussagenkalkul(]LGGer.[)

Synonyms (3)：

propositional calculus (命題計算)
About propositional calculus
- Search "propositional calculus"
propositional calculation (命題計算)
About propositional calculation
- Search "propositional calculation"
propositional logic (命題論理学)
About propositional logic
- Search "propositional logic"

Related terms (3)：

logical operation (論理演算)
About logical operation
- Search "logical operation"
- Detailed information
sequent calculus (シーケント計算)
About sequent calculus
- Search "sequent calculus"
- Detailed information
decidability (決定可能性)
About decidability
- Search "decidability"
- Detailed information

Broader terms (1)：

Logic (論理)
About Logic
- Search "Logic"
- Detailed information

Narrower terms (1)：

first-order predicate logic (一階述語論理)
About first-order predicate logic
- Search "first-order predicate logic"
- Detailed information

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page

TOP

BOTTOM