gevşek geçerli çıkarım
gevşek geçerli çıkarım İ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.
gevşek geçerli çıkarım için benzer kelimeler
gevşek geçerli çıkarım, 22 karakter ile yazılır. Ayrıca,
g harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
'g', 'e', 'v', 'ş', 'e', 'k', ' ', 'g', 'e', 'ç', 'e', 'r', 'l', 'i', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', şeklindedir.
gevşek geçerli çıkarım kelimesinin tersten yazılışı mırakıç ilreçeg keşveg diziliminde gösterilir.