De Morgan yasası: Revizyonlar arasındaki fark

Söz konusu ilke, iki değilin çarpımı yasasından (<math>\neg(\neg p) \iff p</math>) önemli bir farka sahiptir. <math>\mathbb{L}</math>, bir resmi mantık sistemi olmak üzere <math>\ p, q, r, ...., \emptyset\ </math> dizisi, birinci dereceden tanımlanmış önerme sembollerini bildirmektedir. Aynı sistem, <math>C_{|j}:x\ |\ x \in set = \{\land, \lor, \iff, \vdash\}</math> bağlaçlarına sahiptir. Öyle ki <math>C_{|j} = set, \ x \in C_{|j}</math> olmak üzere en az bir <math>x</math> bağlacı vardır ki bu bağlacın temel önerme bilgisine göre oluşturulmuş doğruluk tablosundaki '-T' sayısı, <math>\forall x:(\mathbb{L}\vDash \forall c \subsetneq C_{|j}, \ x\in c)</math> önermesine göre o bağlacın varlık bağlamını vermektedir. Denklik kuramını dikkate alırsak, De Morgan yasasının, yalnız iki <math>x</math> bağlacı için varlık bağlamını artırıcı veya azaltıcı etkisi olduğu sonucu, fark için kabul edilmektedir. Yönlendirilmiş referans bu bilgi durumuna işaret ediyor. <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/ |website=https://brilliant.org/}}</ref>