The study of logic improves the ability of a calculus student to cope with the following tasks:

(1) writing a proof,

(2) interpreting the negation of a statement (e.g., the negation of

(3) understanding the relationship between various statements (e.g., continuity and uniform continuity).

This paper is intended for university and college mathematics lecturers. It exhibits a plan for an introduction to logic as a preliminary to the study of calculus.

We present a new simple way to calculate the truth value of a sentence with many quantifiers in a given universe. We apply the predicate calculus in proof writing. Finally, we present a simplified version of the notions of logical equivalence and logical implication, relating to sentences only, and apply these notions in calculus.

logic, calculus, predicate, calculus.