F4 Chapter 4: Mathematical Reasoning Flashcards
What are the two quantifiers?
All & Some
Formula for statements that are combined with ‘And’
P Q P&Q T T True T F False F T False F F False
Formula of statements that are combined with ‘Or’
P Q P&Q T T True T F True F T True F F Flase
What is Implication 1?
If P then Q
P=Antecedent
Q=Consequent
What is Implication 2?
P if and only if Q
Implication 1⃣: If P then Q
Implication 2⃣: If Q then P
What is Converse?
The converse of an implication is the reverse statement of an implication which is not necessarily true.
What is Type 1 Argument?
Premise 1: All A are B
Premise 2: C is A
Conclusion: C is B
What is Type 2 Argument?
Premise 1: If P then Q
Premise 2: P is true
Conclusion: Q is true
What is Type 3 Argument?
Premise 1: If P then Q
Premise 2: Not Q is true
Conclusion: Not P is true
What is Deduction?
Deduction is the act of obtaining a Conclusion by using a Specific Case from a General Statement
Conclusion by deductive reasoning is always true
What is Induction?
Induction is the act of obtaining a Conclusion by using a General Statement from a Specific Case
Comclusion by inductive reasoning is not always true
What is a statement?
A statement is a sentence which is true or false, but not both