File:Partially_built_tableau.svg · Wikimedia Commons · See Wikimedia Commons
命題論理
Sign in to saveAlso known as sentential calculus, sentential logic, statement logic, zeroth-order logic, propositional logic
数理論理学の基礎的な一部門
Propositional calculus is a branch of logic that studies statements (called propositions) and how we can combine them using logical connectives like "and," "or," and "not" to form new statements. It matters because it helps us understand how the truth or falsehood of complex statements depends on the truth values of their simpler parts, which is fundamental to reasoning, mathematics, and computer science.
AI-generated from the Wikipedia summary — may contain errors.
Wikidata facts
- Part of
- mathematical logic
Show 8 more facts
- maintained by WikiProject
- WikiProject Mathematics
- topic's main category
- Category:Propositional calculus
- Commons category
- Propositional logic
- is the study of
- propositional formula
- different from
- zeroth-order logic
- has characteristic
- validity
- Stack Exchange tag
- philosophy.stackexchange.com/tags/propositional-logic
- on focus list of Wikimedia project
- Wikipedia:Vital articles/Level/4
via Wikidata · CC0
Article · 日本語
命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。
Abstract from DBpedia / Wikipedia · CC BY-SA