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. Aynı<math>C_{|j}</math> konuşulan dile ait bağlaçların bir kavramı olmak üzere aynı sistem, <math>x \in 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ıkmantık bağlacı|bağlaçlarınabağlaçları]] sahiptiriçerir. Bu sistemde enEn 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ınınyasası, bu sistemde denklik kuramınakuramı 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 olmasıile sebebiyleönemli farklıdırbir farka sahiptir. <ref>{{Web kaynağı | soyadı1 = Hayes | ad1 = Andy | soyadı2 = Wu | ad2 = Vincent | başlık = De Morgan's Laws | url = https://brilliant.org/wiki/de-morgans-laws/ | arşivurl = https://web.archive.org/web/20200809133106/https://brilliant.org/wiki/de-morgans-laws/ | arşivtarihi = 9 Ağustos 2020}}</ref>
