Either we recycle our trash or we will be inundated in garbage. Therefore, we will not be inundated in garbage, since we recycle our trash.

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... Show more

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 

Show less