从“可能明天有雾霾”为假可必然推出()。

已知“可能p”假，可推知（）

用真值表来验证((p→q)∧┓q)├┓P是否为有效式。

思维的基本特征是概括性和___。

演绎推理不是___，而是必然性推理。