"Eğer $x^2 = 9$ ise, $x = 3$ veya $x = -3$'tür." Bu önermenin hipotezinde belirtilen koşul sağlandığında, hükmün doğruluğu nasıl garantilenir?
