gevşek geçerli çıkarım

Question

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

TDK Mantık Terimleri Sözlüğü · Accepted Answer

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.

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

gevşek geçerli çıkarım

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

Benzer Terimler