x+y=1は偽だから命題ね