Practice Translating Statements With Nested Quantification (9.3) - Nested Quantifiers = part B

Practice: Translating Statements with Nested Quantification

Lesson 9.3Nested Quantifiers = part B

Practise this section

8 questions

Flashcard drill
3 cards from this section. Quick, good the night before a test.
Exercise
6 questions · about 4 min · pass mark 70%. Hints available.
Sign up to start the exercise
Quiz
2 questions · about 1 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
Translate the statement: 'All dogs bark.'
Show hintHide hint
Think about the meaning of 'all' and how it relates to 'bark'.
Question 2.
What does ∃x (Bird(x) ∧ CanFly(x)) express?
Show hintHide hint
Focus on the meaning of 'there exists' and how it relates to different properties.
3Question 3.
Which of the following is the correct translation of 'Every person has a mother'?
- ∃x M(x,y)
- ∀x ∃y M(x,y)
- ∃y ∀x M(x,y)
Show hintHide hint
Focus on who the statement refers to and the relationship defined.
4Question 4.
True or False: Changing the order of quantifiers does not affect the meaning of a statement.
- True
- False
Show hintHide hint
Think of how reversing statements changes conditions or relationships.
Question 5.
A city has citizens who are parents. Formulate: 'Every citizen is a parent to at least one child, and each child has a unique parent.'
Show hintHide hint
Break the requirements into parts and translate them logically.
Question 6.
If all fruits are sweet, and some apples are fruits, what can you conclude about apples?
Show hintHide hint
Consider the implications of the universal statement on the specific example.

4 more questions in this section. Enroll free to practise them all.