A、A与B同时发生
B、A发生，则B必发生
C、A不发生，则B必不发生
D、B不发生，则A必不发生
喵查答案：A不发生，则B必不发生