命题形式～（p→（q←r））等值于（）。

第1题：

第2题：

在下列命题形式中，与p∨q相矛盾的是（）。

• A、﹁p∨﹁q
• B、﹁p→q
• C、﹁p∧﹁q
• D、p←q

第3题：

第4题：

与（p→q）等值的命题形式有（）

• A、（~pVq）
• B、~（pV~q）
• C、（q←p）
• D、（~p←~q）
• E、（~q→~p）

第5题：

在以下命题形式中，与p→q具有等值关系是（）。

• A、p∧q
• B、﹁p∧q
• C、p∨q
• D、﹁p∨q

第6题：

下列推理形式中，有效式是（　）

• A、（p∧q∧r）→（p∧r）
• B、（（→）∧q）→p
• C、（（p∨q）∧p）→
• D、（（←q）∧）→q
• E、（（p→）∧）→q

第7题：

试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。

第8题：

第9题：

如果一组命题P1…Pn都是真的，那么命题Q也一定是真的。这意味着P（）Q。

• A、蕴涵
• B、合取
• C、析取
• D、等值于

第10题：

“如果不以事实为根据，或者不以法律为准绳，则不能公正断案”，这个命题的逻辑形式为（）。

• A、p∧q
• B、p∨q
• C、（p∨q）→r
• D、（﹁p∧﹁q）→r