K是重言式，那么K的否定是（）

利用消解原理证明下列推理的正确性：如果张三努力工作，那么李四或王五感到高兴；如果李四感到高兴，那么张三不努力工作；如果刘六高兴，那么王五不高兴．所以，如果张三努力工作，则刘六不高兴． 点击查看答案

利用消解原理指出以下推理是否正确。 前提： （1）如果这里有演出，则通行是困难的； （2）如果他们按照指定的时间到达，则通行是不困难的； （3）他们按照指定时间到达了、 结论：这里没有演出。 点击查看答案