If an indirect truth table requiring more than one line is constructed for either an argument or a series of statements and no contradiction is derived on the first line, then:

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