Tutarlı önerme nedir, Tutarlı önerme ne demek

Tutarlı önerme; Mantık alanında kullanılan bir terimdir.

Teknik terim anlamı:

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

Tutarlı önerme kısaca anlamı, tanımı

Öner : Yön. Sıra. Önde gelen, başta gelen kimse

Tuta : 1.Karadut. 2.El ile meyve toplama işi ya da el ile toplanmış meyve : Bu elmalar tuta mıdır?. Meyveleri elle toplama. [Bakınız: duta]. [Bakınız: dutarık].

Ö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.

Tutar : Nicelik bakımından bir şeyin bütünü. Para miktarı, meblağ.

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

Dizimsel tutarlı önerme kümesi : Kendisinden çelişme türetilemeyen önerme kümesi, kendisinden dilin tüm önermeleri türetilemeyen önerme kümesi.

Düpedüz tutarlı önerme kümesi : Olağan yorumda tüm öğeleri doğru olan önermeler kümesi.

Tutarlı önerme kümesi : Birlikte doğru olabilen ya da başka bir deyişle bağdaşabilen önermeler kümesi; Doğrulayıcı yorumu (doğrulamı) olan önerme kümesi; düpedüz tutarlı bir yorumlayanı olan önerme kümesi. bk. yorumsal tutarlı önerme kümesi. dizimsel tutarlı önerme kümesi.

 

Dizimsel tutarlı önerme : Kendisinden çelişme türetilemeyen önerme; kendisinden dilin tüm önermeleri türetilemeyen önerme.

Yorum : Bir yazının veya bir sözün, anlaşılması güç yönlerini açıklayarak aydınlığa kavuşturma, tefsir. Bir ürünün, bir modelin, bir sanat eserinin farklı bir açıdan ele alınarak yeniden oluşturulmuş biçimi, versiyon. Bir olayı belli bir görüşe göre açıklama, değerlendirme. Bir müzik parçasını veya bir tiyatro oyununu kendine özgü bir duyarlık ve teknikle çalma, söyleme veya oynama. Gizli veya hayalî olan bir şeyden anlam çıkarma.

Dizim : Dizilme işi, dizme. Söz zincirinde birbirini izleyen ve belli bir birim oluşturan ögeler birleşimi, sentagma.

Doğru : Bir ucundan öbür ucuna kadar yönü değişmeyen, eğri ve çarpık karşıtı. Hiçbir yöne sapmadan, dosdoğru, doğruca. Yakın, yakınlarında. Yanlışsız, eksiksiz bir biçimde. Gerçek, hakikat. Yasa, yöntem ve ahlaka bağlı, dürüst, namuslu. Akla, mantığa, gerçeğe veya kurala uygun. Gerçek, yalan olmayan. Karşı yönünce. İki nokta arasındaki en kısa çizgi.

Olan : Oğlan. Oğlan, erkek çocuk. Vakia, olan. Oğul, evlat.

Dizi : Bir iplik veya tel üzerine dizilmiş inci, boncuk vb.nin oluşturduğu bütün, sıra. Saf durumundaki bir kıtada, birbiri arkasında duran erler. Herhangi bir bakımdan bir bütün oluşturan şeylerin tümü, seri. Değerleri artarak veya eksilerek art arda gelen terimler takımı. Bir oktavın içinde sıralanan sekiz sesin bütünü. Yan yana, art arda veya zaman sırasına göre sıralanmış birbiriyle ilişkili nesne veya olayların oluşturduğu bütün sıra. Aynı söz dizimsel bağlam içinde birbirinin yerini alabilecek olan ve güçlü bir karşıtlık bağlantısı kuran ögelerin oluşturduğu bütün, paradigma. Dizi film.

 

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.

Diğer dillerde Tutarlı önerme anlamı nedir?

İngilizce'de Tutarlı önerme ne demek ? : satisfiable sentence