liiAAA数理逻辑复习题

一、选择题1、永真式的否定是（2）(1) 永真式　(2) 永假式　(3) 可满足式　(4)  (1)--(3)均有可能2、设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，则下列真命