当前位置:首页 > 离散数学(02324) > 正文内容

判别下列公式中哪些是合式公式,那些不是合式公式。
(1)(Q→R ⋀S);
(2)(P⟺ (R→S));
(3)((¬P→Q)→(Q→P)));
(4)(RS→T);
(5)(¬(PⅤQ)⋀¬R)Ⅴ((¬P⋀Q)Ⅴ¬R)⋀S)。

高老师2年前 (2024-03-26)离散数学(02324)14

判别下列公式中哪些是合式公式,那些不是合式公式。
(1)(Q→R ⋀S);
(2)(P⟺ (R→S));
(3)((¬P→Q)→(Q→P)));
(4)(RS→T);
(5)(¬(PⅤQ)⋀¬R)Ⅴ((¬P⋀Q)Ⅴ¬R)⋀S)。

(2)、(3)、是合式公式,(1)、(4)、(5)不是合式公式。

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。

本文链接:https://doc.20230611.cn/post/430244.html

分享给朋友: