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
branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components
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.
In the Vinony graph
Within Vinony's link graph, แคลคูลัสเชิงประพจน์ is referenced by 811 other articles, and connects out to syllogism, truth table and recursive set.
It is catalogued under topics including Analytic philosophy, Boolean algebra and Classical logic.
Its subject is documented across 53 Wikipedia language editions.
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