用真值表来验证（（p→q）∧p）├q是否为有效式。

下列概念为非空概念的是（）。

“共青团”和“共青团员”，这两个概念是（）。

“某体操队有些队员来自广西”，这个判断的对象是（）。

“所有S是P”和“所有M是N”这两个逻辑公式（）。

“我们单位的有些电脑遭遇了黑客攻击”，这一判断是（）。

当S真包含于P时，由此可以得到（）。

“控告”这种关系是（）。

一个联言判断“﹁p∧q”真，那么一定是（）。

“或者p，或者q”的逻辑含义是（）。