Логіка

Логіка вивчає способи виведення висновків з припущень. Логіка спочатку виникла як частина філософії, пізніше значно розвинулася у математиці. Сьогодні вона має важливе застосування також в інформатиці.

Основа математичного уявлення про логіку – це висловлювальна логіка, в якій ми працюємо з висловлюваннями (твердження, які можуть бути або істинні, або хибні) та логічними зв’язками (та, або, заперечення). Розширенням висловлювальної логіки є предикатна логіка, в якій додатково використовуються квантифікатори (існує, для кожного).

Огляд тем з логіки, доступних на Знаємо математику:

Тема	Опис
Логічні вислови	Усний запис логічних висловів
Логіка: поняття та позначення	Запис висловів за допомогою логічних зв’язок \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow
Оцінювання логічних висловів	Оцінка правдивості логічних висловів, записаних за допомогою логічних операцій
Виправлення логічних висловів	Виправлення та спрощення логічного вислову за правилами роботи з логічними операціями
Квантифікатори	Збагачення логічних висловів квантифікаторами \exists, \forall
Докази	Точні математичні процедури для перевірки правильності логічних висловів

У рамах системи Знаємо ви також знайдете логіку в інформатиці: логіка на Знаємо інформатику. Там акцент зроблений на логічні зв’язки, використовувані при програмуванні та розв’язанні логічних завдань.