Reasoning 2 Flashcards
What is Deductive Reasoning
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be falseReasoning to a conclusion from a set of premises or statements where that conclusion follows necessarily from the assumption that the premises are true
What can the conclusion from deductive reasoning be drawn with
Certainty
What is deductive reasoning based on
Formal logic
What is Logical Reasoning (also known as conditional reasoning)
A form of thinking that forms logic with “if this then that”
What sequence of symbols is commonly used in Conditional reasoning
If “P” then “Q”
What is an Antecedent
A thing that exists before or logically precedes another (Or “P” in conditional reasoning)
What is a consequent
Something that follows as a result (In conditional reasoning that’s “Q”
What does “if ‘P’ then ‘Q’” mean
If i do one thing (P) then it will be followed by another thing (Q)
What is a good example of “If P then Q”
“If I attend all my lectures (P) then I will do well in my exams (Q)
What is a logically Valid inferences
An inference based on sound evidence with a conclusion that follows logically (It will ALWAYS be true)
What is a logically invalid inference
That even if the premise is true, the conclusion could still be false (It may or may not be true)
What are the two forms of Logically valid inferences
Modus Ponens, Modus Tollens
In “If P then Q” what is modus ponens
Modus Ponens refers to if “P” and “Q” are true then the consequent “Q” will remain true. (If P then Q = If I am Miley Cyrus I am crazy. P = I am Miley Cyrus. Therefore Q = I must be Crazy)
In “If P then Q” what is modus tollens
“Not Q” If Q is not true then P wont be either (If P then Q = If I am Miley Cyrus I am crazy and “not Q” = I am not crazy then “Not P” = I am not Miley Cyrus.
What are the 2 forms of logically invalid inferences
Denial of the Antecedent, Affirmation of the consequent