it is valid.
what do you think constitutes a proof?
You might start with a Venn diagram...
No beer drinker is a vegan. John is a beer drinker. Therefore, John is not a vegan.
Is this valid or invalid. If valid, give a proof. If invalid, give a counterexample.
1 answer