Мои Конспекты
Главная | Обратная связь

...

Автомобили
Астрономия
Биология
География
Дом и сад
Другие языки
Другое
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Металлургия
Механика
Образование
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Туризм
Физика
Философия
Финансы
Химия
Черчение
Экология
Экономика
Электроника

ПІДСУМКОВІ ВПРАВИ ТА ЗАВДАННЯ





Помощь в ✍️ написании работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

1. Визначте, який з виразів репрезентує формулу логіки предикатів (Поясніть свій вибір):

А.(А → В) /\ А) → В;

Б. (p → q) ↔ (q → p);

В. "x (P (x) → Q (x).

 

2. Який символ позначає термін:

А. x;

Б. B;

В. P;

Г. F.

 

3. Яка формула побудована коректно? (Відповідь обґрунтуйте):

А. ($(x) /\ P(a)) → R(x);

Б. $x (P(x) /\ Q (x));

В. "a Q(a) → S;

Г. F → "x Fx

4. Здійсніть «переклад» мовою логіки предикатів такі висловлення природної мови:

А. Усе знання підлягає переосмисленню;

Б. Ніхто не має права принижувати людську гідність;

В. Жоден уряд, який втратив довір’я у громадян, не має права на існування;

Г. Не всі депутати ВР України заслуговують на повагу;

Д Будь-яка Конституція – нормативний документ.

 

5.Узгодьте вирази, подані українською мовою, з виразами, що подані мовою логіки предикатів:

А. Усі нотаріуси – юристи;

Б. Деякі нотаріуси – шахраї;

В. Жоден нотаріус не є шахраєм;

Г. Деякі нотаріуси похилого віку, але спритні;

Д. Нотаріус Олексюк не є старою і не є спритною;

Е. Не всі юристи – нотаріуси;

Є. Жоден адміністратор не є спритним;

Ж. Деякі жінки захоплюються жінками;

З. Деякі шахраї не захоплюються жодним юристом;

И. Деякі жінки-юристи є депутатами Верховної Ради України.

 

A. "x (P(x) → Q(x));

B. "x (P(x) → ~R(x));

C. "x (W(x) → ~V(x));

D. P(a) /\ A(a) /\ ~V(a);

E. $х (R(x) /\ "x (Q(x) → ~S(x, y));

F. $х (Q(x) /\ $y (B(y) /\ S(x, y));

G. $х (P(x) /\ F(x) /\ V(x));

H. $x (P(x) /\ R(x));

I. ~"x (Q(x) → P(x));

J. $х (B(x) /\ Q(x) /\ O(x)).

 

6. Здійсніть «переклад» висловлень за допомогою багатомісних предикаторів:

· Світлана дружить з Іваном.

· Дехто дружить з Іваном.

· Світлана дружить з кимось.

· Іван дружить з усіма.

· Усі дружать з кимось.

· Дехто дружить з кимось.

· Усі дружать з кимось.

· Дехто дружить з Іваном.

· Дехто дружить ні з ким.

7. Здійсніть «переклад» висловлень, репрезентованих українською мовою, мовою класичної логіки предикатів:

· Усі люди смертні.

· Тільки справжній товариш не зрадить.

· Не все те, що проголошується з трибуни ВР, є правдою.

· Жоден керівник не дбає про долю своїх підлеглих.

· Хтось закоханий в усіх.

· Хтось вірить в усе.

· Ніхто не має права знущатись над людиною.

 

8. Запишіть природною мовою такі символічно записані висловлення:

А. "x (S(x) → ~P(x)),

де S – знак предикатора «бути прем’єром»,

P – знак предикатора «бути президентом»;

Б. $х (O(x) /\ L(x)) /\ $х (F(x) /\ L(x)),

де O– знак предикатора «бути логіком»,

L – знак предикатора «бути філософом».

9.Запишіть мовою логіки предикатів наступні речення:

А. Якщо х = 0 і у = 0, то ху = 0;

Б. Якщо х ≠ 0 або у ≠ 0, то ху ≠ 0.

10. Запишіть наступні висловлення, використовуючи знаки кванторів:

А. Існує число х таке, що х + 1 = 5;

Б. Будь-яке число або додатне, або від’ємне, або рівне нулю;

В. Яким би не було число у, у + 0 = у.

 

11. Заформалізуйте наступні висловлення:

А. Деякі українці – талановиті;

Б Усі українці – талановиті;

В. Деякі українці – не талановиті;

Г. Жоден українець не є талановитим.

 

Доверь свою работу ✍️ кандидату наук!
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой



Поиск по сайту:







©2015-2020 mykonspekts.ru Все права принадлежат авторам размещенных материалов.