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ı