jelaskan pengertian Logika informatika! secara rinci dan jelas!!

logika informatika sendiri, dapat diartikan sebagai:
●Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yang dipergunakan untuk membuktikan validitas suatu argumen.
●Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yang dipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika.