Элементы математической логики

Умение правильно рассуждать необходимо в любой человеческой деятельности, а особенно в программировании. Данный урок является введением в классическую логику. Рассматриваются такие понятия как высказывание, суждение и силлогизм. 

В этом видео уроке будут рассмотрены следующие темы: 

• Высказывание
• Суждение
• Силлогизм

Основным понятием классической логики является высказывание. Высказывания имеются и в программировании и выражаются при помощи операторов языка C#. На уроке рассматриваются различные формы и правила построения высказываний. Как не ошибиться при построении высказывания?

Некоторые высказывания можно разложить на отдельные части, при этом каждая такая часть будет отдельным высказыванием. На данном уроке рассматриваются способы разложения сложных высказываний на простые.

На данном уроке рассматривается логическая операция отрицание. Использование логической функции отрицания при построении высказываний.

На данном уроке рассматривается логическая функция – конъюнкция (логическое И) и ее использование при работе с высказываниями.

На данном уроке рассматривается логическая функция – дизъюнкция (логическое ИЛИ) и ее использование при работе с высказываниями.

На данном уроке рассматривается логическая функция – импликация и ее использование при работе с высказываниями.

На данном уроке рассматривается логическая функция – эквиваленция и ее использование при работе с высказываниями.

На данном уроке рассматривается логическая функция – антиконъюнкция и ее использование при работе с высказываниями.

На данном уроке рассматривается логическая функция – антидизъюнкция и ее использование при работе с высказываниями.