ABSTRACT
All the arguments in Lewis Carroll's puzzle are valid. When we draw the premises of a valid argument into a Venn, the conclusion draws itself in: we look at the diagram, and there it is. Now consider
All frogs are animals __________ All animals are frogs.
https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203061350/f5ce7580-7c0c-4392-aeab-0c1bd683fe20/content/fig290_B.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> By this time you should not need to note its true premise and false conclusion to recognise that this argument is INVALID: its form should be enough. And with a Venn diagram, you can show this.How many sets are involved here, and what are they? How many circles will the diagram need?
What is this argument's form, in the logic of sets?
Draw the diagram for this form, and explain how it shows that the form is invalid.
