Logic / Logic 021 · Atom · ~20 seconds
The Counterexample Method
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
To prove invalidity, build an argument with the same form whose premises are obviously true and conclusion obviously false.
Show
Form: All A are B; c is B; so c is A. Substitute: All dogs are mammals; my cat is a mammal; so my cat is a dog.
Watch for
A counterexample proves invalidity. Failing to find one proves nothing — you may just lack imagination.