Por definicion de asimetrica si xRy => ¬(yRx). Por tanto si tenes una relación reflexiva, no puede ser nunca asimétrica, sino podes suponer que es asimetrica y se cumpliría xRx => ¬(xRx) , lo cual es absurdo.
Por definicion de asimetrica si xRy => ¬(yRx). Por tanto si tenes una relación reflexiva, no puede ser nunca asimétrica, sino podes suponer que es asimetrica y se cumpliría xRx => ¬(xRx) , lo cual es absurdo.