离散数学中的推理理论~~急求详解~~
如果厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年，并且工厂厂长辞职。因此，若厂方拒绝增加工资，而罢工刚刚开始，那么罢工不会停止的。（急求急求，后天就考试了，拜托大家...
如果厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年，并且工厂厂长辞职。因此，若厂方拒绝增加工资，而罢工刚刚开始，那么罢工不会停止的。（急求急求，后天就考试了，拜托大家啦~~~~）
展开
展开全部
设A：厂方增加工资；B：罢工停止；C：罢工超过一年；D：工厂厂长辞职
则题设所求为：
(非A/\非(C/\D))->非B
非A
非C
-----------------------
非B
容易证明此推论是正确的。
则题设所求为：
(非A/\非(C/\D))->非B
非A
非C
-----------------------
非B
容易证明此推论是正确的。
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
