Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.
Η λογική, ειδικά η προτασιακή λογική, υλοποιείται σε κυκλώματα λογικής του υπολογιστή και είναι θεμελιώδους σημασίας για την επιστήμη των υπολογιστών.