Tümel evetlemeli en kısa bir yasal biçim nedir, Tümel evetlemeli en kısa bir yasal biçim ne demek

Tümel evetlemeli en kısa bir yasal biçim; Mantık alanında kullanılan bir terimdir.

Teknik terim anlamı:

p gibi bir önermenin tümel-evetlemeli en kısa bir yasal biçim 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 bulunmaması demektir.

Tümel evetlemeli en kısa bir yasal biçim kısaca anlamı, tanımı

Biçi : Erkek çocuk

Tümel evetleme : Anaeklemi tümel evetleme eklemi olan bileşik önerme: bk. birlikte evetleme, mantıksal çarpım.

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.

 

Bir : Sayıların ilki. Tek. Ortaklaşa olan, birleşik, müşterek. Eş, aynı, bir boyda. Bu sayıyı gösteren 1 ve I rakamlarının adı. Bir kez. Değer, önem bakımlarından birbirinden farksız, birbirine eşit, birbirine benzer. Herhangi bir varlığı belirsiz olarak gösteren (sayı). Beraber. Aynı, benzer. Bu sayı kadar olan. Ancak, yalnız. Sadece.

En : Bir yüzeyde boy sayılan iki kenar arasındaki uzaklık, genişlik, boy, uzunluk karşıtı. Hayvanlara veya eşyaya vurulan damga, işaret. Başına geldiği sıfatların üstün derecede olduğunu gösteren kelime.

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.

Kısa : Boyu, uzunluğu az olan, uzun karşıtı. Kısaca, kısaltarak. Ayrıntısı çok olmayan. Az süren, uzun olmayan. Kısa olan şey.

Tümel : Belli bir sınıfa bağlı bireylerin hepsini içine alan, külli. Bütün kapsamıyla alınmış olan (önerme), külli, tikel 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.

 

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

Bulunma : Bulunmak işi.

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

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

Kurucu : Bir kurumun, bir işin kurulmasını sağlayan, müessis. Cümleyi oluşturan ögelerin her biri. Bir kuruluşu oluşturan kimse.

Önerme : Önermek işi. Kabul edilmesi için öne sürülen düşünce, teklif. Bir savı öne süren veya bir durumu dile getiren cümle, belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim, kaziye.

Tikele : Büyük.

Diğer dillerde Tümel evetlemeli en kısa bir yasal biçim anlamı nedir?

İngilizce'de Tümel evetlemeli en kısa bir yasal biçim ne demek ? : minimized conjunctive normal form