Practice Second Statement: Large Birds (9.6.2) - Rules of Inferences in Predicate Logic

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 'All dogs bark' into logical form.
Show hintHide hint
Remember the structure of universal quantification.
Question 2.
What is the predicate for 'x is a cat'?
Show hintHide hint
Think of the variable representing membership.
3Question 3.
What does the statement 'For all x, if x is a bird then x can fly' express?
- It implies all birds can fly.
- Some birds cannot fly.
- Only certain birds can fly.
Show hintHide hint
Recall the structure of universal quantification.
4Question 4.
True or False: Existential quantification indicates a statement that must be true for all elements.
- True
- False
Show hintHide hint
Consider the opposite of universal quantification.
Question 5.
Translate the statement 'Some cats are not fluffy' using predicate logic and explain your reasoning.
Show hintHide hint
Explore the use of negation clearly.
Question 6.
Formulate 'Every fish cannot be both a mammal and a fish' as a logical expression.
Show hintHide hint
Think of how definitions can restrict memberships.

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