Logika merupakan salah satu cabang filsafat yang mempelajari tentang cara berpikir yang benar. Logika digunakan untuk menganalisis dan mengevaluasi argumen, serta untuk membangun argumen yang valid. Dalam ilmu komputer, logika memiliki beberapa kegunaan, antara lain:
