[請益] 替代例子(substitution instance)
小弟在做考古題，遇到課本裡面沒出現過的名詞，
上網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
推
06/24 12:42, , 1F
06/24 12:42, 1F
→
06/24 12:43, , 2F
06/24 12:43, 2F
→
06/24 22:21, , 3F
06/24 22:21, 3F
推
06/25 12:43, , 4F
06/25 12:43, 4F
→
06/25 12:44, , 5F
06/25 12:44, 5F
→
06/25 12:44, , 6F
06/25 12:44, 6F
推
07/07 02:44, , 7F
07/07 02:44, 7F
→
07/07 02:45, , 8F
07/07 02:45, 8F
→
07/07 02:45, , 9F
07/07 02:45, 9F
→
07/07 02:46, , 10F
07/07 02:46, 10F