Practice Validity Of Argument (7.4.1) - Tutorial 1: Part II - Discrete Mathematics

Practise this section

7 questions

Flashcard drill
2 cards from this section. Quick, good the night before a test.
Exercise
4 questions · about 3 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.
What does it mean for a set of logical operators to be functionally complete?
Show hintHide hint
Think about how implications can be rewritten.
Question 2.
Give an example of a logical identity.
Show hintHide hint
Consider basic logical operations.
3Question 3.
Which of the following sets of operators is functionally complete?
- AND
- OR
- NOT
- AND
- OR
- NOT
Show hintHide hint
Think about binary logic and operations.
4Question 4.
If a compound proposition is satisfiable, it means?
- True
- False
Show hintHide hint
Consider what satisfiability entails.
Question 5.
Demonstrate the functional completeness of the set {OR, NOT}. Show how to construct conjunction from these.
Show hintHide hint
Use De Morgan’s laws.
Question 6.
Using resolution refutation, prove that the premises {p, q} entail the conclusion ¬r.
Show hintHide hint
Show steps leading to empty resolvent.

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