当前位置:首页 > 普通逻辑(00024) > 正文内容

用真值表来验证,┐(p∧q)├p→┐q是否为有效式。

高老师2年前 (2024-03-25)普通逻辑(00024)8

用真值表来验证,┐(p∧q)├p→┐q是否为有效式。

┐(p∧q)├p→┐q的真值情况如下:


所以,┐(p∧q)├p→┐q是有效式。
(注:每行1分,结论2分,共计6分)

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

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

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

分享给朋友: