知到答案离散数学智慧树答案_2022年

武汉科技大学

第一章

若P：天下雨；Q：他来了；则“虽然天下雨，他还是来了”，可符号化为( )
答案:P∧Q
以下命题公式中，为永真式的是( )
答案:(P→┐P)→┐P
命题公式的能成真赋值的P,Q的值为（ ）
答案:00;11;01
命题公式的能成假赋值的P,Q的值为（ ）
答案:01;00;10
G=P→(P∧(Q→P))主析取范式中所含的极大极小项有（ ）
答案:P∧¬Q;¬P∧¬Q;¬P∧Q;P∧Q
G=P→(P∧(Q→P))主合取范式中所含的极大极小项有（ ）。
答案:无;此项必选
(P→Q)∧Q的主合取范式中所含的极大极小项有（ ）。
答案:¬P∨Q;P∨Q
(P→Q)∧Q的主析取范式中所含的极大极小项有（ ）。
答案:P∧Q;¬P∧Q
设前提集合Γ={P∨Q, R∧S, ┐Q},公式G=P∧S,，证明Γ=＞G。证明：（1）┐Q P（2）P∨Q P（3） T,1),2),I （4）R∧S P（5） T,4），I（6）P∧S T,3),5),I 按顺序选出(3）和(5）处应该填的内容（ ）
答案:S ;P
使用演绎法构造下列推理的证明。按顺序选出（3），（5），（6）处应该填的内容。
答案:;;