proposition
compound
negation
∧
true, false
3, 3, true
a single
conjunction
compound
statement
existential
~s v r
logical
X, Y, Y
symbols
∀
false
none, no, all, every
grouped together
Some
nice
All
open
truth values
true, false
some
existential
7 > 5, 7 = 5
p ^ q
handsome
simple
true, false
X, Y
¬q
school
Go
Some
s ∨ r
¬P(x)
q → s
simple, connectives
disjunction
not
and, or, if, if and only if
~q ^ r
bonus
¬P(x)
P, Q
Today is not Friday.
p, q, r, s
No
two
∃
7, 5, true
q → ¬s
~q
true
The dog needs to be fed.
statement
Some
statement
Sunday
combination
X, Y
true, false
parentheses
question
simple
truth
Bangkok
All
X, Y
true
Some
compound
true, false
negation
conditional, converse
get, complete, bonus
comma
p ∧ q
¬q ∧ r
parentheses, brackets
true
2, 2, true
p, r, q
parentheses
truth
true, true
one
good grade
first
truth values