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
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