Lewis Carroll Logic Problems

The original problem has 26 premisses and 19 attributes

Number	Premiss
1	When the day is fine, I tell Froggy "You're quite the dandy, old chap!";
2	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!";
3	Now that Froggy's hair is out of curl, he has put away his gorgeous waistcoat;
4	Whenever I go out on the roof to enjoy a quiet cigar, I'm sure to discover that my purse is empty;
5	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;
6	When it is very hot, the thermometer is high;
7	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;
8	When my tailor calls with his little bill and finds me with an empty purse, I remind Froggy of that 10 pounds he owes me;
9	My railway shares are going up like anything!
10	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;
11	Now that it looks like rain, and Froggy is grinning like a hyena, I can do without my cigar;
12	When the thermometer is high, you need not trouble yourself to take an umbrella;
13	When Froggy has his gorgeous waistcoat on, but is not strutting about like a peacock, I betake myself to a quiet cigar;
14	When I tell Froggy that he's quite a dandy, he grins like a hyena;
15	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;
16	When my railways shares are going up, and when it's chilly and looks like rain, I have a quiet cigar;
17	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;
18	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;
19	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;
20	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!

The universe of discourse is cosmophase . We will use the following dictionary:

Attribute symbol	Attribute
A	the thermometer is high
B	you had better take an umbrella.
E	this
a	Froggy's hair is out of curl
b	Froggy intends to go a-wooing
c	Froggy is grinning like a hyaena
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 the roof
m	I remind Froggy of that Ł10 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

So the symbolic form of the premisses is as follows:

Premiss. There are no cosmophase that are	Symbolic form of premiss
1. not you had better take an umbrella., not I take a quiet cigar, Froggy is grinning like a hyaena,	B'n'c
2. not I remind Froggy of that Ł10 he owes me, Froggy is strutting about like a peacock, Froggy's mother permits him to go a-wooing,	m'hd
3. this, not Froggy's hair is out of curl,	Ea'
4. I take a quiet cigar, I go out on the roof, not my purse is empty,	lnv'
5. Froggy is grinning like a hyaena, I remind Froggy of that Ł10 he owes me, my tailor calls with his little bill,	zmc
6. it is very hot, not the thermometer is high,	tA'
7. not you had better take an umbrella., not I take a quiet cigar, Froggy is grinning like a hyaena,	B'n'c
8. not I remind Froggy of that Ł10 he owes me, my purse is empty, my tailor calls with his little bill,	zvm'
9. this, not my railway-shares are going up,	Ew'
10. I remind Froggy of that Ł10 he owes me, my purse is empty, not it is very hot, Froggy is wearing a waistcoat that is gorgeous beyond words,	vkmt'
11. not you had better take an umbrella., this,	EB'
12. you had better take an umbrella., not the thermometer is high,	A'B
13. not I take a quiet cigar, not Froggy is strutting about like a peacock, Froggy is wearing a waistcoat that is gorgeous beyond words,	kh'n'
14. not Froggy is grinning like a hyaena, I tell Froggy that he's quite the dandy,	rc'
15. not Froggy is strutting about like a peacock, not Froggy's hair is out of curl, not I go out on the roof, not my purse is empty,	v'a'h'l'
16. you had better take an umbrella., not I take a quiet cigar, not the thermometer is high, my railway-shares are going up,	wA'Bn'
17. Froggy's mother permits him to go a-wooing, not Froggy seems nearly mad with joy,	de'
18. not you had better take an umbrella., I take a quiet cigar, it is going to rain, not Froggy intends to go a-wooing,	snb'B'
19. not my tailor calls with his little bill, my railway-shares are going up, Froggy seems nearly mad with joy,	wez'
20. I take a quiet cigar, not Froggy is grinning like a hyaena, not it is very hot, not the thermometer is high, not I tell Froggy that he's quite the dandy,	t'A'r'c'n
21. this, Froggy is wearing a waistcoat that is gorgeous beyond words,	Ek
22. Froggy's hair is out of curl, Froggy is wearing a waistcoat that is gorgeous beyond words,	ak
23. not Froggy is grinning like a hyaena, this,	Ec'
24. I take a quiet cigar, this,	En
25. I take a quiet cigar, Froggy is grinning like a hyaena, it is going to rain,	scn
26. Froggy's mother permits him to go a-wooing, not Froggy is wearing a waistcoat that is gorgeous beyond words,	dk'

The registry is:

Entity	Appears in	Complement appears in
A		6 12 16 20
B	12 16	1 7 11 18
E	3 9 11 21 23 24
a	22	3 15
b		18
c	1 5 7 25	14 20 23
d	2 17 26
e	19	17
h	2	13 15
k	10 13 21 22	26
l	4	15
m	5 10	2 8
n	4 18 20 24 25	1 7 13 16
r	14	20
s	18 25
t	6	10 20
v	8 10	4 15
w	16 19	9
z	5 8	19

and the barred premises are as follows:

2	barred by	13 15
6	barred by	10 20
9	barred by	16 19
19	barred by	5 8
22	barred by	3 15
26	barred by	10 13 21 22

Solution to be tested is dEA'sb'

This document was last updated 7 September 2020

Index of Logic Problems