Doğruluk değeri: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
kDeğişiklik özeti yok |
{{Matematik-taslak}} |
||
2. satır:
== Klasik mantık ==
[[Klasik mantık]]ta doğruluk değerleri '''[[Doğru (mantık)|doğru]]''' ('''1''' ya da <math>\top</math>) ve '''[[Yanlış (mantık)|yanlış]]''' ('''0''' ya da <math>\bot</math>) olabilir; yani klasik mantık iki değerlidir. Bu iki değerden oluşan küme aynı zamanda [[Boole'ca|Bool tanım kümesi]] olarak adlandırılır. [[Mantıksal bağlaç]]ların anlamsal karşılığı [[doğruluk tablosu]] olarak ifade edilen doğruluk fonksiyonlarıdır. [[Ancak ve ancak|İki koşulluluk]] karşılıklı [[Eşitlik (matematik)|eşitlik]] anlamına gelir. [[Olumsuzlama]] ise doğru ve yanlış arasında [[Birebir örten fonksiyon|birebir]] ilişki kurar. [[VEYA bağlacı]] ile [[VE bağlacı]]
<math>\neg(p \and q) \iff \neg p \or \neg q</math>
10. satır:
==Kaynakça==
{{Kaynakça}}
{{Matematik-taslak}}
|