Hello, Maddog!

There seem to be two major difficulties:

. . [1] Translating statements into logic

. . [2] Constructing and completing truth tables.

Can you describe yours?

1) .No A is B . . . . . . .

. . .Some C is A . . . . .

. . .------------------- . ---------

. Some C is not B . .

The last column (4) is all T's.

The statement is valid.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Now try the second problem . . .

2) All B is A . .

. . All C is A . .

. . ----------- . .-------

. All C is B . .

Now test: .