亲们，这个头上带一横的命题是什么？【逻辑学吧】

逻辑学吧关注：37,993贴子：144,436

用具体内容代入，把原命题和带上一横的写出来给我看下，如sep和sep头上带一横的具体命题。

送TA礼物

IP属地:广西

来自Android客户端1楼2017-02-14 13:23回复

IP属地:广西

来自Android客户端2楼2017-02-14 13:24

在原命题之上，添加一个横杠，表示原命题的否定。例如，SAP之上添加一个横，表示SOP。
必须注意：这个横杠是否定联结词。和换质推理规则无关。

IP属地:北京

来自Android客户端4楼2017-02-14 15:02

收起回复

这个横都表示非得意思，SAP加横就是说明SAP为假的意思，其他同理。举个你图中的例子，SAP和SEP为反对关系，所以SAP为真，SEP必假。SEP上横线表示非SEP必真。

来自Android客户端6楼2017-02-14 15:20

收起回复

在这些规则里，说【命题真】【命题假】，不准确，画蛇添足。建议不说。
应该说成【原命题】【否命题】。
例如：上反对关系为，若SAP，则非SEP。矛盾关系为，SAP，等值非SOP。

IP属地:北京

来自Android客户端17楼2017-02-15 06:30

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴