Логика широко применяется в исследованиях искусственного интеллекта и в информатике, в свою очередь эти отрасли являются источником важных проблем формальной логики. В 50-х и 60-х годах, исследователи прогнозировали создание разумных машин как только человеческие знания станет возможным описывать с использованием логики и математической нотации. Эта задача в действительности оказалось намного сложнее чем надеялось. Результатом этих усилий стало логическое программирование, и такие языки программирования как Prolog, использующих набор аксиом и правил для ответа на запросы.
В символьной логике и математической логике возможно использование компьютера "ютеров. Автоматизированные системы доказательства теорем используют для поиска и проверки доказательств теорем, а также для опеций с формулами слишком длинными для записи вручную. В информатике, булева алгебра используется в проектировании логических схем и программ.
