Mantık ve Biçimsel Akıl Yürütmeyi Öğrenin

Rehberlerle başlayın. Alfabetik değil, bir okuma yolu olarak sıralanmışlardır ve dizin her rehberin adım numarasını ve varsaydığı düzeyi gösterir. Siteye ne kadar mantık bildiğinizi söylerseniz başlangıç noktanız o düzeydeki ilk rehbere kayar; öncekiler arka plan okuması olarak dizinde kalır.

Bir rehberin ne kadar mantık bilgisini hazır saydığını söylerler, okumasının ne kadar zor olduğunu değil. Okuma yolu bu düzeyler arasında asla geriye gitmez; dolayısıyla düzeyinizi seçtikten sonra başlangıç noktanızdan ileriye doğru okuyabilir ve atladığınız bir rehbere dayanan bir rehberle karşılaşmazsınız.

Evet, bu tarayıcıda. Bir rehberi okundu olarak işaretlemek dizindeki ilerleme sayacını ve her rehberin sonundaki 'sırada' önerisini günceller; bu öneri bundan sonraki ilk okunmamış rehberi gösterir. Hiçbir şey hiçbir yere gönderilmez ve site verilerini temizlemek bunu sıfırlar.

Bir rehberi gösterimi tanıyacak kadar okuyun, sonra pratik yapın. Alıştırmalar rehberlerin işlediği konulara göre gruplanmıştır; alışılmış ritim bir rehber, ardından o kategorideki alıştırmalar ve yanıtlar kolay gelmeye başlayınca bir sonraki rehberdir.

Önermeler mantığı, mantıksal işleçler aracılığıyla önermeler arasındaki ilişkilere odaklanır; Boole cebri ise ikili değerlerle (doğru/yanlış veya 1/0) çalışan matematiksel bir yapıdır. Bu hesaplayıcı ikisini de destekler ve benzer işleçler kullanırlar.