3.5 Symbolic Arguments Flashcards
Premises
Parts of a symbolic argument
Conclusion
The logical conclusion to the premises
Valid
An argument is valid when its conclusion necessarily follows from a given set of premises
Invalid (fallacy)
When the conclusion does not necessarily follow from the given set of premises
How do you determine if an argument is valid or invalid?
Write the argument in symbolic form (ex: [(premise 1) V (premise 2)] -> conclusion).
Construct a truth table.
If answer column is all trues, the statement is a tautology and the argument is valid. If the answer column does not have all trues, the argument is invalid.
Law of detachment
p -> q
p
Therefore q
Law of contraposition
p -> q
~q
Therefore ~p
Disjunctive syllogism
p V q
~p
Therefore q
Law of syllogism
p -> q
q -> r
Therefore p -> r
Fallacy of the converse
p -> q
q
Therefore p
Fallacy of the inverse
p -> q
~p
Therefore ~q