true及false那一個較大的問題，不一定是程式相關課程才有討論。
別忘了Boolean代數並不是為了寫程式才發展出來的。(George Boole是十九世紀的數學家)
程式語言中true及false能否比較牽涉到程式語言如何實作true與false。
但回歸到Boolean代數的定義，Boolean代數是個partially ordered set，true與false是有次序，可以比較大小的。所以我才會問樓主是不是在修“離散數學”。

有興趣的人可以參考wikipedia上有關Boolean algebra、Partially ordered set、Lattice等相關條目。
http://en.wikipedia.org/wiki/Boolean_algebra
http://en.wikipedia.org/wiki/Partially_ordered_set
http://en.wikipedia.org/wiki/Lattice_%28order%29