Logic 101 Practice Test: Formal Logic - Propositional Logic — Flashcards

Propositional logic is a branch of logic that studies how to combine or modify statements to create more complex statements. It also studies the logical relationships and properties that come from these methods. 

Propositional logic is also known as statement logic, sentential calculus, or sentential logic. It is different from other branches of logic because it doesn't deal with logical relationships and properties that involve parts of a statement smaller than the simple statements that make it up. 
Propositional logic is concerned with statements that can be assigned the truth values "true" and "false". The purpose is to analyze these statements individually or in a composite manner. 

Here are some examples of propositional logic:
"If Q, then P"
"If not P, then not Q"
"5 + 2 = 7"
"Bananas are green" 

Some limitations of propositional logic include:
It cannot show relations like some, all, or none
It has limited expressive power
Statements cannot be indicated in terms of their properties or logical relationships