Description
A demonstration technique for determining the logical truth of a proposition. The procedure may involve the use of truth tables in applicable parts of the predicate and propositional calculii. Diagrammatic and algebra techniques are also utilized.