Главная - Словарь логики - буква Э - Экзистенциальное Высказывание
(от лат. existentia - существование) — высказывание о существовании к.-л. предметов и явлений, напр.: «Жизнь на Марсе существует», «Существуют ядовитые грибы» и т. п. Для выражения таких высказываний в формальном языке используется квантор существования «$х» (читается: «Существует х такой, что...»). Высказывание «Существуют ядовитые грибы» в формальном языке будет выглядеть так: «Существует х такой, что х есть ядовитый гриб». Отрицание Э. в. эквивалентно общему высказыванию: «Неверно, что существуют ядовитые грибы» эквивалентно «Все грибы неядовиты», и обратно, отрицание общего высказывания эквивалентно Э. в.: «Неверно, что все деревья теряют листву зимой» эквивалентно «Существует дерево, которое не теряет листвы зимой». Э.в. является следствием истинного единичного высказывания: из высказывания «Солнце — звезда» следует «Существуют звезды».
Поделитесь с друзьями:
Вы можете поставить ссылку на это слово:
будет выглядеть так: Экзистенциальное Высказывание
будет выглядеть так: Что такое Экзистенциальное Высказывание
|
|