önekli yasal biçim

önekli yasal biçim İng. prenex normal form

n sayıda (...) art arda gelen niceleyici (ön ek) ile bunların etki alanı olan niceleyecisiz birtamdeyimden (üreteç) oluşan tamdeyim. || (Temel mantıklı dillerde her önerme bir ön ekli yasal biçim ile eşdeğerdir.) Örn. () biçimindeki tamdeyim iki niceleyicili, () sıfır niceleyicili ön ekli yasal biçimdir.

önekli yasal biçim ile benzer kelimeler

önekli yasal biçim üreteci

İng. matrix of a prenex normal form

Önekli yasal biçimde niceleyicilerin etki alanı olan niceleyicisiz tam deyim.

önekli normal biçim

İng. prenex normal form

(...)

birli yüklemli yasal biçim

İng. monadic canonical form

Anabileşenleri birliyüklemli kurucu bileşenler olan n-li tikel-evetleme. || Birli-yüklemli yasal biçimin tutarsızlığının gerekli-yeterli koşulu, her anabileşeninin tutarsız olmasıdır. Örn. ()

boş tikel-evetlemeli yasal biçim

İng. empty disjunctive normal form

Kurucu bileşen sayısı sıfır olan tikel-evetlemeli yasal biçim, || Her doğrusal tutarsız önerme, ile eşdeğerdir.

tikel-evetlemeli tam yasal biçim

İng. full disjunctive normal form

Aynı yalınç bileşenli kurucu bileşenlerden oluşan tikel-evetlemeli yasal biçim. || Örn. ()

tikel-evetlemeli yasal biçim

İng. disjunctive normal form

Her anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-li tikel-evetleme. || Hiç bir (boş olmayan) doğrusal tutarsız değildir. Temel mantıklı dillerde her tutarlı önerme (boş olmayan) tikel-evetlemeli bir yasal biçim i...

tikel-evetllemeli en kısa bir yasal biçim

İng. minimized disjunctive normal form

p gibi bir önermenin tikel-evetlemeli en kısa bir yasal biçim olması, p nin tikel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin ait tümel-evetlemesi olan, p ile doğrusal eşdeğer q gibi b...

tümel-evetlemeli en kısa bir yasal biçim

İng. minimized conjunctive normal form

p gibi bir önermenin olması, p nin tümel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin alt tikel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tümel-evetlemeli yasal biçimin ...

"önekli yasal biçim" karakter analizi

önekli yasal biçim, 18 karakter ile yazılır.
ö harfi ile başlar, m harfi ile biter.

Karakter dağılımı

'ö', 'n', 'e', 'k', 'l', 'i', ' ', 'y', 'a', 's', 'a', 'l', ' ', 'b', 'i', 'ç', 'i', 'm', şeklindedir.
önekli yasal biçim kelimesinin tersten yazılışı ' miçib lasay ilkenö' diziliminde gösterilir.