Crowdly
Add to Chrome
Математична логіка
Looking for Математична логіка test answers and solutions? Browse our comprehensive collection of verified answers for Математична логіка at moodle.vnu.edu.ua.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
4. Обґрунтувати правильність міркувань:
- Якщо білі не зроблять рокіровку, то чорні виграють пішака.
- Білі зроблять рокіровку тільки в тому випадку, якщо при цьому не буде послаблена позиція їхнього короля і відкриється лінія для білої тури.
- Або позиція білого короля буде послаблена, або не відкриється лінія для білої тури.
- Якщо білі не зроблять рокіровку, то чорні виграють пішака.
- Білі зроблять рокіровку тільки в тому випадку, якщо при цьому не буде послаблена позиція їхнього короля і відкриється лінія для білої тури.
- Або позиція білого короля буде послаблена, або не відкриється лінія для білої тури.
Отже, чорні виграють пішака.
Проаналізувати правильність міркувань
− Кожна нескінченна обмежена множина має хоч одну граничну точку.
Отже, деякі замкнені множини мають
хоча б одну граничну точку.
Скільки рядків містить таблиця істинності формули з попереднього завдання на множині D={a, b, с, d}?Обчислити і записати у відповідь ЧИСЛО, а не вираз.
(це завдання потребує також розгорнутої відповіді в письмовій формі)
Нехай x, y і z змінні зі значеннями від (-∞,∞).
Вкажіть, які з наступних виразів НЕ є предикатами:
Знайти область істинності предиката P(x) -“х є просте число” на множині М = {1, 2, 3, …, 15}
Під виразом розуміють висловлення, яке істинне тоді, коли:
Нехай x, y і z змінні зі значеннями від (-∞,∞).
Вкажіть, які з наступних виразів є двомісними предикатами:
Під виразом розуміють висловлення, яке істинне тоді, коли:
Встановіть відповідність:
Між елементами алфавіту логіки предикатів: