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

Kaydet
20 harf

Anlamlar

  1. mantık 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.

Kelime Bilgisi

İlk harf g · son harf m

İlişkili Kelimeler

Türemiş Kelimeler