Lewis Carroll Logic Problems

The original problem has 8 premisses and 8 attributes

Number	Premiss
1	Directors are ex-officio members of the Committee;
2	Bond-holders are eligible;
3	All others are ineligible;
4	All elderly Bond-holders, who are not Directors, are lame;
5	All short-sighted members of the Committee live in town;
6	All eligible Share-holders, who are lame, are young;
7	All Share-holders living out of town, who are not Bond-holders, are members of the Committee;
8	All elderly Directors are short-sighted.

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

So the symbolic form of the premisses is as follows:

Premiss. There are no shareholders that are	Symbolic form of premiss
1. directors, not members of the Committee,	bk'
2. bond-holders, not eligible,	ad'
3. not directors, eligible,	b'd
4. not directors, bond-holders, elderly, not lame,	cab'e'
5. members of the Committee, short-sighted, not living in town,	lkh'
6. eligible, elderly, lame,	dec
7. not members of the Committee, not bond-holders, not living in town,	h'a'k'
8. directors, elderly, not short-sighted,	cbl'

The registry is:

and the barred premises are as follows:

Solution to be tested is ch'

This document was last updated 7 September 2020