Let’s start with the truth.

Logic

The abstract, formal structure of argument as characterized in language, including truth and falsity, rules of inference, deduction, mathematical induction, quantification, negation, adjunction, conjunction, and implication

Share this