# Rules of implication

1. Apr 13, 2012

### 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!!!

2. Apr 13, 2012

### d2j2003

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

3. Apr 13, 2012

### cris(c)

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