I don't understand how you can successfully get to C some A. If you have C some B, can you say C some ~B? Because if some Cs are Bs, then at least one C is not a B (C some ~B). It would then follow that the transitive property has to point away from the quantifier which leads to C some ~A.
P: A -> B
P: ~B -> ~A
P:?
C: C some B
C some ~B -> ~A
C some ~A
Thanks for your help.
Reply
Create a free account to read and
take part in forum discussions.
