Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Вопрос 9. Кванторы. Правила построения отрицаний высказывания, содержащего кванторы.
Слова, превращающие высказывательную форму или предикат в высказывание, называются кванторами. Выражение «для всех х» («для любого х», «для каждого х») называется квантором общности и обозначается " х. Выражение «существует такое х» («для некоторых х», «хотя бы для одного х», «найдется такое х») называется квантором существования и обозначается ∃ х. Чтобы установить истинность утверждения с квантором общности, надо провести доказательство, чтобы установить его ложность – достаточно привести опровергающий его пример. Высказывание, содержащее квантор общности, может быть представлено в виде конъюнкции высказываний.(сложное высказывание, образованное с помощью союза «и») Высказывание с квантором существования истинно, если можно привести пример, то есть найти такое значение переменной, при котором предикат обращается в истинное высказывание. Ложность высказывания с квантором существования устанавливается путем доказательства. Высказывание, содержащее квантор существования, может быть представлено в виде дизъюнкции высказываний. (сложное высказывание, образованное из двух или более предложений с помощью союза «или»)
|