BSTS / Mantık Terimleri Sözlüğü
tikel-evetlemeli kurucu bileşen anlamı İng. disjunctive constituent Alm. disjunktiver Konstituent Fr. constituant disjonctif
Ana bileşeni yalınç önerme ya da yalınç önerme değillemesi olan yinelemesiz tikel evetleme. || Hiç bir tikel-evetlemeli kurucu bileşen doğrusal geçerli değildir. Tikel-evetlemeli kurucu bileşende değilleme imi bir çizgi olarak ilgili ana bileşenin üzerinde konulur. Örn. (…)