Jika a, b, c, d merupakan bilangan bulat positif sedemikian

Salah

Pembahasan

Pernyataan "Jika a, b, c, d merupakan bilangan bulat positif sedemikian sehingga a + b = c + d, maka a = c atau a = d" adalah pernyataan yang tidak selalu benar. Ini adalah contoh dari penalaran deduktif yang keliru.  
Untuk membuktikan bahwa pernyataan ini salah, kita dapat memberikan contoh penyangkal (counterexample). Misalkan a = 1, b = 6, c = 2, dan d = 5.  
Di sini, a, b, c, dan d adalah bilangan bulat positif.  
Kita periksa apakah a + b = c + d: 1 + 6 = 7 dan 2 + 5 = 7. Jadi, a + b = c + d benar.  
Namun, apakah a = c atau a = d?  
a = 1, c = 2, d = 5.  
Jelas bahwa a tidak sama dengan c (1 != 2) dan a juga tidak sama dengan d (1 != 5).  
Oleh karena itu, pernyataan tersebut salah.