MAT111 - Assignment 3 1
MAT111 - Assignment 3 1
Problem 1. Between the following statements, determine what is the difference between them
and state which of them is/are correct.
• ∀n ∈ Z, ∃m ∈ Z, m = n + 5
• ∃m ∈ Z, ∀n ∈ Z, m = n + 5
[4]
Problem 2. Translate each of the following sentences into symbolic logic
• I don’t eat anything that has a face
• Everything is funny as long as it is happening to somebody else
• If sin(x) < 0, then it is the case that 0 ≤ x ≤ π.
• For every positive number ϵ there is a positive number M for which |f (x) − b| < δ implies
|f (x) − f (a)| < ϵ.
• For every even number n, there exists two prime numbers p, q such that n = p + q
[10]
Problem 3. Negate the following sentences.
• I don’t eat anything that has a face
• Everything is funny as long as it is happening to somebody else
• You can fool all of the people all of the time.
• For every prime number p, there is another prime number q such that p < q.
• For every even number n, there exists two prime numbers p, q such that n = p + q
• If f is a polynomial and its degree is greater than 2, then f ′ is not a constant.
[12]
Problem 4. Propositional logic has the influence of Aristotelian logic. For those who do not
know about this, it is about how we can draw conclusions from some given propositions. You
can search the term ”Syllogism” if you want to learn more about it. This is basically the
”Implies to” term used in Propositional Logic. Now, look at the following examples.
Example 1:
1
• Premise 1: All Vampires are jellyfish.
Example 2:
In the examples, we are claiming that the first two premises ”imply to” the conclusion. Ac-
cording to Aristotle, an argument is valid if true premises imply a true conclusion. You need to
determine which of the examples has valid argument. Justify your answer. [4]