Froggy's Problem was presented in Lewis Carroll's Symbolic Logic, with a note that it "contains a marvellous trap". Because Carroll never released Part 2 of Symbolic Logic, its solution is unknown.
Achieve the strongest conclusion from these premises:
When the day is fine, I tell Froggy “You’re quite the dandy, old chap!”
Whenever I let Froggy forget that 10 pounds he owes me, and he begins to strut about like a peacock, his mother declares “He shall not go out a-wooing!”
Now that Froggy’s hair is out of curl, he has put away his gorgeous waistcoat.
Whenever I go out on the roof to enjoy a quiet cigar, I’m sure to discover that my purse is empty.
When my tailor calls with his little bill, and I remind Froggy of that 10 pounds he owes me, he does not grin like a hyena.
When it is very hot, the thermometer is high.
When the day is fine, and I’m not in the humor for a cigar, and Froggy is grinning like a hyena, I never venture to hint that he’s quite the dandy.
When my tailor calls with his little bill and finds me with an empty pocket, I remind Froggy of that 10 pounds he owes me.
My railway shares are going up like anything!
When my purse is empty, and when, noticing that Froggy has got his gorgeous waistcoat on, I venture to remind him of that 10 pounds he owes me, things are apt to get rather warm.
Now that it looks like rain, and Froggy is grinning like a hyena, I can do without my cigar.
When the thermometer is high, you need not trouble yourself to take an umbrella.
When Froggy has his gorgeous waistcoat on, but is not strutting about like a peacock, I betake myself to a quiet cigar.
When I tell Froggy that he’s quite a dandy, he grins like a hyena.
When my purse is tolerably full, and Froggy’s hair is one mass of curls, and when he is not strutting about like a peacock, I go out on the roof.
When my railways shares are going up, and when it’s chilly and looks like rain, I have a quiet cigar.
When Froggy’s mother lets him go a-wooing, he seems nearly mad with joy, and puts on a waistcoat that is gorgeous beyond words.
When it is going to rain, and I am having a quiet cigar, and Froggy is not intending to go a-wooing, you had better take an umbrella.
When my railway shares are going up, and Froggy seems nearly mad with joy, that is the time my tailor always chooses for calling with his little bill.
When the day is cool and the thermometer low, and I say nothing to Froggy about his being quite the dandy, and there’s not the ghost of a grin on his face, I haven’t the heart for my cigar!
Beyond this, it is only known that Carroll created a "problem dictionary" which was found in unpublished notes:
Universe: "Cosmophases";
*eta* = this;
a = Froggy's hair is out of curl;
b = Froggy intends to go a-wooing;
c = Froggy is grinning like a hyena;
d = Froggy's mother permits him to go a-wooing;
e = Froggy seems nearly mad with joy;
h = Froggy is strutting about like a peacock;
k = Froggy is wearing a waistcoat that is gorgeous beyond words;
l = I go out on my roof;
m = I remind Froggy of the 10 pounds he owes me;
n = I take a quiet cigar;
r = I tell Froggy that he's quite the dandy;
s = It is going to rain,
t = It is very hot;
v = My purse is empty;
w = My railway shares are going up;
z = My tailor calls with his little bill;
A = The thermometer is high;
B = You had better take an umbrella.
Attempting to write the problem in Carroll's terms using the dictionary yields:
1. All !s are r.
2. All !mh are !d.
3. Eta is a!k.
4. All ln are v.
5. All zm are !c.
6. All t are A.
7. All !s!nc are !r.
8. All zv are m.
9. Eta is w.
10. All vkm are t (?)
11. Eta is sc!n.
12. All A are !B.
13. All k!h are n.
14. All r are c.
15. All !v!a!h are l.
16. All w!ts are n.
17. All d are ek.
18. All sn!b are B.
19. All we are z.
20. All !t!A!r!c are !n.
There is a proposed solution by Hawker which gives the conclusion "Froggy does not have permission to go out a-wooing", but little else.
Part of the problem (which the dictionary might resolve) is the unclear terms used (do chilly and cool mean the same thing?) and the scope of the problem over items and time. Since Lewis Carroll also produced the Raw Meat problem and the Jack Sprat problem, both of these could well be involved.
My personal incomplete analysis runs as follows:
- 3, 9, and 11 are the only statements that give facts rather than implications.
- 1 and 7 are redundant on current information because, per 11, the day is not fine.
- 10 and 13 are redundant on current information because, per 3, Froggy is not wearing his waistcoat.
- 15 is redundant on current information because, per 3, Froggy's hair is out of curl.
- 4 and 18 are redundant on current information because, per 11, "I" am not having a cigar.
- 20 is unnecessary because it is already established that "I" am not having a cigar.
Hawker's solution is found in a single inference:
- 17 modus tollens 3: Froggy's mother does not currently let him go a-wooing.
- 2 is now redundant because it is established Froggy's mother does not let him go a-wooing.
Inferences on a number of the remaining propositions simply result in a proposition with no further development:
- 16 modus tollens 11, or-elim 11: it is not currently chilly. (21)
- 19 and-elim 9: if Froggy is now mad with joy, my tailor will call with his little bill. (22)
- 5 modus tollens 11: either my tailor is not calling with his little bill, or I did not remind Froggy of the 10 pounds he owes me. (23)
- 23 modus tollens 22, either Froggy is not now mad with joy or I did not remind him of the 10 pounds he owes me. (24)
- 8 modus ponens 22: If Froggy is mad with joy and my pocket is empty, I remind Froggy of the 10 pounds he owes me. (25)
- 24 modus tollens 25: either Froggy is not now mad with joy or froggy is not mad with joy or my pocket is empty. (26)
- 26 deduplication: either Froggy is not now mad with joy or my pocket is empty.
The only remaining propositions are 6, 12 and 14 which both have preconditions that cannot be established. If we make the decidedly iffy judgement that "it is not chilly" is equivalent to "it is very hot", then 21 modus ponens 6 gives us that the thermometer is high; modus ponens 12 gives us that we need not take an umbrella; but modus tollens 18 gives us only that "it is not going to rain, or I am not having a quiet cigar, or Froggy is intending to go a-wooing" which just confirms 11 (I am not having a cigar)."
14 is going nowhere, since "telling Froggy that he is quite the dandy" is mentioned only in 1 and 7. For 1, the day is known not to be fine, but we have no grounds for inferring that this means we do not tell Froggy he is a dandy; for 7, the day is also known not to be fine, but we have no ground for inferring that this means we do tell Froggy this.