形式逻辑问题：没有S是P和并非S是P没有S是P是否可以写...

精选知识

　　你要知道,S＊P（其中＊代表A、E、I、O之一）本身就考虑了量词.所以,用这种方式表示命题时,必须注意命题中包含或暗含的量词.

（1）没有S是P：

　　其实很简单,“没有”就是“并非有”、“不存在”的意思.所以,该命题直接转换为标准说法就是：并非“有的”S是P.即特称肯定命题的否定：┐SEP.所以,┐SEP应该是这个命题的表示,而不是你说的第二个命题.

　　另外,根据这四类命题的对当关系,可知：┐SEP＝SOP,也就全称否定命题.

（2）没有S不是P：

　　即：并非“有的”S不是P.即特称否定命题的否定：┐SIP；等价于全称肯定命题：SAP.

（3）并非S是P；

　　该命题不包含量词,对于这种命题,一般会按全称命题处理,所以表示为┐（SAP）是正确的.

　　另外,我看你前两个命题没有用括号,而最后一个带了,所以我怀疑你前两个命题是想对主项S进行否定.这种表示是错误的.S＊P表示法包含四种命题,其形式是固定的,我们不能对它的某一部分进行否定.所以,┐（SAP）和┐SAP是一样的,加不加括号都是一个意思.

其他类似问题

问题1：形式逻辑：p->q,等值于~等值的话,请给出证明过程

二者是等值关系,具体证明要列出真值表,但是这里不能显示出表格.下面我把真值表写出来,

p q ┐p p→q ┐p∨q

真 真 假 真 真

真 假 假 假 假

假 真 真 真 真

假 假 真 真 真

最后看到无论p和q取任何真假值,p→q和┐p∨q的真假总是相同的,因此证明这两个逻辑形式等值.

问题2：形式逻辑运用给定的符号将下列推理形式化,并为其构造有效性的形式证明.如果他主张减轻农民的税负（A）,他将赢得农民的支持（B）.如果他主张政府增加对社会福利的投入（C）,他将赢得[历史科目]

将题意符号化：

已知：1、A->B,即┐A∨B；

2、C->D,即┐C∨D；

3、B∧D->E,即E∨（┐B∨┐D）；

4、┐E；

5、A；

求证：┐C；

证明：A∧┐E∧【E∨（┐B∨┐D）】∧（┐A∨B）∧（┐C∨D）

┐E∧┐D∧┐C∧B∧A

=>┐E、┐D、┐C、B、A

有结果得出结论：

1、他没有当选；

2、他没有赢得工人的支持；

3、他不主张政府增加对社会福利的投入；

4、他将赢得农民的支持.

5、他主张减轻农民的税负

当然,除了第三条,其他都有些废话.

问题3：形式逻辑是什么?[政治科目]

以概念、判断、推理是形式逻辑的三大基本要素.概念的两个方面是外延和内涵,外延是指概念包含事物的范围大小,内涵是指概念的含义、性质；判断从质上分为肯定判断和否定判断,从量上分为全称判断、特称判断和单称判断；推理是思维的最高形式,概念构成判断,判断构成推理,从总体上说人的思维就是由这三大要素决定的.

它要求思维满足同一律、矛盾律、排中律和理由充足律.这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性.

形式逻辑就是：非此即彼,不能允许有逻辑矛盾

问题4：问个普通逻辑学问题 运用换位法,可从命题“没有S不是P”推出（ ）

“没有S不是P”这种说法似乎现在的逻辑学课本上都不用了.它相当于“所有S都是P”.换位之后可得命题：有些P是S.

问题5：形式逻辑题已知（A）若P不与M全异,则S与P全异（B）若S与M全异,则S与P交叉（C）S不与P全异,也不与P交叉试推出S,M,P三者的外延关系,并用欧勒图表示之.[数学科目]

我想知道C是什么意思.不全异也不交叉.还有什么情况

我没学过逻辑.感兴趣

-------------------------------------

= =找了本电子书来看

外延：是概念对事物的范围的反映.

1. 相容关系

两个概念的外延至少有一部分相同,这两个概念之间的关系称为相容关系.具有相窜关系的概念称为相容概念.

两个概念之间的相容关系主要有四种.

1.1 全同关系

两个概念的全部外延都相同,这种概念之间的关系称为全同关系.具有全同关系的概念称为全同概念.

全同概念的全同,只是指它们的外延全同,而它们的内涵却是不同的.否则它们就是同一个概念,而不是具有全同关系的不同概念.

1.2 真包含关系

一个概念的部分外延与另一个概念的全部外延相同,这两个概念之间的关系称为真包含关系.其中,外延大的概念真包含外延小的概念,称外延大的概念为外延小的概念的属概念,称外延小的概念为外延大的概念的种概念.因此,又将二者的关系称为属种包含关系.

1.3 真包含于关系

一个概念的全部外延与另一个概念的部分外延相同,这两个概念之间的关系称为真包含于关系.其中外延小的概念真包含于外延大的概念.

真包含于关系与真包含关系是一对相反关系.

1.4 交叉关系

一个概念的部分外延只与另一个概念的部分外延相同,这两个概念之间的关系称为交叉关系.这两个概念称为交叉概念.

三个以上概念之间的关系较多,比较常用的是相容并列概念.

2. 不相容关系

两个概念的全部外延都不相同,这两个概念之间的关系为不相容关系.具有不相容关系的概念称为不相容概念.

2.1 全异关系

两个概念不包含于另一个概念的外延之中,并且它们的全部外延都不相同,它们之间的关

系称为全异关系.具有全异关系的概念称为全异概念.

2.2 矛盾关系

两个概念没有相同的外延,并且它们的外延之和等于它们的属概念的外延,它们之间的关系称为矛盾关系.具有矛盾关系的概念称为矛盾概念.

2.3 对立关系

两个概念没有相同的外延,并且它们的外延之和小于它们的属概念的外延,它们之间的关系称为对立关系.具有对立关系的概念称为对立概念.

欧勒图就是像表示集合的圆圈...

------------------------------------------

用集合跟逆否命题想的话

从C开始.S与P可以是包含.包含于.全同.

如果是全同.从A的逆否命题(若S不与P全异.则P与M全异.)得知S与M全异.又由B知.S与P交叉.矛盾了

如果S包含于P.从A的逆否命题(若S不与P全异.则P与M全异.)得知S与M全异(因为S在P内部).由B推出S与P交叉.也矛盾

如果P包含于S.从A的逆否命题(若S不与P全异.则P与M全异.)得知P与M全异.又由B的逆否命题(若S与P不交叉.则S与M不全异).S与M也不可能全同(否则M就包含P了.而P与M全异).所以S与M可以是S包含M或交叉吧.

这样答案不太确定.我没学过这个.不知道回答格式怎么写.大概是这个思路吧.

图大概画一下.M有两种情况