学堂在线西南科技大学数理逻辑(2021秋)期末考试题答案
- 下列表达公式之间的关系错误的是( ) A ┐P∧(P∨Q)⇒ ┐P B P∧Q⇒P C P 2022-01-12
- 下列公式中哪个不是永真式?( ) A (┐P∧Q)→(Q→┐R) B P→(Q→Q) C (P∧ 2022-01-12
- 下列表达公式之间的关系正确的是( ) A P→(Q→Q)⇒Q→P B ┐Q⇒P→Q 2022-01-12
- 公式(┐P∧Q)∨( ┐P∧┐Q)可化简为( )。 A ┐P B Q→P C P D P→Q 2022-01-12
- 永假式的否定一定是( ) A 永真式 B 永假式 C 可满足式 D 矛盾式 2022-01-12
- 设P:天晴,Q:我去打球,则命题“只有在天晴时,我才不去打球”可符号化为( )。 A 2022-01-12