“p q”为真 当且仅当()。

一个论证是归纳上强的，当且仅当，它是逻辑上正确的。（)

两个正规式等价，当且仅当它们所描述的正规集相同。（)

“p∧q”为假 当且仅当()。

“p→q”为真 且仅当()。

一个判断式“p∨q”为假 当且仅当A.p真且q真B.p真且q假C.p假且q真D.p假且q假

一个向量方向不确定当且仅当模为 0()