Лабораторна робота 5

Тема: Логічні моделі
Мета: Навчитися представляти знання у вигляді логічних моделей.
Завдання:
1. Формалізуйте висловлювання за допомогою мови логіки висловлювань:
- за гроші здоров’я не купиш;
- ні Північ, ні Південь не здобули перемогу у громадянській війні;
- якщо я втомлений або голодний, то не можу працювати.
2. Формалізуйте висловлювання за допомогою мови логіки предикатів:
- крадіжка – це злочин;
- будь-який договір є угодою;
- жоден кіт не товаришує з мишами;
- кожний когось любить;