tikel evetlemeli yasal biçim ne demek?

Kaydet
25 harf

Anlamlar

  1. mantık 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.

Çeviri

2
Fransızcaforme normale disjunctive

Kelime Bilgisi

İlk harf t · son harf m

İlişkili Kelimeler

Türemiş Kelimeler