多項選擇題下列各項中哪些是命題演算公理系統(tǒng)L的合式公式？（）

A.p2
B.p1→p2
C.（?（?p111））
D.（p1∧p2）
E.（（A →（B →A ）））


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題命題聯接詞“合取”在數字電路中對應的是：（）

A.非門
B.與門
C.或門
D.與非門
E.或非門

2.單項選擇題可單獨作為命題聯接詞的充足集的是：（）

A.否定
B.合取
C.析取
D.蘊涵
E.與非

3.單項選擇題析取范式和合取范式中不出現的命題聯接詞是：（）

A.否定
B.合取
C.析取
D.蘊涵

4.單項選擇題與有效推理形式相對應的復合命題形式一定是：（）

A.重言式
B.非重言式
C.矛盾式
D.可滿足式

5.單項選擇題出現下列哪種情況就說明不是有效推理形式？（）

A.前提和結論都真
B.前提和結論都假
C.前提真而結論假
D.前提假而結論真