Тема 3. Судження (8 год.)

Загальна характеристика висловлювань. Прості висловлення та їх види. Складні висловлення. Логічні операції над висловленнями та їх властивості.

Учні повинні знати:

• основні вимоги до висловлень;

• види висловлень;

• види логічних операцій та їх властивості.

Учні повинні вміти:

• відрізняти висловлення від пропозицій;

• визначати види висловлень та їх логічну форму в символічному виді;

• зображувати висловлення колами Ейлера;

• будувати формулу складних висловлень і за формулою відновлювати висловлення;

• застосовувати властивості логічних операцій для спрощення висловлень;

• будувати таблиці істинності за формулами.