Студопедия КАТЕГОРИИ: АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Высказывательная форма, ее область определения и множество истинности. Составные высказывательные формы, правила определения их множеств истинности. ⇐ ПредыдущаяСтр 4 из 4
Предложение А(х) с переменной ч, где х Х, которое в результате замены переменной допустимыми значениями обращается в высказывание, называется предикатом или высказывательной формой. Например: х>5- одноместный предикат; х делится на у – двухемстный; х+2у=z –трехметный предикат. Предикат считается заданным, если указать множество всех допустимых значений переменной. Например: предикат 3х+7=15 может быть задан на множестве натуральных чисел N, или на множестве действительных чисел R. Если множество истинности Тр предиката Р(х) совпадает с множеством Х на котором он задан (Тр=Х), то такой предикат называют тождественно истинным. Если множество истинности предиката Р(х) пусто (Тр= ), то предикат называют тождественно ложным. Два предиката Р(х) и Q(х) называют равносильными, если они заданы на одном и том же множестве Х и их множества истинности совпадают. Пример: даны предикаты Р(х) : х2=9 и Q(х):( х-3)(х+3)=0 на множестве Z. Так |
|||
Последнее изменение этой страницы: 2018-04-12; просмотров: 185. stydopedya.ru не претендует на авторское право материалов, которые вылажены, но предоставляет бесплатный доступ к ним. В случае нарушения авторского права или персональных данных напишите сюда... |