Логика - Булева алгебра и предикаты. Основы

На самом деле, в математике существует много разных логик, каждая из них имеет свою аксиоматику. Какие-то логики не включают в себя закон исключённого третьего, к примеру. Существуют различные многозначные логики, нечёткая логика и так далее. Мы же с этого видео начинаем изучать классическую математическую логику, которая является наиболее естественной, практичной и фундаментальной. Чтобы изучать математический анализ, линейную алгебру, тензорный анализ, аналитическую геометрию, комплексный анализ, функциональный анализ, дифференциальные уравнения, теорию чисел, комбинаторику, теорию графов, теорию алгоритмов и многие другие серьёзные математические дисциплины, необходимо владение универсальным инструментом, без которого не построить ни одного доказательства, - логикой.