作者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/m.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