De Morgan yasası: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
1 kaynak kurtarıldı ve 0 kaynak ölü olarak işaretlendi.) #IABot (v2.0.7 |
Teacher0691 (mesaj | katkılar) k düzeltme |
||
15. satır:
== İki değilin çarpımından farkı ==
De Morgan ilkesi, iki değilin çarpımı yasasından (<math>\neg(\neg p) \iff p</math>) önemli bir farka sahiptir. <math>\mathbb{L}</math>, bir biçimsel mantık sistemi olmak üzere <math>\ p, q, r, ...., \emptyset\ </math> dizisi, birinci dereceden tanımlanmış önerme sembollerini bildirmektedir. <math>C_{|j}</math> konuşulan dile ait bağlaçların bir kavramı olmak üzere aynı sistem, <math>C_{|j}:x\ |\ x \in set \sim \{\land, \lor, \iff, \vdash\}</math> ardından <math>\mathbb{L} \supset C_{|j} = set, \ x \in C_{|j}</math> sonucunda biçimsel sıfatını kazanır; sıralanmış [[mantık bağlacı|bağlaçları]] içerir. En az bir <math>x</math> bağlacı vardır ve bu bağlacın temel önerme bilgisine göre oluşturulmuş doğruluk tablosundaki <math>T</math> ([[Mantıksal değer|doğru]]) sayısı, <math>\forall x:(\mathbb{L}\vDash \forall c \subsetneq C_{|j}, \ x\in c)</math> önermesine göre <math>x</math> bağlacının ''varlık bağlamını'' vermektedir. De Morgan yasası, bu sistemde denklik kuramı yadsınmadığına göre yalnız iki <math>x</math> bağlacı için varlık bağlamını artırıcı veya azaltıcı etkisi ile önemli bir farka sahiptir.
== Kaynakça ==
|