Словарь логики
"Экзистенциальное Высказывание"

Главная - Словарь логики - буква Э - Экзистенциальное Высказывание

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Экзистенциальное Высказывание

будет выглядеть так: Что такое Экзистенциальное Высказывание

Словарь логики"Экзистенциальное Высказывание"

Словарь логики
"Экзистенциальное Высказывание"