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 »