Practice First Expression Analysis (9.4.1) - Rules of Inferences in Predicate Logic - part A

Practice: First Expression Analysis

Lesson 9.4.1Rules of Inferences in Predicate Logic - part A

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.
What does $orall x, P(x)$ signify in predicate logic?
Show hintHide hint
Think about how you might express 'every' in logical symbolism.
Question 2.
Translate the statement 'Some cats are black' into predicate logic.
Show hintHide hint
Focus on how you can express 'some' in logic.
3Question 3.
What does the expression $orall x, S(x) \rightarrow C(x)$ mean?
- Some students in CS201 study calculus
- All students in CS201 study calculus
- No students in CS201 study calculus
Show hintHide hint
Think about the difference between 'some' and 'all'.
4Question 4.
Is the statement 'All large birds do not live on honey' equivalent to $orall x, L(x) \rightarrow eg H(x)$ ?
- True
- False
Show hintHide hint
Consider how negation might change the meaning of a universal statement.
Question 5.
Convert the statement 'Anyone who lectures in CS201 knows predicate logic' into a logical expression.
Show hintHide hint
Follow the structure of a conditional statement.
Question 6.
Given the expression $S(x) \rightarrow C(x)$ , derive a meaningful real-world statement about course enrollment and study habits.
Show hintHide hint
Consider the common motivations for students who enroll in courses.

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