Foundations Flashcards
1
Q
Predicate definition
A
A statement that depends on one or more variables
2
Q
Proposition definition
A
Is a statement that is true or false
3
Q
If P implies Q what is the contrapositive
A
Not Q implies not P
4
Q
Is P implies Q what is the converse
A
Q implies P p
5
Q
If P implies Q what is the negation
A
P and not Q
6
Q
When do you change the quantifiers of a statement.
When taking the contrapositive or negation
A
Negation
7
Q
N Z Q R
A
N - natural numbers { 1,2,3}
Z - integers { -1,0,1}
Q - rationals { -1/2, 3/4, 19/7}
R - reals { not imaginary}