Ok işareti illa o satıra gelecek diye bir kaide yok.
$\begin{array}{|c|c|c|} \hline p & q & p\to q\\\hline 1 & 1 & 1\\\hline 1 & 0 & 0\\\hline 0 & 1 & 1\\\hline 0 &0& 1\\\hline\end{array}$
Bu tabloyu kastediyordum bende ama diyordum ki
$p\to q$ koşullu önermesinin doğruluk değeri 1 ise bu koşullu önermeye gerektirme denir ve $p\Rightarrow q$ ile gösterilir.
Yani 1,3 ve 4. satırların doğruluk değeri tablodanda görüldüğü gibi 1 o halde bunlara gerektirme denir ve $p\Rightarrow q$ şeklinde gösterilir.
$a\in A\subseteq\mathbb{R}$ ve $f:A\to\mathbb{R}$ bir fonksiyon olmak üzere
$f, \text{a'da sürekli:}\Leftrightarrow (\forall\epsilon>0)(\exists\delta>0)(\forall x\in A)(|x-a|<\delta\Rightarrow |f(x)-f(a)|<\epsilon)$
$f, \text{a'da sürekli:}\Leftrightarrow (\forall\epsilon>0)(\exists\delta>0)(\forall x\in A)(|x-a|<\delta\to |f(x)-f(a)|<\epsilon)$
tanımları arasında nasıl bir fark var diye sordum ($\Rightarrow$ ve $\to$ arasında fark olduğunu düşündüğüm için) yukarıda yaptığım tanım gereğince (p ve q önermeleri için)
Bir fonksiyonun sürekliliği ararınırken (formel biçimde göstereceksek eğer)
$ (\forall\epsilon>0)(\exists\delta>0)(\forall x\in A)(|x-a|<\delta\Rightarrow |f(x)-f(a)|<\epsilon)$
önermesinin doğru olmasını bekleriz. Benim yaptığım tanıma göre şöyle düşünürsek eğer
$p=(|x-a|<\delta)$ ve $q=(|f(x)-f(a)|)$ olsun.
$p\Rightarrow q$ (önermesinin doğru olmasını beklemek mantıksız çünkü bu ifadenin zaten doğruluk değeri 1 üstteki tanımdan çünkü $\Rightarrow$ simgesi kullanılmış.)
$ (\forall\epsilon>0)(\exists\delta>0)(\forall x\in A)(|x-a|<\delta\to |f(x)-f(a)|<\epsilon)$
önermesinin doğru olmasını bekleriz.(Yukarıda iki farklı tanım yaptığımızdan)
$p\to q$ (önermesinin doğru olmasını beklemek mantıklı çünkü doğruluk tablosunda 2.satır da 0 olma durumu da var)
Düşüncelerim bunlardı ilk yazarken.