┐QÙ(P→Q)可以蕴含
A ┐P
B P 
C Q
D Q