Gevşek Geçerli Çıkarım » Mantık Terimi
Gevşek Geçerli Çıkarım anlamı nedir?
- Sıkı geçerli olmamakla birlikte belli varlıksal öndayanakların gerçekleşmesi kaşuluyla geçerli olan tasımsal çıkarım. || Örn. 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.
-
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları