Logic: Deduction

Bir argümanın geçerliliğini kanıtlamak için kesinti kullanmak, birçok masa oyunundan birini oynamaktan farklı değildir. Dama taşları, örneğin, bir tahta ve bir belirteç var. Belirli bir hedefe ulaşmak için tahtadaki belirteçleri bir dizi kurala göre hareket ettirirsiniz. Tümdengelim kanıtında, bir dizi öncül ve sonuç vardır. Amaç, sonucu ortaya çıkarmak için mülkleri bir dizi çıkarım kuralı ile manipüle etmektir. Bu uygulamayı kullanmak için herhangi bir önkoşul bulunmamaktadır. Kullanıcı için geniş bir dokümantasyon içerir.

Uygulamanın tadını çıkarın.