Topic 6: Basic Forms of Deductive Reasoning Flashcards
What is Syllogism?
A syllogism is an argument that consists of three sentences, each of which expresses a relation of predication between two terms.
In a syllogism, there must only be three different terms and each term must appear twice in the argument.
Express the Syllogism Form
All A are B
All A are C
————-
Some B are C
What is a Conditional arguement?
“if..then” relationship expresses a particular kind of relationship (hypothetical relationship) between two sentences.
If the antecedent is true, then the consequent must also be true.
What is the Modus Ponendo Ponens Form?
It is a valid form of conditional form, whereby it is affirming the antecedent.
If P, then Q
P
————–
Q
What is Modus Tollendo Tonens?
It is a valid form of conditional form, whereby it is denying the consequent.
If P, then Q
Not Q
————–
Not P
What are the fallacy of a conditional form?
The fallacy of Denying the antecedent
If P, then Q
Not P
————–
Not Q
The fallacy of Affirming the consequent
If P, then Q
Q
—————
P
Derive “Only if..”
P only if Q
= “If not Q, then not P”
= “If P, then Q”
“… If and Only if…”
P if and only if Q
= “P, if Q” and “P only if Q”
= “If Q, then P” and “If P, then Q”
Bidirectional Relationship
How is “Not” expressed
Not is a negation it is often used as ‘it is not the case that’ is used to express the negation
What would be a double negation?
Double negation would cancel the negation and return the statement back to its original form.
How is “And” expressed
A sentence formed by “and” is called conjunction: we are assuming that both statements is true.
What is the form of Conjunction Introduction (CI)?
We can affirm independently two separate sentences, we can always affirm the conjunction of the two sentences
P
Q
———–
P and Q
What is the form of Conjunction Elimination (CE)?
We can always derive anyone of the conjuncts from the conjunction
P
and vice versa
Q
What are the form of a Negation of a Conjuction Arguement?
Not both (P and Q)
P
————————-
Not Q
and vice versa
Not both (P and Q)
Q
—————————
Not P
Give an example of an invalid form of a Negation of a Conjunction Arguement?
Not both (P and Q)
Not P
————————-
Q
and vice versa
Not both (P and Q)
Note Q
—————————
P