Velleman, kanıtın ne olduğunu ve “doğru kanıt” ile “ikna edici ama hatalı akıl yürütme” arasındaki farkı adım adım kurar. Önermeler mantığı, niceleyiciler ve temel çıkarım şemalarıyla başlar; ardından kümeler, ilişkiler ve fonksiyonlar üzerinde kanıt örüntülerini uygular. İspat tekniklerini (doğrudan ispat, çelişki, karşıt-önermeyle ispat, varlık/tekillik ispatları vb.) bol örnek ve alıştırmayla pekiştirir. Son bölümler, sayılabilirlik ve Cantor tarzı argümanlar gibi daha derin set kuramı fikirlerine bağlanır.
Velleman, kanıtın ne olduğunu ve “doğru kanıt” ile “ikna edici ama hatalı akıl yürütme” arasındaki farkı adım adım kurar. Önermeler mantığı, niceleyiciler ve temel çıkarım şemalarıyla başlar; ardından kümeler, ilişkiler ve fonksiyonlar üzerinde kanıt örüntülerini uygular. İspat tekniklerini (doğrudan ispat, çelişki, karşıt-önermeyle ispat, varlık/t
... Daha fazla göster