Tikel evetlemeli yasal biçim nedir, Tikel evetlemeli yasal biçim ne demek

Tikel evetlemeli yasal biçim; Mantık alanında kullanılan bir kelimedir.

Teknik terim anlamı:

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 tikel-evetlemeli tam yasal biçim, tikel-evetlemeli en kısa bir yasal biçim.

Tikel evetlemeli yasal biçim anlamı, kısaca tanımı

Biçi : Erkek çocuk

Tikel evetleme : Ana bileşeni tikel-evetleme eklemi olan bileşik önerme: bk. ayrıklık, mantıksal toplam.

Yasal biçim : Belli bir yasal biçim özelliğini taşıyan önerme. yasal biçimler genellikle denetleme yöntemlerinde kullanılır. tümel-evetlemeli yasal biçim, tikel-evetlemeli yasal biçim, birli yüklemli yasal biçim, önekli yasal biçim.

Biçim : Biçme işi. Yazı ve simgelerin bilgisayarda kullanılmaya elverişli çerçevesi, düzeni, format. Disket vb.nin bilgisayarda kullanılabilir durumu. Yakışık alan şekil, uygun şekil. Herhangi bir şeyin benzeri. Sanat ve edebiyat eserlerinde dış görünüş, form. Şiirlerin kuruluş ve uyak düzenlerine göre olan dış görünüşü, şekil. Bir nesnenin dış çizgileri bakımından niteliği, dıştan görünüşü, şekil, eşkâl. Tarz.

 

Evet : "Öyledir" anlamında kullanılan bir doğrulama veya onaylama sözü, olur, oldu, peki, tamam, ya, beli, ha, he. Sözü açan veya bağlayan bir söz. Olumlu cümlelerde anlamı pekiştiren bir söz.

Evetleme : Evetlemek işi.

Tike : Et, ekmek, peynir vb.nde parça, lokma, dilim.

Tikel : Kısmi. Bir türün bütün bireylerine değil de bir veya birkaç bireyine ilişkin olan, cüzi, tümel karşıtı.

Yasa : Olayların gidişinde olağan dışına yer vermeyen, değişmezlik ve mecburiyet gösteren kural. Devletin yasama organları tarafından konulan ve uyulması gereken kurallar bütünü, kanun. Toplumsal hayat içinde kendiliğinden oluşan ve uyulması toplum içinde yaşamanın bir mecburiyeti olan alışkıların bütünü. Düşüncenin mantıksal bir değeri olması için uyulması şart olan temel. Bilimde çok sayıda deney ve gözlemden sonra, aynı şartlarda aynı sonuçları verdiği kesin olarak belirlenen durum.

Yasal : Yasanın, dinin ve kamu vicdanının doğru bulduğu, yasalara uygun, kanuni, meşru, legal.

Temel mantıklı dil : Mantıksal değişmezleri eklemler, niceleyiciler, eşitlik; değişkenleri tek çeşitli bireysel değişkenler; düzgün deyimleri de ad, önerme, yüklem, işlev dizimsel türlerinden olan biçimsel dil.

Tutarlı önerme : En az bir doğrulamı olan önerme. bk. yorumsal tutarlı önerme. dizimsel tutarlı önerme.

Temel mantık : Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; değişkenleri bireysel değişken; mantıksal olmayan değişmez türleri ad, yüklem ile işlev olan mantık dizgesi. eklemler mantığı, yüklemler mantığı, niceleme mantığı, yalınç eşitlik mantığı, yüksek basamak mantığı, felsefe mantığı.

 

Mantıklı : Mantığa uygun, akla uygun, mantıksal, mantıki, lojik. Mantığa uygun davranan.

Doğrusal : Bir doğru ile ilgili olan. Bir doğruyu izleyen. Aynı doğruya ait olan.

Tutarsız : Tutarlı olmayan, aralarında çelişki bulunan, insicamsız.

Eşdeğer : Değerleri ya da işlevleri özdeş olan niceliklerin özelliği.

Tutarlı : Aralarında çelişki bulunmayan, her bakımdan uyumlu, insicamlı.

Bileşen : Bir bileşke oluşturan kuvvetlerin her biri.

Diğer dillerde Tikel evetlemeli yasal biçim anlamı nedir?

İngilizce'de Tikel evetlemeli yasal biçim ne demek ? : disjunctive normal form