Proof Flashcards
1
Q
formatting
A
2
Q
What is validity?
A
if conjunction of all premises, then implication is valid.
3
Q
Can an argument be valid and false?
A
YEs of course.
4
Q
What is a “sound” argument
A
its valid and all of its premises are true
5
Q
A
started with not q… so not p
6
Q
A
know the premise and the ending place. then work up and down to find in the middle
7
Q
whats modus ponens?
A
p, p–>q, q
8
Q
same as above
A
9
Q
predicates and quantifiers
A
10
Q
methods of proving
A
11
Q
direct proof
A
12
Q
A
not q then not p
13
Q
A
14
Q
how to do these
A
vertical line by line, write the premise, definition, inference type
jigsaw puzzle, work backwards where useful
15
Q
existence theorem what to do?
A
just point at an example
