[請益] 替代例子(substitution instance)

[CatWalking (IF)]

小弟在做考古題，遇到課本裡面沒出現過的名詞，

上網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://www.ptt.cc/bbs/logic/M.1435044468.A.1BF.html
推 rossignols: 只有p,q,r能代換成別的句子，其他部分都要保留。
→ rossignols: 所以q用~P代換以後，~q會變成~~P，不是P。
→ CatWalking: ~~P不就等於P了?
推 rossignols: 在古典邏輯理面，~~P和~P的確是等價。但他們是不同的
→ rossignols: 句子。
→ rossignols: 說錯，~~P和P等價。
推 sunny1991225: p‧(~q→r)是語架而不是句子，要看一個語句是不是
→ sunny1991225: 該語句的例子，首先要先看看是否出現在語架中的
→ sunny1991225: 語句連接詞都會被保留下來
→ sunny1991225: (上面第二行有typo，應該是「該語架的例子」