Tikel-evetlemeli Yasal Biçim » Mantık Terimi

Tikel-evetlemeli Yasal Biçim anlamı nedir?
Her anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-li tikel-evetleme. || Hiç bir (boş olmayan) tikel-evetlemeli yasal biçim doğrusal tutarsız değildir. Temel mantıklı dillerde her tutarlı önerme (boş olmayan) tikel-evetlemeli bir yasal biçim ile eşdeğerdir. Örn.

(. . . ) üçlü tikel-evetleme, pq birli tikel-evetleme, p (kurucu bileşeni bir birli tümel-evetlemeye eşdeğer olan) birli tikel-evetleme olan yasal biçimlerdir || Krş.

. tikel-evetlemeli tam yasal biçim, tikel-evetlemeli en kısa bir yasal biçim.
Mantık Terimleri Sözlüğü Tüm Liste »