Logika adalah cabang ilmu yang mempelajari cara berpikir, penalaran, dan argumentasi yang benar. Dalam ilmu komputer, logika memainkan peran yang sangat penting. Ini adalah fondasi