Українська
Англійська
Інформатика
Znaiemo tse
Арифметика
Дроби, відсотки, десяткові числа
Геометрія
Елементарна алгебра
Функція
Одиниці вимірювання та час
Дискретна математика
Фінансова грамотність
Вибір
Pexeso
Крок за кроком
Письмова відповідь
Графікобудівник
Розуміння
Визначення
Переміщення
Решітка
Розділення
Зламаний калькулятор
Роботи
Стрілялка
Чудовиська
Перегони
Території
Командна гра
Мій обліковий запис
Вийти з системи
Перейти до вправи:
Pexeso
Pexeso
Перейти до теми:
Дискретна математика
Дискретна математика
Розгорнути на весь екран
Практикуйтеся без обмеженьВаша кількість відповідей на день обмежена. Для збільшення ліміту або отримати доступ до аккаунту з ліцензією, будь ласка, увійдіть в систему.
Увійти в систему
Переглянути підсумовування теми
FE7Поділитися
QR-код
QR-код можна відсканувати, наприклад, за допомогою мобільного телефону, щоб перейти безпосередньо до цієї вправи або набору прикладів.
Код / коротка адреса
Трисимвольний код можна ввести в рядок пошуку, він також є частиною скороченої адреси.
Скопіюйте, клацнувши.
FE7
Логіка: основні поняття
Твердження
Твердження — це судження, для якого має сенс питання, чи є воно правдивим чи неправдивим, причому може бути лише одна з цих можливостей.
Приклади тверджень:
- Місто Харків знаходиться в Україні (правдиве твердження)
- Харків є столицею України (неправдиве твердження)
- На Марсі закопано скарб (твердження, істинність якого нам невідома)
Приклади речень, які не є твердженнями: Ти голодний? Піди до крамниці за яйцями.
Логічні сполучники
| Запис | Назва | Значення |
|---|---|---|
| \neg A | заперечення | A не є правдивим |
| A \wedge B | кон’юнкція, і одночасно | A та B є правдивими одночасно |
| A \vee B | диз’юнкція, або | принаймні одне з A та B є правдивим |
| A \Rightarrow B | імплікація, якщо-то | якщо A є правдивим, то і B — правдиве |
| A \Leftrightarrow B | еквівалентність, тільки коли, тоді | тільки тоді A правдиве, коли B правдиве |
Тавтології та суперечності
Тавтологія — це формула твердження, яка завжди правдива. Приклади:
- A \vee \neg A (закон виключеного третього)
- (A \Rightarrow B) \Leftrightarrow (\neg B \Rightarrow \neg A)
Суперечність — це формула твердження, яка завжди є неправдивою. Прикладом є формула A \wedge \neg A (закон протиріччя).
Формула є виконуваною, якщо вона не є суперечністю.
Логіка: основні поняття (середнє)
Вирішено:
