作者brickhead (brickhead)
看板logic
標題[請益] tense logic
時間Tue Jan 20 00:59:42 2015
想請問Pp代表什麼意思?
http://i.imgur.com/Y3RQC0P.jpg
根據這個網址所解釋的
http://plato.stanford.edu/entries/logic-temporal/
我還是不懂小p是什麼意思?
--
Sent from my Android
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.219.128.14
※ 文章網址: https://webptt.com/m.aspx?n=bbs/logic/M.1421686784.A.55D.html
1F:推 MathTurtle: 小p是指一個proposition01/20 10:29
2F:→ MathTurtle: 例如例子中的p指的是'John leaves'這個命題01/20 10:29
3F:→ MathTurtle: 因此 Pp 就會是 'John left'; Fp 就是'John will leav01/20 10:30
4F:→ MathTurtle: e' 以此類推01/20 10:30
謝謝,請問John will leave為什麼不寫做FFp?
5F:推 rossignols: P代表時間是過去,F代表時間是未來。Pp就是,在過去某01/20 10:38
6F:→ rossignols: 個時間,p是真的。可以讀成「p曾經發生過」。01/20 10:39
謝謝,那……我想請問p可能或不曾發生的話,是否是指假設語氣?
※ 編輯: brickhead (49.219.128.14), 01/20/2015 13:11:52