Tümel-evetlemeli Yasal Biçim » Mantık Terimi

Tümel-evetlemeli Yasal Biçim anlamı nedir?
Her anabileşeni ayrı bir tikel-evetlemeli kurucu bileşen olan n-li tümel-evetleme. || Hiç bir (boş olmayan) tümel-evetlemeli yasal biçim doğrusal geçerli değildir. Temel mantıklı dillerde her geçersiz önerme (boş olmayan) tümel-evetlemeli bir yasal biçim ile eşdeğerdir. Tümel-evetlemeli yasal biçimlerde kurucu bileşenlerin arasındaki tümel-evetleme imi yazılmaz.

Örn. () üçlü tümel-evetleme, (. . .

) birli tümel-evetleme, p (kurucu bileşeni bir birli tikel-evetlemeye eşdeğer olan) birli tümel-evetleme olan yasal biçimlerdir. Krş. . tümel-evetlemeli tam yasal biçim, tümel-evetlemeli en kısa bir yasal biçim.
Mantık Terimleri Sözlüğü Tüm Liste »