Proofs Flashcards
What does P ⇒ Q mean?
Here P is the premise (hypothesis) and Q is the conclusion based on P. So P ⇒ Q means that “P is a sufficient condition for Q” or “Q is a necessary condition for P”.Exs of expressing it are:1. P implies Q2. If P then Q3. Q follows from P4. Q if P5. Q is neccessary for P6. P is sufficient for QSo If P is true, Q is true by some logical deduction; but if P is false, Q may be still be true by another reason.Ex: If P is the statement “it is saturday” and Q is the statement “it is the weekend” then: P ⇒ Q. But statement Q is true on Sundays too, when P is false.
What does P ⇐ Q mean?
The reverse of P⇒ Q:Exs of expressing it are:1. Q implies P2. If Q then P3. P follows from Q4. P if Q5. P is neccessary for Q6. Q is sufficient for P
What does P ⇔ Q mean?
P is equivalent to Q ie. the 1st statement is true IF AND ONLY IF the second statement is true.Exs of expressing it are:1. P if and only if Q2. P is equivalent to Q3. P implies Q and Q implies P
What does the smbol ¬ stand for?
Negation.Exs:1. If the proposition P is true then its negation ¬P is false.2. If the proposition P is false then its negation ¬P is true.Both propostions P and ¬P cannot be true at the same time.
Using Negation symbol ¬ what is the inverse of:P ⇒ Q
¬P ⇒ ¬Q
What is the converse of P ⇒ Q?
Q ⇒ P
How do you get the contropositive statement?
The inverse of the converse.ex: IF P ⇒ Q then the contropositive is:Q ⇒ P then¬Q ⇒ ¬P
Is this statement true: |x + y| ≤ |x| + |y|
YES
In proof by contradiction, what would the negation of the statement:”if M^(2) = 14 then M is not a rational number”
“if M^(2) = 14 then M is a rational number”
Rewrite the statement using the contropositive:”If 7 is not a factor of n^(2) then 7 is not a factor of n”
“If 7 is a factor of n, then 7 is a factor of n^(2)”
Have you learned the direct proof for the formula for the sum of geometeric series?
LEARN IT
Have you learned the direct proof for the formula for the sum of Arithmetic series?
LEARN IT
Do you know the proof of induction for the Binomial Thereom?
LEARN IT