Practice Discrete Mathematics (9.1) - Rules of Inferences in Predicate Logic

Practise this section

9 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
3 questions · about 2 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
Translate the statement 'All cats are mammals' into predicate logic.
Show hintHide hint
Think about the format 'For all x, if ... then ...'.
Question 2.
State the difference between universal and existential quantification.
Show hintHide hint
Consider the phrases 'all' versus 'some'.
3Question 3.
What is the symbol for universal quantification?
- ∃
- ∀
- ∅
Show hintHide hint
Think about how quantification applies to every single element.
4Question 4.
True or False: 'There exists an x such that S(x) and C(x)' means at least one x is true for both S and C.
- True
- False
Show hintHide hint
Consider the meaning of 'there exists'.
Question 5.
Express the statement 'All dogs bark' in predicate logic and explain if it's universally quantified.
Show hintHide hint
Focus on the structure of the statement and the quantifiers.
Question 6.
Analyze the statement 'Some fruits are sweet' and determine how it differs from 'All fruits are sweet'.
Show hintHide hint
Dissect the meaning of 'some' versus 'all'.

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