Geçerli çıkarım nedir, Geçerli çıkarım ne demek

Geçerli çıkarım; Mantık alanında kullanılan bir terimdir.

Teknik terim anlamı:

Sonucu öncüllerinden çıkan çıkarım, öncülleri doğru kılan bütün yorumlarda sonucu da doğru olan çıkarım; geçersiz kılıcı kümesi tutarsız olan çıkarım.

Geçerli çıkarım anlamı, kısaca tanımı

Çıka : Kız çocuğu. Yaramaz çocuk

Geçe : Herhangi bir saat başını geçerek, geçerken. Karşılıklı iki yandan her biri, yaka. Taraf, yön. Eski türkçe keç-e: Karşı taraf; öte (Erzincan Merkez). Taraf. Taraf, yan.

Çıkar : Dolaylı bir biçimde elde edilen kazanç, menfaat, yarar.

Çıkarım : Çıkarma işi. Belli önermelerin kabul edilen veya gerçek olan doğruluklarından, yanlışlıklarından, başka önermelerin kabul edilen veya gerçek olan doğruluklarını, yanlışlıklarını çıkarma, istidlal.

Geçer : Yürürlükte bulunan, geçerliği olan, kullanılan. Geçme özelliği olan. Geçer not. Beğenilen, makbul, mergup.

Geçerli : Yürürlükte olan, uygulanan, meri, muteber. Beğenilen, tutulan.

Geçerli çıkarım kuralları kümesi : Bir mantıksal dizgenin çıkarım kuralları kümesinin geçerli olması, bu dizgedeki bütün kanıtlanır çıkarımların geçerli olması demektir.

Gevşek geçerli çıkarım : Sıkı geçerli olmamakla birlikte belli varlıksal öndayanakların gerçekleşmesi kaşuluyla geçerli olan tasımsal çıkarım. Örnek: SaP.*.SiP biçimindeki çıkarımlar gevşek geçerlidir; çünkü S terimi boş küme olarak yorumlandığında SaP doğru ama SiP yanlış olup; S boş olmayan bir küme ile yorumlandığında SaP doğru ise SiP de doğru olur.

 

Öncüller : Bir tasımda yargıya ulaştıran ilk iki önerme.

Geçersiz : Yürürlükten çıkarılmış, hükümsüz.

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

Sonucu : Sonunda, sonra. Netice, nihayet, en son, âkıbet, en sonra, sonunda.

Bütün : Eksiksiz, tam. Bozuk olmayan (para). Birlik, tamlık. Parçalanmamış. Çok sayıdaki varlık ve nesnelerin hepsi.

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

Kılan : Sert keçi kılı. Tiftik keçisi azmanı. Karar : Ne kılansız oğlan oldu. Yapılarda kullanılan, kısa ve kirişten daha ince ardıç dalı : Elin gözündeki çöpü görür de, kendi gözündeki kılanı görmez. Çevre, kıyı, kenar, uç. Tüyü bozulmuş, kılı çoğalmış tiftik keçi.

Çıkan : Çıkarma işleminde bütünden alınan sayı.

Öncül : Önde giden, önde olan, artçıl karşıtı. Bir bilimsel çalışmada işe koyulurken, araştırmaya konu edilmeksizin doğru sayılan önerme. Bir çıkarımın öncüller kümesini oluşturan önermelerden herhangi biri, mukaddem. Bir tasımda sonucu hazırlayan ilk iki önermeden her biri, mukaddem. Kılavuz, öncü.

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.

Diğer dillerde Geçerli çıkarım anlamı nedir?

İngilizce'de Geçerli çıkarım ne demek ? : valid inference