Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Решение. Найдем все элементы бинарного отношения :





Найдем все элементы бинарного отношения :

 

 

.

 

Из этого представления видно, что среди первых элементов пар, составляющих множество , участвуют все элементы множества . Поэтому область определения бинарного отношения совпадает со всем множеством: .

Среди вторых элементов пар, составляющих множество , участвуют все элементы множества . Поэтому область значений бинарного отношения совпадает со всем множеством: .

Поменяв местами, первый элемент со вторым во всех парах, получим обратное отношение :

 

 

.

 

Так как:

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то .

 

Суперпозиция состоит из тех же элементов, что и множество , Поэтому .

Так как

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то .

 

Следовательно, имеем

 

 

 

.

 

Заметим, что в суперпозицию не входят следующие пары: .

Так как

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то ;

 

и , то .

 

Следовательно, суперпозиция совпадает с множеством :

 

.

 


Задание № 4. С помощью равносильных формул (элементарных тавтологий) доказать тождественно истинность данной формулы (При решении ссылаться на номер формулы из перечня равносильных формул).

 








Дата добавления: 2015-04-16; просмотров: 469. Нарушение авторских прав; Мы поможем в написании вашей работы!




Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...


Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...


Логические цифровые микросхемы Более сложные элементы цифровой схемотехники (триггеры, мультиплексоры, декодеры и т.д.) не имеют...

Броматометрия и бромометрия Броматометрический метод основан на окислении вос­становителей броматом калия в кислой среде...

Метод Фольгарда (роданометрия или тиоцианатометрия) Метод Фольгарда основан на применении в качестве осадителя титрованного раствора, содержащего роданид-ионы SCN...

Потенциометрия. Потенциометрическое определение рН растворов Потенциометрия - это электрохимический метод иссле­дования и анализа веществ, основанный на зависимости равновесного электродного потенциала Е от активности (концентрации) определяемого вещества в исследуемом рас­творе...

Основные разделы работы участкового врача-педиатра Ведущей фигурой в организации внебольничной помощи детям является участковый врач-педиатр детской городской поликлиники...

Ученые, внесшие большой вклад в развитие науки биологии Краткая история развития биологии. Чарльз Дарвин (1809 -1882)- основной труд « О происхождении видов путем естественного отбора или Сохранение благоприятствующих пород в борьбе за жизнь»...

Этапы трансляции и их характеристика Трансляция (от лат. translatio — перевод) — процесс синтеза белка из аминокислот на матрице информационной (матричной) РНК (иРНК...

Studopedia.info - Студопедия - 2014-2025 год . (0.011 сек.) русская версия | украинская версия