Çözünürlük teoreminin kanıtlanmasında, normalde farklı maddelerdeki değişkenlerin farklı olduğu varsayılmaktadır. Bu otomatik olarak gerçekleşen bir şey değildir; uygulamak için önemli ekstra kod ve hesaplama gerektirir. Bu göz önüne alındığında, bunun için bir test davası arıyorum.
Sorun şu ana kadar denediğim tüm test vakalarında hiçbir fark yaratmıyor. Muhtemelen sadece olağandışı kenar durumlarda önemlidir. As Vikipedi koyar onu, "Farklı maddelerde değişkenler farklıdır ... Şimdi, X ve Y zaten aynı değişkeni haline ikinci fıkra araçlarının Q, (Y) birinci fıkrada Q (X) birleştirilmesi."
Farklı hükümler aynı değişkenleri kullanıyorsa, aslında yanlış cevap verecek bilinen herhangi bir test vakası var mı?