ЭЛЕМЕНТЫ МАТ ЛОГИКИ. Максимум
Выполнить задния:
Задание 1: Определите, является ли следующее предложение (выражение) предикатом, почему?:
-число х делится на 3, если сумма его цифр делится на 9.
Задание 2: Запишите множества истинности следующих заданных на R одноместных предикатов:
|x-25|>1
Задание 3:Выделив условие и заключение теоремы, сформулируйте ее посредством связки «если..., то...»:
-Четырехугольник является квадратом когда диагонали равны, перпендикулярны, и пересекаясь, делятся пополам;
Задание 4: Выберите и запишите формулировку теоремы. Представьте ее в виде формулы с использованием предикатов и кванторов.