由”s必然是p为真“，可推出（）

• A、s可能是p为真
• B、s可能不是p为真
• C、s必然不是p为假
• D、s必然不是p为真
• E、s可能是p为假

简单枚举法属于（）。

从下列前提出发，能否推出甲不去值班，若能推出，请写出推导过程和根据。

（1）如果甲去值班，则乙去值班；

（2）只有乙不去值班，丙才去值班；

（3）若戊去值班，则丁不去值班；

（4）或丙去值班，或丁去值班；

（5）戊去值班。