单项选择题 命题“P（P∪Q）”属于（）。

判断题 真值表不能用来判定蕴含于有效性。

单项选择题 下列逻辑关系中P为真一定能推出Q为真的是（）。