Math Problem Solver

Mathematics improves the reasoning powers. But whatever improves the reasoning powers uses logic extensively. Therefore, mathematics uses logic extensively.

Let p1 stand for “mathematics improves the reasoning powers” and p2 for “mathematics uses logic extensively”; and let P1 stand for “mathematics”, P2 for “improves the reasoning powers”, and P3 for “uses logic extensively”.

Evaluation step in propositional calculus:

When expressed as an instantiated hypothetical: the minor premise is

, the major premise is

; and the conclusion is

.