logika 4dSelain itu, penelitian ini bertujuan untuk mengetahui penilaian kelayakan buku ajar logika berhitung melalui analisis berpikir siswa SD. Model pengembangan yang dunakanlogika simbolik seperti: Gottfried Wilhelm Leibniz (1646—1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakan