作者CatWalking (IF)
看板logic
标题[请益] 替代例子(substitution instance)
时间Tue Jun 23 15:27:45 2015
小弟在做考古题，遇到课本里面没出现过的名词，
上网google看了一下还是不太确定，
题目如下，是非题
~(P‧Q)‧(P→S)是p‧(~q→r)之一个替代例子(substitution instance)。
我对於替代例子的理解是，
若A是B的替代例子，则A命题与B命题形式相同，只是内容被代换，
而这一提前後两命题的大小写不同，
也就是说变量p被代换成~(P‧Q)
变量q被代换成~P，变量r被代换成S，
所以这题是对的。
请问这样理解是对的嘛?
又或者我对替代例子(substitution instance)的想法就错了?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 49.219.132.208
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/logic/M.1435044468.A.1BF.html
1F：推 rossignols: 只有p,q,r能代换成别的句子，其他部分都要保留。 06/24 12:42
2F：→ rossignols: 所以q用~P代换以後，~q会变成~~P，不是P。 06/24 12:43
3F：→ CatWalking: ~~P不就等於P了? 06/24 22:21
4F：推 rossignols: 在古典逻辑理面，~~P和~P的确是等价。但他们是不同的 06/25 12:43
5F：→ rossignols: 句子。 06/25 12:44
6F：→ rossignols: 说错，~~P和P等价。 06/25 12:44
7F：推 sunny1991225: p‧(~q→r)是语架而不是句子，要看一个语句是不是 07/07 02:44
8F：→ sunny1991225: 该语句的例子，首先要先看看是否出现在语架中的 07/07 02:45
9F：→ sunny1991225: 语句连接词都会被保留下来 07/07 02:45
10F：→ sunny1991225: (上面第二行有typo，应该是「该语架的例子」 07/07 02:46