Practice Rules Of Inference For Quantified Statements (9.4)

Practise this section

8 questions

Flashcard drill
2 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
Remember the structure of universal statements.
Question 2.
What does Existential Instantiation allow you to do?
Show hintHide hint
Think about proving something for known cases.
3Question 3.
What does Universal Instantiation allow us to do?
- Generalize statements
- Conclude specific instances from general statements
- Identify contradictions
Show hintHide hint
Think about how we can apply rules in logic.
4Question 4.
True or False: Changing the order of quantifiers does not affect the meaning of statements.
- True
- False
Show hintHide hint
Recall examples we discussed to validate this.
Question 5.
Prove that for every even number n, n can be expressed as the sum of two prime numbers.
Show hintHide hint
Explore established conjectures on primes.
Question 6.
Using the rules discussed, prove the statement: ‘If any person is a teacher, they must have at least one student.’
Show hintHide hint
Dissect the statements carefully.

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