Aristoteles ve Leibniz'i araştırmanízı öneririm.
Mantık ve mantıksal operatörlere dayalı oyunlar da var. Bunları oynayarak olayı kavrama kabiliyetinizi geliştirebilirsiniz. Yaptığınız okumalarda çok faydası olur.
Bir tanesi human resource machine, diğeri while True: learn()
Birinde verimliliği artıran bi insan kaynakları uzmanı oluyorsunuz, diğerinde sipariş üstüne program hazırlıyorsunuz.
lise matematiğindeki mantık konusu basit düzeyde. önermeler mantığı işlemleri gösteriliyordu, yüklemler mantığına giriliyor muydu hatırlamıyorum. mantık öğrendim diyebilmek için üzerine en azından çıkarsama kurallarını ve ispat yöntemlerini bilmek lazım.
kavramları sözel olarak anlatan açıköğretim pdf'lerine google aramasıyla ulaşabilirsiniz. ancak öğrenmek için kalem oynatmak, örnek çözmek gerekir.
bahsettiklerim formel mantık tabii. soyut notasyonlar yerine günlük hayattan örnekler arıyorsanız alev alatlı'nın safsatalar konulu bir online kitabı vardı.
Mantık
İsagoci Tercümesi
Bir çok kitapçıda var online alabilirsin.
Bir de "alaka" kitabı vardı ama tercümesi var mı bilemedim.