Practice Propositional And First-order Logic (4.3) - Knowledge Representation and Reasoning

Practise this section

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

6 sample questions

Question 1.
Define propositional logic.
Show hintHide hint
Think about how we represent facts in a simple way.
Question 2.
What does a logical connective do?
Show hintHide hint
Consider how you would combine two true statements.
3Question 3.
What is propositional logic?
- True
- False
Show hintHide hint
Recall the definition we discussed.
4Question 4.
Which operator represents a logical AND?
- ¬
- ∧
- ∨
- →
Show hintHide hint
Think about how you combine two true statements.
Question 5.
You are given the statements: 1. All birds are animals. 2. Penguins are birds. Using first-order logic, derive the conclusion: Penguins are animals.
Show hintHide hint
Remember how the quantifiers interact with the predicates.
Question 6.
Formulate the statement 'Some cats are not black' using first-order logic.
Show hintHide hint
Focus on how to translate 'some' in FOL.

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