永真式判断题题库及答案.docVIP

永真式判断题题库及答案

一、单项选择题（每题2分，共10题）

1.以下哪个公式是永真式（）

A.\(P\land\negP\)B.\(P\toP\)C.\(P\lor\negQ\)

答案：B

2.\(A\to(A\lorB)\)是（）

A.矛盾式B.永真式C.可满足式

答案：B

3.下列式子中永真式是（）

A.\((P\toQ)\land(Q\toP)\)B.\(P\land(P\toQ)\toQ\)C.\(\negP\landP\)

答案：B

4.\(P\lor\negP\)是（）

A.永假式B.永真式C.不确定

答案：B

5.公式\((P\landQ)\toP\)是（）

A.永真式B.永假式C.非永真非永假式

答案：A

6.以下属于永真式的是（）

A.\(P\landQ\toP\lorQ\)B.\(P\to(P\landQ)\)C.\(\negP\land\negQ\)

答案：A

7.\(Q\to(P\lorQ)\)是（）

A.永真式B.矛盾式C.可满足式

答案：A

8.下列为永真式的是（）

A.\((P\toQ)\to(\negQ\to\negP)\)B.\(P\land\negQ\)C.\((P\lorQ)\land\negP\)

答案：A

9.\(P\to(Q\toP)\)是（）

A.永真式B.永假式C.可满足式

答案：A

10.公式\(\neg(\negP)\toP\)是（）

A.永真式B.永假式C.不确定

答案：A

二、多项选择题（每题2分，共10题）

1.以下哪些是永真式（）

A.\(P\to(P\lorQ)\)B.\((P\landQ)\toP\)C.\(P\lor\negP\)

答案：ABC

2.下列公式属于永真式的有（）

A.\(Q\to(P\lorQ)\)B.\((P\toQ)\to(\negQ\to\negP)\)C.\(P\to(Q\toP)\)

答案：ABC

3.以下是永真式的是（）

A.\((P\land\negP)\toQ\)B.\(P\lor(Q\land\negQ)\)C.\((P\toQ)\landP\toQ\)

答案：ABC

4.永真式包含（）

A.\(P\toP\)B.\(\neg\negP\toP\)C.\(P\land(Q\lor\negQ)\)

答案：ABC

5.属于永真式的有（）

A.\((P\lorQ)\to(Q\lorP)\)B.\((P\toQ)\lor(\negP\toQ)\)C.\(P\landQ\toQ\)

答案：ABC

6.下列哪些是永真式（）

A.\(P\to(P\landP)\)B.\((P\lor\negP)\toQ\)C.\(Q\to(Q\lorP)\)

答案：AC

7.永真式有（）

A.\((P\toQ)\land\negQ\to\negP\)B.\(P\lor\negP\lorQ\)C.\(P\landQ\toP\lorQ\)

答案：ABC

8.以下属于永真式的选项有（）

A.\(\neg(P\land\negP)\)B.\(P\to(Q\to(P\landQ))\)C.\((P\lorQ)\land\negQ\toP\)

答案：ABC

9.是永真式的有（）

A.\(P\to(P\toP)\)B.\((P\toQ)\to(\negP\lorQ)\)C.\(P\land(Q\toP)\)

答案：ABC

10.下列公式中是永真式的是（）

A.\((P\toQ)\to(\negP\to\negQ)\)B.\(P\lor\neg(P\landQ)\)C.\(Q\to(P\toQ)\)

答案：BC

三、判断题（每题2分，共10题）

1.\(P\toP\)是