下列属于何种推理？是否为有效式？若是有效式，请写出其结构形式；若不是有效式，请写出其逻辑错误。

Question

1、凡存在的都是合理的，所以凡合理的都是存在的。
2、人格不是商品，因为商品是可以用金钱来尺度的，而人格不是可以用金钱来尺度的。
3、南京是六朝古都，南京是江苏省会，所以江苏省会是六朝古都。
4、凡共青团员都是青年，并非所有的战士都是共青团员，所以并非所有的战士都是青年。
5、不是军人是不穿制服的，他是军人，所以他是穿制服的。

Answer 1

1.不是有效式。用一元谓词E表示“……是存在的”，用R表示“……是合理的”，(x)表示“凡……都是”，则这句话可以表示为(x)(Ex--->Rx)--->(x)(Rx--->Ex)，而这是错误的推理形式，因为从Ex可表示为x∈E来看，E只是R的子集而不是R本身，当E是R的真子集时，就会出现前件真而结论假。
2.是有效式。可表示为 (x)(Mx--->Bx) & (x)(Px--->~Bx) ---> (x)(Px--->~Mx)
3.是有效式。可表示为 (x)(Nx--->Lx) & (x)(Nx<--->Sx) ---> (x)(Sx--->Lx)
4.不是有效式。错把“青年”的充分条件“共青团员”当做必要条件。
5.不是有效式。“军人”是“穿制服的”的必要条件。错把必要条件当充分条件。

Answer 2

规律推理追问

第几题？第一题？第二题呢

追答

全都可以说是这样