logika 4dSelain itu, penelitian ini bertujuan untuk mengetahui penilaian kelayakan buku ajar logika berhitung melalui analisis berpikir siswa SD. Model pengembangan yang dunakanLogika predikat mempelajari hubungan antara predikat dan subjek dalam bahasa formal, sementara logika modal mempelajari hubungan antara proposisi dan kebenaran dalam