[請益] tense logic

看板logic作者 (brickhead)時間9年前 (2015/01/20 00:59), 9年前編輯推噓2(2推 0噓 4→)
留言6則, 2人參與, 最新討論串1/1
想請問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
推
01/20 10:29, , 1F
小p是指一個proposition
01/20 10:29, 1F
→
01/20 10:29, , 2F
例如例子中的p指的是'John leaves'這個命題
01/20 10:29, 2F
→
01/20 10:30, , 3F
因此 Pp 就會是 'John left'; Fp 就是'John will leav
01/20 10:30, 3F
→
01/20 10:30, , 4F
e' 以此類推
01/20 10:30, 4F
謝謝，請問John will leave為什麼不寫做FFp？
推
01/20 10:38, , 5F
P代表時間是過去，F代表時間是未來。Pp就是，在過去某
01/20 10:38, 5F
→
01/20 10:39, , 6F
個時間，p是真的。可以讀成「p曾經發生過」。
01/20 10:39, 6F
謝謝，那……我想請問p可能或不曾發生的話，是否是指假設語氣？ ※ 編輯: brickhead (49.219.128.14), 01/20/2015 13:11:52
‣ 更多 brickhead 的文章
文章代碼(AID): #1KlJW0LT (logic)