WorksheetsProposition Basics
Total questions: 20
Worksheet time: 10mins
"2 + 5 = 5"
Proposition
Not proposition
"Grass is green."
Proposition
Not Proposition
"A rhinoceros' horn is made of hair."
Proposition
Not proposition
Find the negation of p: 3 is an odd number.
¬p: 3 is not an odd number
¬p: 3 is not an even number
¬p: 2 is not an odd number
¬p: 3 is an even number
Find the negation of p: z is greater than 100
¬p: z is at most 100
¬p: z is less than 100
¬p: z is not less than 100
¬p: z is not greater than 100
"Close the door."
Proposition
Not proposition
"Hahaha"
Proposition
Not proposition
"x is greater than 2"
Proposition
Not proposition
Express the compound statement in words:
p ∧¬q
China is in Africa or Rwanda is not in Asia.
China is not in Africa or Rwanda is in Asia.
China is in Africa and Rwanda is not in Asia.
China is not in Africa and Rwanda is not in Asia.
Which of the statements cannot possibly be true?
p∧q
¬p∧q
p∧¬q
¬p∧¬q
¬(p∧q)
p: all dogs bark
q: all flowers are yellow
Translate to symbolic notation:
All flowers are not yellow or all dogs bark.
¬(q∨p)
¬p∧¬q
¬q⊕p
¬q∨p
What is the symbolic notation for the compound proposition?
p∧q
p∨q
p⊕q
¬p∨¬q
"Fish can fly."
Proposition
Not proposition
Convert from symbolic notation to words:
p ∨ ¬q
Matthew arrives home before 6:00 or Anna does not cook dinner.
Either Matthew arrives home before 6:00 or Anna does not cook dinner, or both.
Matthew arrives home before 6:00 or Matthew washes the dishes.
If Matthew arrives home before 6:00, then Anna does not cook dinner.
a: 10+2 > 11
b: 1 < 0
True or False:
a → b
True
False
a: true
b: false
True or False:
a ⊕ b
True
False
Write the following in words:
¬p⋀q
Either x is not an even number or x is divisible by 3, but not both.
x is not an even number and x is divisible by 3.
Neither x is an even number nor x is divisible by 3.
x is not an even number and x is not divisible by 3.
"Is it hot outside?"
Proposition
Not proposition
"y = y"
Proposition
Not proposition
"A snail can sleep for three years."
Proposition
Not proposition
