“若D则E”是“若B则C”的充要条件
则“若B则C”是“若D则E”的充要条件 且若A则B为真.
所以B->D,D->E;
所以B是E的充分条件；
也就是E是B的必要条件,则非E则非B.
同理,B是A的必要条件,非B则非A,
所以非E则非A .
显然非A是非E的必要条件.