Entailment and Inference in Predicate Logic

Casual Mode - Take your time!

1 / 15
✓
Correct
0
✗
Incorrect
0
★
Score
0%
Multiple Choice

Which of the following is a valid argument form?

  1. If P, then Q.
  2. P or Q.
  3. If P, then not Q.
  4. Not P, therefore Q.
Change Mode