Proofs Flashcards
1
Q
A —> B
A
A implies B
2
Q
A <— B
A
B implies A
3
Q
A <—> B
A
A implies B and B implies A
4
Q
Conjecture
A
A statement we believe is correct which then needs to be proved
A —> B
A implies B
A <— B
B implies A
A <—> B
A implies B and B implies A
Conjecture
A statement we believe is correct which then needs to be proved