De Morgan yasası: Revizyonlar arasındaki fark

[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
İçerik silindi İçerik eklendi
InternetArchiveBot (mesaj | katkılar)
1 kaynak kurtarıldı ve 0 kaynak ölü olarak işaretlendi.) #IABot (v2.0.7
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 ==