Lewis Carroll Logic Problems

The original problem has 8 premisses and 7 attributes

Number	Premiss
1	None of the ripe rosy apples, that I have bought from you, are of good flavour;
2	There are no small ripe apples, in this box, that are not rosy;
3	All the small apples of good flavour, that are unripe, are unfit for the table;
4	The small rosy apples, that are wanting in good flavour, were not bought from you;
5	There are no apples, in this box, that are neither ripe nor rosy nor of good flavour;
6	The large ripe apples, belonging to me, that are wanting in good flavour, are not in this box;
7	No large rosy apples are fit for the table, unless they are ripe;
8	None of the large apples, that are of good flavour but not rosy, were bought from you;
9

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

So the symbolic form of the premisses is as follows:

Premiss. There are no my apples that are	Symbolic form of premiss
1. ripe, rosy, bought from you, of good flavour,	hkae
2. ripe, not rosy, not large, in this box,	d'hck'
3. not ripe, of good flavour, not large, fit for the table,	d'eh'b
4. rosy, bought from you, not of good flavour, not large,	d'ke'a
5. not ripe, not rosy, not of good flavour, in this box,	ch'k'e'
6. ripe, not of good flavour, large, in this box,	dhe'c
7. not ripe, rosy, large, fit for the table,	dkbh'
8. not rosy, bought from you, of good flavour, large,	dek'a

The registry is:

and the barred premises are as follows:

Solution to be tested is acb

This document was last updated 7 September 2020