Enrol to start learning
Reading is open to everyone. Enrolling is free, and it is what unlocks the audio lessons, practice tests and progress tracking.
7.4.1. Validity of Argument
This section
Practice test
9 questions on this section. Wrong answers show you what to read again.
Sign up to take itWhole chapter
Revision test
Mixed questions from across the chapter. Your answers get marked.
Sign up to take itQuick
Flashcard drill
2 cards from this lesson. Good the night before a test.
Try these first
- 1.
What does it mean for a set of logical operators to be functionally complete?
Hint
Think about how implications can be rewritten.
- 2.
Give an example of a logical identity.
Hint
Consider basic logical operations.
- 3.
Which of the following sets of operators is functionally complete?
- AND
- OR
- NOT
- AND
- OR
- NOT
Hint
Think about binary logic and operations.
- 4.
If a compound proposition is satisfiable, it means?
- True
- False
Hint
Consider what satisfiability entails.
- 5.
Demonstrate the functional completeness of the set {OR, NOT}. Show how to construct conjunction from these.
Hint
Use De Morgan’s laws.
- 6.
Using resolution refutation, prove that the premises {p, q} entail the conclusion ¬r.
Hint
Show steps leading to empty resolvent.
Exercises
Total Questions
2
Estimated Time
4 min
Passing Score
70%
Instructions
- Read each question carefully
- You can use hints if you need help
- Complete all questions before submitting
2 more questions available
Enrol freeQuiz
Total Questions
2
Estimated Time
4 min
Passing Score
70%
Instructions
- Read each question carefully
- You can use hints if you need help
- Complete all questions before submitting
1 more question available
Enrol freeChallenge Problems
Total Questions
2
Estimated Time
4 min
Passing Score
70%
Instructions
- Read each question carefully
- You can use hints if you need help
- Complete all questions before submitting