倒逻辑的题。。。正好闲着有空就顺便答了
第一问,对任何 , ,故 。因此
【注意】因为 故 ,因此 确实是有意义的
第二问只证
一方面,对于任何 ,存在 使得 。因为 ,故 ,即 。同时 ,故 ,因此 。这样就有 。因此
另一方面,对于任何 ,存在 使 。又因为 ,故 ,故 。因此
【注意】可能你会注意到 的问题。注意此时原命题仍然是成立的,并且我的证明也仍然是成立的(vacuous truth)