Boolean Algebra


   
 
Arguments and their Validity
A compound proposition is a tautology if it is always true for all possible combination of the truth values of its components.
 
If a compound proposition which is always false for all possible combination of the truth values, of its components then it is called a contradiction.
 
Consider two compound statements P and Q. If the conditional PQ is a tautology then we say that "Q logically follows from P or Q is a valid conclusion (consequence) of the premise P. (P;Q) is called the argument.
 
In general, if P1, P2, P3 ….Pn are n compound statements and Q is a compound statement which follows from the other statements P1, P2, P3.........Pn, then we say the conclusion Q logically follows from the set of premises P1, P2, P3.......Pn. These sequences of premises ending with the conclusion is called an argument.
 
(P1, P2, P3.......Pn;Q) is called an argument where P1, P2, P3.......Pn are premises and Q is a conclusion or consequence. Premises are also known as Hypotheses.
 
Validity of the Argument
 
The argument (P1, P2, P3.....Pn;Q) is said to be valid if Q is true whenever all P1, P2, P3.....Pn are true.
 
We discuss two methods to determine the validity of the argument.
 
Method 1:
 
Construct the truth table of the conditional
 
P1 P2 P3 .... Pm Q and find out whether it is a tautology or not. If it is a tautology then the argument is valid otherwise it is said to be invalid.
 
Example:
 
Test the validity of the following argument.
 
P1: p q
 
P2: q p, Q:pq
 
To test the validity of the argument, we have to show
 
P1 P2 Q is a tautology.
 
 
Since the truth value of the last column are not all T,
 
 
Method 2:
 
Steps to test the validity of an argument.
 
Step 1: Construct the truth table for truth values of all the hypotheses and the conclusion.
 
Step 2: Find the rows in which all the hypotheses have truth value T. Such a row is called critical row.
 
Step 3: If in each critical row, the truth value of the conclusion is also true, then the argument is valid.
 
If there is at least one critical row in which the conclusion is false, then the argument is invalid.
 
Examine the validity of the following argument
 
 
 
We select the critical rows and wherever the premises (hypotheses) have truth value T.
 
Since the corresponding conclusion Q also has Truth value T in the critical rows, the given argument is valid.
 
 
     
   
Get FREE Live Tutoring
Get FREE Live Tutoring
(No credit card required)

Customer Care

Click to get customer service, technical support and subscription help.

Customer Care Chat


Refer-A-Friend

Get One Month Free!
When you refer a friend