wayground logo

Free Printable Worksheets

Font size

S
M
L
XL
Worksheets

Logic - Compound Propositions

Total questions: 12

Worksheet time: 6mins

Name
Class
Date
1.

Find the negation of p: 3 is an odd number.

a)

¬p: 3 is not an odd number

b)

¬p: 3 is not an even number

c)

¬p: 2 is not an odd number

d)

¬p: 3 is an even number

2.

Find the negation of p: z is greater than 100

a)

¬p: z is at most 100

b)

¬p: z is less than 100

c)

¬p: z is not less than 100

3.

Express the compound statement in words:

p ∧¬q

a)

China is in Africa or Rwanda is not in Asia.

b)

China is not in Africa or Rwanda is in Asia.

c)

China is in Africa and Rwanda is not in Asia.

d)

China is not in Africa and Rwanda is not in Asia.

4.

Which of the statements cannot possibly be true?

a)

p∧q

b)

¬p∧q

c)

p∧¬q

d)

¬p∧¬q

e)

¬(p∧q)

5.

Classify compound proposition.

a)

exclusive disjunction

b)

inclusive disjunction

c)

Conjunction

6.

p: all dogs bark

q: all flowers are yellow


Translate to symbolic notation:

It is not the case that all dogs bark and all flowers are yellow.

a)

¬(p∧q)

b)

¬p∧¬q

c)

¬p∧q

d)

¬p∨¬q

7.

What is the symbolic notation for the compound proposition?

a)

p∧q

b)

p∨q

c)

p⊻q

d)

¬p∨¬q

8.

Convert from symbolic notation to words:

p ∨ ¬q

a)

Either Matthew arrives home before 6:00 or Anna does not cook dinner.

b)

Either Matthew arrives home before 6:00 or Anna does not cook dinner, but not both.

c)

Either Matthew arrives home before 6:00 or Matthew washes the dishes.

d)

If Matthew arrives home before 6:00, then Anna does not cook dinner.

9.

True or False:

a v b

a)

True

b)

False

10.

True or False:

a ⊻ b

a)

True

b)

False

11.

True or False:

p ⊻ r

a)

True

b)

False

c)

Cannot be determined

12.

Write the following in words:

¬p⊻q

a)

Either x is not an even number or x is divisible by 3, but not both.

b)

x is not an even number or x is divisible by 3.

c)

Neither x is an even number nor x is divisible by 3.

d)

x is not an even number and x is divisible by 3.