Lesson 3 - Some Elementary Logic Flashcards
1
Q
is the study of reasoning
A
logic
2
Q
is a declarative sentence that is either true or false, but cannot be both at the same time
A
Statement
3
Q
one that is neither true or false
A
Open statement
4
Q
is a statement that expresses a single idea
A
Simple statement
5
Q
can be formed by joining statements p and q
A
Compound statement
6
Q
∧
A
and
7
Q
∨
A
or
8
Q
⟹
A
implies
9
Q
⟺
A
if and only if
10
Q
~
A
not (negation)
11
Q
words all, each, every, some, no, and none.
A
quantifier
12
Q
a statement that uses a quantifier
A
Quantified statement
13
Q
some, for some, there exists, at least one
A
Existential quantifiers
14
Q
∃
A
there exists
15
Q
no, none, all, every, for all, for every
A
Universal quantifiers