Scribd
Upload
12 views1 page

Tut 2

The document is a tutorial sheet that contains 11 problems involving logic, quantifiers, sets, and number theory. The problems cover establishing logical equivalences, finding domains of variables, expressing statements using predicates and quantifiers, using rules of inference to show implications, proving properties of arranging numbers on a board, iterating a procedure of inserting bits between numbers arranged in a circle, and proving statements about rational and irrational numbers.

Uploaded by

ankur.gupta
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
12 views1 page

Tut 2

The document is a tutorial sheet that contains 11 problems involving logic, quantifiers, sets, and number theory. The problems cover establishing logical equivalences, finding domains of variables, expressing statements using predicates and quantifiers, using rules of inference to show implications, proving properties of arranging numbers on a board, iterating a procedure of inserting bits between numbers arranged in a circle, and proving statements about rational and irrational numbers.

Uploaded by

ankur.gupta
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Tutorial Sheet 2

Aug 3, 5, 6
1. Establish these logical equivalences, where x does not occur as a free variable in A. Assume that the domain is
nonempty.
a. ∀x (A → P(x)) ≡ 𝐴 → ∀𝑥 𝑃(𝑥)
b. ∃x(A → P(x)) ≡ 𝐴 → ∃𝑥𝑃(𝑥)
2. Find a common domain for the variables x, y, and z for which the statement ∀𝑥∀𝑦 ((𝑥 ≠ 𝑦) → ∀𝑧((𝑧 = 𝑥) ∨
(𝑧 = 𝑦))) is true and another domain for which it is false.
3. Assuming all quantifiers have the same nonempty domain show that
a. ∀𝑥 𝑃(𝑥) ∧ ∃𝑥𝑄(𝑥) is logically equivalent to ∀𝑥∃𝑦(𝑃(𝑥) ∧ 𝑄(𝑦))
b. ∀𝑥𝑃(𝑥) ∨ ∃𝑥𝑄(𝑥) is equivalent to ∀𝑥∃𝑦 (𝑃 (𝑥) ∨ 𝑄(𝑦))
4. Use predicates, quantifiers, logical connectives, and mathematical operators to express the statement that every
positive integer is the sum of the squares of four integers.
5. Let 𝑃(𝑥), 𝑄(𝑥), and 𝑅(𝑥) be the statements “x is a clear explanation,” “x is satisfactory,” and “x is an excuse,”
respectively. Suppose that the domain for x consists of all English text. Express each of these statements using
quantifiers, logical connectives, and 𝑃(𝑥), 𝑄(𝑥), and 𝑅(𝑥).
a. All clear explanations are satisfactory.
b. Some excuses are unsatisfactory.
c. Some excuses are not clear explanations.
d. Does (c) follow from (a) and (b)?
6. Let 𝐹(𝑥, 𝑦) be the statement “x can fool y,” where the domain consists of all people in the world. Use quantifiers
to express each of these statements.
a. Everybody can fool somebody.
b. There is no one who can fool everybody.
c. Everyone can be fooled by somebody.
d. No one can fool both Fred and Jerry.
e. Nancy can fool exactly two people.
7. Use rules of inference to show that if ∀𝑥(𝑃(𝑥) ∨ 𝑄(𝑥)), ∀𝑥(¬𝑄(𝑥) ∨ 𝑆(𝑥)), ∀𝑥(𝑅(𝑥) → ¬𝑆(𝑥)) and ∃𝑥¬𝑃(𝑥)
are true, then ∃𝑥¬𝑅(𝑥) is true.
8. Write the numbers 1, 2, . . . , 2𝑛 on a blackboard, where 𝑛 is an odd integer. Pick any two of the numbers, 𝑗 and 𝑘,
write |𝑗 − 𝑘| on the board and erase 𝑗 and 𝑘. Continue this process until only one integer is written on the
board. Prove that this integer must be odd.
9. Suppose that five ones and four zeros are arranged around a circle. Between any two equal bits you insert a 0
and between any two unequal bits you insert a 1 to produce nine new bits. Then you erase the nine original bits.
Show that when you iterate this procedure, you can never get nine zeros. [Hint: Work backward, assuming that
you did end up with nine zeros.]
10. Prove or disprove that there is a rational number 𝑥 and an irrational number 𝑦 such that 𝑥𝑦 is irrational.
11. Prove that between every two rational numbers there is an irrational number.

You might also like