[請益] tense logic

[brickhead (brickhead)]

想請問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://www.ptt.cc/bbs/logic/M.1421686784.A.55D.html
推 MathTurtle: 小p是指一個proposition
→ MathTurtle: 例如例子中的p指的是'John leaves'這個命題
→ MathTurtle: 因此 Pp 就會是 'John left'; Fp 就是'John will leav
→ MathTurtle: e' 以此類推
謝謝，請問John will leave為什麼不寫做FFp？

推 rossignols: P代表時間是過去，F代表時間是未來。Pp就是，在過去某
→ rossignols: 個時間，p是真的。可以讀成「p曾經發生過」。
謝謝，那……我想請問p可能或不曾發生的話，是否是指假設語氣？
※ 編輯: brickhead (49.219.128.14), 01/20/2015 13:11:52