logic of propositions
Quick Summary
The logic of propositions, also known as propositional calculus, is a branch of symbolic logic that deals with simple, unanalyzed propositions and their logical relationships. It uses letters to represent simple (atomic) propositions and symbols for logical connectives like "and" ((\cdot)), "or" ((\lor)), "if...then" ((\rightarrow)), and "not" ((\sim)) to form compound (molecular) propositions.123
The truth or falsity of a proposition is its truth-value (T or F). A truth table is a chart used to determine the truth-value of compound propositions for all possible combinations of truth-values of their component parts. This system is fundamental for testing the validity of arguments and understanding logical inferences.451
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
history of logicSyllogisms…to what is called the logic of propositions. Aristotle’s logic is, by contrast, a logic of terms in the sense described above. A sustained study of the logic of propositions came only after Aristotle.
Read More…to what is called the logic of propositions. Aristotle’s logic is, by contrast, a logic of terms in the sense described above. A sustained study of the logic of propositions came only after Aristotle.
Read More- history of logicThe Megarians and the Stoics
…Aristotelians, the Stoics developed propositional logic to the neglect of term logic. They did not produce a system of logical laws arising from the internal structure of simple propositions, as Aristotle had done with his account of opposition, conversion, and syllogistic for categorical propositions. Instead, they concentrated on inferences from…
Read More…Aristotelians, the Stoics developed propositional logic to the neglect of term logic. They did not produce a system of logical laws arising from the internal structure of simple propositions, as Aristotle had done with his account of opposition, conversion, and syllogistic for categorical propositions. Instead, they concentrated on inferences from…
Read More