MATH 1272 Lecture 1: 2-1-16 Notes

Express each statement symbolically, including a quantification of all variables
which makes the universe explicit. Negate the symbolic statement, and express
the negation in natural language as a useful denial.
a. The curves y = 1 − x2 and y = 3x − 2 intersect.
b. Every positive real number has a real square root. 

∫integral from 0 to π/2 (cos x) dx

(You'll need to nd a similar trig identity to handle

cos jh + cos 2jh +... + cosmjh: