質問: この命題の真偽は何ですか? 次の命題の真偽は何ですか? 「x,yは実数とする.x>0ならば,あるyについてxy>0である.」 確かにy>0のyに対してこれは成り立っていると思います. しかし,この命題の対偶である 「x,yは実数とする.すべてのyについてxy≦0ならば,x≦0である.」 が偽であるような気がします. 反例:x=1,y=-1 ではやはり,最初の命題は偽なのですか?
回答: 最初の命題は真で、対偶の方も真だと思いますけれど。