Практичне заняття №2. Логіка предикатів (Логіка першого ступеня)

1. Задано предикати:

; ; ;

; .

Запишіть наступні висловлення:

; ; ; ;

2. Задано предикати:

; ;

; .

Запишіть наступні висловлення:

; ;

;

3. Використовуючи з завдання 1, запишіть наступні висловлення:

; ; ;

; .

4. Використовуючи з завдання 2, запишіть наступні висловлення:

; ;

; .

5. Нехай – „ натуральне число”, – „ ціле число”, – „ просте число”, – „ парне число”, – „ непарне число”, – „ ділиться на ”. Сформулюйте природною мовою такі висловлення, встановивши їх значення істинності:


a) ;

b) ;

c) ;

d) ;

e) ;

f) ;

g) ;

h) ;

i) ;

j) ;

k) .


6. Запишіть твердження в символічній формі, ввівши предикати. При необхідності вкажіть предметну область:

a) На кожній вулиці буде свято;

b) Деякі машини розумніші людей;

c) Будь-хто грає в теніс краще Миколи;

d) Для кожної дії існує рівна та протилежно напрямлена протидія;

e) Кожний гравець в гольф програє більш сильному гравцю;

f) Деякі композитори пишуть симфонії краще, ніж інші;

g) Для кожного існує три цілих числа таких, що -на степінь одного з них дорівнює сумі -их степенів двох інших;

h) Він найкращий атлет у світі;

i) Не існує досконалих речей.



Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: