Логика исследует структуру допустимых аргументов. Она задает вопрос: если посылки истинны, следует ли из них заключение? Формальная логика использует символы для представления утверждений и правила для вывода заключений. Силлогизмы Аристотеля были одной из ранних систем; современная логика, разработанная Фреге, Расселом и другими, лежит в основе математики и информатики.

Пропозициональная логика рассматривает утверждения, которые являются истинными или ложными, и логические связки, такие как И, ИЛИ и НЕ. Предикатная логика добавляет квантификаторы: «для всех» и «существует». Эти системы формализуют рассуждения и выявляют логические ошибки.

Логика — это основа математического доказательства. Каждая теорема основана на логическом выводе из аксиом. В вычислительной технике логические вентили реализуют булевы операции, а языки программирования используют логические условия. Эта область также пересекается с философией, лингвистикой и искусственным интеллектом. Ясное понимание рассуждений полезно далеко за пределами математики.

• Изучение обоснованных рассуждений
• Использует символы и формальные правила.
• Пропозициональная и предикатная логика
• Основы доказательств и вычислений