propositional calculus
(Q200694)
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
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
Language:
Current Data About
propositional calculus
(P279) |
(Q17488292)
|
||
(P361) |
(Q8078)
(Q1166618) |
||
(P373) |
Propositional logic
|
||
(P460) |
(Q16705128)
|
||
(P910) |
(Q7470263)
|
||
(P1343) |
(Q123560817)
|
||
(P1482) |
https://philosophy.stackexchange.com/tags/propositional-logic
|
||
(P1552) |
(Q1047000)
|
||
(P1889) |
(Q8069651)
|
||
(P2534) |
P \to Q, P \vdash Q
|
||
(P2578) |
(Q1372900)
|
||
(P2959) |
(Q16705128)
|
||
(P5008) |
(Q6173448)
|
||
(P6104) |
(Q8487137)
|
other details
aliases |
sentential calculus sentential logic statement logic zeroth-order logic propositional logic |
description | 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 |
External Links