用真值表方法验证下面这个推理是否有效。如果是优秀的文艺作品就有较高的艺术性;标语口号式的文艺作品没有较高的艺术性;所以，标语口号式的文艺作品不是优秀的文艺作品。
(1)以“p"代表“优秀的文艺作品”，“q”代表“有较高的艺术性”，这个充分条件假言推理的逻辑形式可以表示为：p→q，┐qⱵ┐p.(2)这推理的真值表如下：
(3)由真值表可以看出：这个推理是一个永真式，所以，该推理是正确的推理。
用真值表方法验证下面这个推理是否有效。如果是优秀的文艺作品就有较高的艺术性;标语口号式的文艺作品没有较高的艺术性;所以，标语口号式的文艺作品不是优秀的文艺作品。
(1)以“p"代表“优秀的文艺作品”，“q”代表“有较高的艺术性”，这个充分条件假言推理的逻辑形式可以表示为：p→q，┐qⱵ┐p.(2)这推理的真值表如下：(3)由真值表可以看出：这个推理是一个永真式，所以，该推理是正确的推理。
