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