Dedüksiyon: Matematik ve mantıkta, verilmiş bazı aksiyom veya varsayımlardan teorem çıkartma ya da kanıtlama yöntemidir.
Aksiyom denen şey, tanımı gereği kanıtlanmaksızın doğru kabul edilen önermedir. Kısaca, bu yöntemde, sonuçtaki çıkarımlar yeni bilgi üretmezler. Çünkü bunlar öncüllerde örtük olarak vardırlar.
Burada yeni gibi görünüyorsunuz. Eğer katılmak istiyorsanız düğmelerden birine tıklayınız.