[其他] nested quantifier

看板Math作者andrenvq57 (喂！威，喂？)時間13年前 (2012/09/12 12:53)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串1/1

let P(x,y) be x<y VyEx(P(x,y)->P(y,x)) 是True還是False? 符號 V is "for all" E is "for some" -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 24.5.242.122

文章代碼(AID): #1GK1LBvv (Math)