[其他] nested quantifier

[andrenvq57 (喂！威，喂？)]

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