önermeler mantığında kullanılan sistemdir.
x=y ve y=z ise x=z 'dir.
burda sorun öncüllerin (x=y ve y=z nin) kesin doğru olduğunu denetlemektir.
neden bekliyorsun?
bu sözlük, duygu ve düşüncelerini özgürce paylaştığın bir platform, hislerini tercüme eden özgür bilgi kaynağıdır.
katkıda bulunmak istemez misin?