gevşek geçerli çıkarım

gevşek geçerli çıkarım ne demek?

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.

TDK Mantık Terimleri Sözlüğü İçerisinde Arama

# A B C Ç D E F G H I İ J K L M N O Ö P Q R S Ş T U Ü V Y Z