HERAKLES Otomatik Avlı kalıcı sunucu. 19 Haziran'da açılıyor. Atius & Wizard güvencesiyle hemen kayıt ol, ön kayıt ödülleri aktif. HEMEN TIKLA!
Doğruluğu bilinen bir önermeden yeni bir önerme çıkarma.
Uslamlama ile eşanlamlı değildir, uslamlama araçlı çıkarsamaları kapsar. Örneğin "taş, insan, değildir" önermesinden "insan , taş değildir" sonucunu araçsız olarak çıkarırız. Oysa "nişasta besleyicidir" önermesinden "ekmek nişastadır" aracı önermesini bilmeksizin "ekmek besleyicidir" sonucunu çıkaramayız. Uslamlama, tümdengelim ve tümevarım çıkarsama'nın özel biçimleridir.
Özetle, ister uslamlama, ister tümdengelim ve ister tümevarım yoluyla olsun belli bir bilgiden yeni bir bilgi çıkarmaya çıkarsama denir.
Uslamlama ile eşanlamlı değildir, uslamlama araçlı çıkarsamaları kapsar. Örneğin "taş, insan, değildir" önermesinden "insan , taş değildir" sonucunu araçsız olarak çıkarırız. Oysa "nişasta besleyicidir" önermesinden "ekmek nişastadır" aracı önermesini bilmeksizin "ekmek besleyicidir" sonucunu çıkaramayız. Uslamlama, tümdengelim ve tümevarım çıkarsama'nın özel biçimleridir.
Özetle, ister uslamlama, ister tümdengelim ve ister tümevarım yoluyla olsun belli bir bilgiden yeni bir bilgi çıkarmaya çıkarsama denir.
