عکس جمله رو اشتباه فهمیدید.
p--> q ----aks---> q-->p
منظور از عکس این بوده که اگر درخت کمینه یکنا باشه ورن ها هم متمایز هستند . (که درست نیست و میشه مثال نقض پیدا کرد )
ساده ترین مثال نقض فکر کنم این باشه :
5 5
A------B------C
داخل گراف بالا درخت کمینه یکتاست ولی وزن ها متمایز نیستند .
برای اثبات درست بودن خود عبارت هم میتونید از برهان خلف استفاده کنید .(اثبات این جا هست )