Есть еще один способ получения из предикатов высказываний - с помощью специальных знаков, КВАНТОРОВ.
- Квантор всеобщности (
) Пример: "При любом х из МР(х) Р(х) - И = (х)(Р(х))" - Квантор существования (
) Пример: "Существует х из МР(х) такой, что Р(х) - И = (х)(Р(х))
Комментариев нет:
Отправить комментарий