Some Points of Logic
Before You Get Started. We have already used phrases like for all, there exists, and, or, if... then, etc. What exactly do these mean? How would the meaning of a statement such as Axiom 1.4 change if we switched the order of some of these phrases? We will also need to express the negations of mathematical statements. Think about what the negation of an and statement should look like; for example, what are the negations of the statements “John and Mary like cookies” or “there exist positive integers that are not prime”?
Unable to display preview. Download preview PDF.