Created on

Basic Logic

Test your understanding of basic logic

1 / 7

The following argument Valid: June is younger than Pete. Pete is over 60. So, June must be younger than 60

2 / 7

The proper symbolization of "It is not the case that Ann and Bob will both swim" is:

3 / 7

The proper symbolization of "Both Ann and Bob will not swim" is

4 / 7

Valid or Invalid?

Neither Ann nor Bob is home. So, Bob is surely not home.

5 / 7

The negation operator is dyadic.

6 / 7

Suppose ~P v ~ Q is a sentence form. Is the following sentence an instance of this form?

~[~A v ~(B v C)]

7 / 7

Suppose A is True, B is False, and the values of P and Q are unknown. Nevertheless, what is the truth value of the following:

(P v A) v (Q v P)

Your score is

The average score is 29%