Matematikte "Eğer bir fonksiyon türevlenebilir ise, süreklidir" gerektirmesi vardır. Buna göre aşağıdakilerden hangisi bu gerektirmenin doğruluğunu sorgulamak için uygun bir örnektir?
A) Türevlenebilir ve sürekli bir fonksiyon
B) Türevlenebilir ama süreksiz bir fonksiyon
C) Sürekli ama türevlenemeyen bir fonksiyon
D) Ne sürekli ne de türevlenebilir bir fonksiyon
Verilen ifade, matematikteki önemli bir teoremi belirtmektedir: "Eğer bir fonksiyon türevlenebilir ise, süreklidir." Bu ifadeyi mantıksal olarak $P \implies Q$ şeklinde gösterebiliriz. Burada:
$P$: "Bir fonksiyon türevlenebilir."
$Q$: "Bir fonksiyon süreklidir."
Bu gerektirmenin doğruluğunu "sorgulamak" veya "çürütmek" için, $P \implies Q$ önermesinin yanlış olduğu bir durum bulmamız gerekir. Bir $P \implies Q$ önermesinin yanlış olmasının tek yolu, $P$'nin doğru olduğu ama $Q$'nun yanlış olduğu bir durum bulmaktır. Yani, öncül (hipotez) doğruyken, sonuç (yargı) yanlış olmalıdır.
Bu durumda, $P$ doğru (fonksiyon türevlenebilir) ve $Q$ yanlış (fonksiyon sürekli değil, yani süreksiz) olan bir fonksiyon aramamız gerekir.
Şimdi seçenekleri inceleyelim:
A) Türevlenebilir ve sürekli bir fonksiyon: Bu durumda $P$ doğru ve $Q$ doğrudur. Bu tür bir fonksiyon, verilen teoremi destekler, sorgulamaz. Örneğin, $f(x) = x^2$ fonksiyonu her yerde türevlenebilir ve süreklidir.
B) Türevlenebilir ama süreksiz bir fonksiyon: Bu durumda $P$ doğru ama $Q$ yanlıştır. Eğer böyle bir fonksiyon bulabilirsek, verilen "Eğer bir fonksiyon türevlenebilir ise, süreklidir" ifadesini çürütmüş oluruz. Matematiksel olarak böyle bir fonksiyonun var olmadığını biliyoruz çünkü bu teorem doğrudur. Ancak, teoremin doğruluğunu "sorgulamak" için aranacak uygun örnek tipi tam olarak budur. Yani, türevlenebilir olup da sürekli olmayan bir fonksiyon bulmaya çalışmak, bu teoremi sorgulamanın yoludur.
C) Sürekli ama türevlenemeyen bir fonksiyon: Bu durumda $Q$ doğru ama $P$ yanlıştır. $P$ yanlış olduğu için ($P \implies Q$ önermesinde öncül yanlış olduğunda tüm önerme doğru kabul edilir), bu tür bir fonksiyon verilen teoremi sorgulamaz. Örneğin, $f(x) = |x|$ fonksiyonu $x=0$ noktasında süreklidir ama türevlenemez. Bu durum, teoremi çürütmez.
D) Ne sürekli ne de türevlenebilir bir fonksiyon: Bu durumda $Q$ yanlış ve $P$ yanlıştır. Yine $P$ yanlış olduğu için, bu tür bir fonksiyon da verilen teoremi sorgulamaz. Örneğin, $f(x) = \frac{1}{x}$ fonksiyonu $x=0$ noktasında ne sürekli ne de türevlenebilirdir.
Sonuç olarak, "Eğer bir fonksiyon türevlenebilir ise, süreklidir" gerektirmesinin doğruluğunu sorgulamak için, türevlenebilir olduğu halde sürekli olmayan bir fonksiyon bulmaya çalışmak gerekir. Böyle bir fonksiyonun var olmadığını bilsek de, sorgulama mantığı bu yönde ilerler.
