Логика высказываний. Логика предикатов

ЛОГИКА ВЫСКАЗЫВАНИЙ (задания 1 уровня)
1Б. Постройте отрицание высказывания Р и определите его значение истинности:
а) Р: «Число 105 делится на 3»;
: « Не верно, что число 105 делится на 3» (ложно).
б) Р: «Число 23 не делится без остатка на 3»;
: «Не верно, что число 23 не делится без остатка на 3»(ложно).
в) Р: «В прямоугольнике все углы прямые»;
: «Не верно, что в прямоугольнике все углы прямые» (ложно).
г) Р: «Квадрат является ромбом».
: « Не верно, что квадрат является ромбом» (ложно).

5Б. На множестве натуральных чисел, не превосходящих 20, задан предикат К(х): «Число х делится на 4 нацело». Прочитайте высказывания и определите их значения истинности: а) К(6); б) К(8); в) К(9); г) К(16). Запишите множество истинности предиката К(х).
Решение:
а) «Число 6 делится на 4 нацело» - ложно.
б) «Число 8 делится на 4 нацело» - истинно.
в) «Число 9 делится на 4 нацело» - ложно.
г) «Число 16 делится на 4 нацело» - истинно.
Т К(х)=4; 8; 12; 16;20