Вміння правильно міркувати необхідно у будь-якій людській діяльності, а особливо у програмуванні. Цей урок є введенням у класичну логіку. Розглядаються такі поняття як висловлювання, судження та силогізм.

У цьому відеоуроці будуть розглянуті такі теми:

• Висловлювання
• Судження
• Силогізм

Основним поняттям класичної логіки є висловлювання. Висловлювання є у програмуванні і виражаються за допомогою операторів мови C#. На уроці розглядаються різні форми та правила побудови висловлювань. Як не помилитись при побудові висловлювання?

Деякі висловлювання можна розкласти на окремі частини, водночас кожна така частина буде окремим висловлюванням. На цьому уроці розглядаються методи розкладання складних висловлювань на прості.

На цьому уроці розглядається логічна операція заперечення. Використання логічної функції заперечення під час побудови висловлювань.

На цьому уроці розглядається логічна функція – кон'юнкція (логічне І) та її використання під час роботи з висловлюваннями.

На цьому уроці розглядається логічна функція – диз'юнкція (логічне АБО) та її використання під час роботи з висловлюваннями.

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

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

На цьому уроці розглядається логічна функція – антикон'юнкція та її використання під час роботи з висловлюваннями.

На цьому уроці розглядається логічна функція – антидиз'юнкція та її використання під час роботи з висловлюваннями.