gevşek geçerli çıkarım anlamı İng. weakly valid inference
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.