Rules of Implication: Is [(P implies A) etc] True?

[cris(c)]

Suppose I know that [(P implies ~A) and (P implies B) and (P implies C)] is impossible. Does this means that the following statement is true: [(P implies A) and (P implies B) and (P implies C)]?

Any help is greatly appreciated!

 

[d2j2003]

so basically you are asking if (P implies ~A) implies that (P implies A) and it does not..

 

[cris(c)]

I guess you're right! P cannot imply both A and ~A...