Çıkarım anlamı nedir?
- 1. Verilerden sonuç çıkarma işlemi. 2. Bu işlemi dile getiren, öncüller kümesi ile sonuçtan oluşan sıralanmış ikili.
|| ( ) öncüller kümesi ile q sonucundan oluşan çıkarım ) biçiminde gösterilir. (Krş. . çıkarım imi, çıkarım kalıbı, çıkarım kuralı, geçerli çıkarım, geçersiz çıkarım( ) öncülsüz çıkarım, tasımsal çıkarım, yalın çıkarım.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları