Reductio-ad-absurdum- shorter method

Reductio-ad-absurdum is a technqiue used to verify the validity of arguments. It is same as Tarka. In this, we assume the opposite of what is to be proved. If the assumption leads to absurdity then the opposite of the assumption is true. This does not deal with the Syllogism directly but indirectly, hence it is called the “Indirect Method”. This method is used to determine whether the statement form is Tautology, Contradictory or Contingent. 

Tautology is a statement that is true in all circumestances as its substitution instances are true. When the assumption False is proved False it leads to a Tautology. When the assumption False is proved True, it is Contradiction. In neither of the above cases, it is Contingent.

In the Western Logic, the Truth Table Method is made used for Decision Procesdure.  However, the Truth Table Table Method is an unnncessarily long method to reach a decision. The same decision can be obtained in an easier and faster way through the Shorter Truth Table or Reductio-ab-absurdum method.