$X$ ile $Y$ aynı küme mi?
Elimizde verilen önermenin hipotezinde kıyaslanabilir topolojiler için olduğu belirtmiştir hocam sizin dediğiniz ifadeye göre kıyaslama yapamayız takibi
Aslında verilenden $X\subseteq Y$ olduğu çıkar.
Ama, cevap, $X=Y$ ve $X\subsetneq Y$ olması durumuna göre değişir.
O nedenle sordum.
Evet hocam haklısın ama kafamı kurcalayan şöyle bir ifade de var eğer ki sizin dediğiniz ifadeye göre kıyaslanamaz topolojiler olarak düşündüğümüzde verilen önermenin hipotezinin doğruluk değeri 0 olup bu önermenin mantıksal sonuçtan doğru olduğu söylenebilir mi (yoksa kıyaslama yapamadığımız için doğruluk değeri hakkında birşey söyleyemez miyiz?)
Sen bu soruyu nasıl çözdüm HakanErgun?
İlk durum olarak $X=Y$ olsun deyip ifadeyi ispatladım ikinci durum olarak ise $X\neq Y$ olsun deyip ters örnek verdim hocam