形式逻辑简单命题及其推理材料.ppt

凡P不是S 凡P不是非S 凡非P不是S 凡非P不是非S 凡S不是P 凡S不是非P 凡非S不是P 凡非S不是非P 有S是P 有S是非P 有非S是P 有非S是非P 有P是S 有P是非S 有非P是S 有非P是非S 有P不是S 有P不是非S 有非P不是S 有非P不是非S 有S不是P 有S不是非P 有非S不是P 有非S不是非P [能力提升] 假如命题“有些圣徒是殉道者”为真。请指出下列哪些命题是真的，哪些命题是假的，哪些命题是真假不定的？ 所有圣徒都是殉道者。 所有圣徒都是非殉道者。 有些殉道者是圣徒。 凡圣徒都不是殉道者。 所有殉道者都是非圣徒。 有些非殉道者是圣徒。 有的圣徒不是非殉道者。 凡殉道者都不是圣徒。 有些非圣徒是殉道者。 有的殉道者曾经是非圣徒。 部分圣徒不曾是殉道者。 有殉道者不曾是圣徒。 没有圣徒曾是非殉道者。 凡非圣徒都不是殉道者。 有些殉道者不曾是非圣徒。 所有非圣徒是殉道者。 所有非圣徒都是非殉道者。 凡殉道者都是圣徒。 所有非殉道者是圣徒。 所有非殉道者都是非圣徒。 凡非圣徒不是非殉道者。 凡殉道者不是非圣徒。 所有非殉道者不是圣徒。 凡非殉道者不是非圣徒。 有的圣徒是非殉道者。 有些非圣徒是非殉道者。 有的非殉道者是非圣徒。 有些非圣徒不是殉道者。 有的非圣徒不是非殉道者。 有些非殉道者不是圣徒。 有的非殉道者不是非圣徒。 假定命题“没有海盗是商人”为真。请指出下列哪些命题是真的，哪些命题是假的，哪些命题是真假不定的？ 有些商人不是海盗。 所有商人都是非海盗。 有的商人是非海盗。 凡非商人都是海盗。 有些非商人是非海盗。 所有商人是海盗。 凡非商人都不是海盗。 没有海盗是非商人。 所有非海盗都是非商人。 有的非海盗不是非商人。 有非海盗是商人。 凡非海盗都不是商人。 有些海盗是商人。 没有商人是非海盗。 所有商人都不是海盗。 凡非商人都是非海盗。 所有的海盗都是商人。 凡海盗都是非商人。 任何非海盗都是商人。 没有非商人是非海盗。 凡非海盗都不是非商人。 有商人是海盗。 有些非商人是海盗。 有海盗是非商人。 有非海盗是非商人。 有商人不是非海盗。 有非S不是P。 有非S不是非P。 有P不是S。 有P不是非S。 有非P不是S。 换位推理的注意事项： SAP只能限量换位，因为如果我们对它进行简单换位推理，那么结论就是PAS；这样，“P”在前提中不周延，在结论中却周延了，违反上述第②条规则。 例如，在《文学与出汗》中，鲁迅批判的靶子是：不描写永远不变的人性的文学作品都是不能长久流传的作品。 但他实际批判：不能长久流传的作品都是不描写永远不变的人性的文学作品。 可是，由前者推不出后者，而只能推出：有些不能长久流传的作品是不描写永远不变的人性的文学作品。 O命题不能进行换位推理。因为如果我们对SOP进行换位，那么它就变成了POS。但是，“S”在前提中是不周延的项，在结论中却变成了周延的项。这就违反了上述第②条规则，所以O命题不能进行换位推理。 由①和③可得， SAP ├ PIS ├ SIP 这是一种连续换位法。 请想一想，还有没有其他“实用的”连续换位法？ 可见，SEP与PES、SIP与PIS都是可以互推的。因此，我们有如下重要推论： ② SEP H PES ③ SIP H PIS “├”表示并读作“推出”，而“→”则表示和读作“蕴涵”。它们具有不同的涵义。 例如，“SAP├ PIS”表示由SAP到PIS的命题变形直接推理，“SAP→PIS”则表示一个复合命题。后者要想推出PIS，还必须再加上前提SAP，但这就成了间接推理。譬如，由前提“如果天下雨那么地就湿”，必须再增加一个前提“天下雨”，才能推出“地就湿”。 类似地，“?”也不同于“H”，前者表示等值，后者表示互推。 对当关系推理的命题是同素材的命题，而换位推理虽然围绕着同素材命题进行推理，但它的前提与结论却不是同素材的命题。 [练习] 给出下列命题的换位命题。 关心别人的人都不是不顾交通法规的鲁莽驾车者。 所有邪教都是组织严密的。 有些韩国商品是次品。 凡阴谋诡计都是不光明正大的。 但是，例如，对于“凡阴谋诡计都是不光明正大的”，我们不仅可以把它理解为“有些不光明正大的是阴谋诡计”，还可以把它理解为“凡阴谋诡计都不是光明正大的”。后者涉及另一种直接推理，即换质法或换质推理。 换质法 换质法是通过改变性质命题的质（命题的联项）而进行的命题变形直接推理。 改变性质命题的质，即将肯定变为否定，或者否定变为肯定。 例如，由“有人好心却是办了坏事儿”，可以有效地推出“有人好心却不是办了好事儿”。 换质推理必须遵循以下两条规则： 改