1. Главная
  2. Библиотека
  3. Логика
  4. Проверьте, являются ли заданные отношения рефлексивными...
Разбор задачи

Проверьте, являются ли заданные отношения рефлексивными, антирефлексивными, симметричными, антисимметричными, транзитивными, эквивалентными и отношениями порядка: а) отношение «быть отцом» на множестве людей.

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Математическая логика
Проверьте, являются ли заданные отношения рефлексивными, антирефлексивными, симметричными, антисимметричными, транзитивными, эквивалентными и отношениями порядка: а) отношение «быть отцом» на множестве людей.

Условие:

Проверьте, являются ли заданные отношения рефлексивными, антирефлексивными, симметричными, антисимметричными, транзитивными, эквивалентными и отношениями порядка:
а) отношение «быть отцом» на множестве людей.

Решение:

1. Дано

Отношение: «быть отцом» на множестве людей.

2. Найти

Определить, является ли отношение рефлексивным, антирефлексивным, симметричным, антисимметричным, транзитивным, эквивалентным и отношением порядка.

3. Решение

1. Рефлексивность: Отношение RR является рефлексивным, если для любого элемента aa из множества выполняется aRaaRa. В данном случае, это означает, что каждый человек должен быть отцом сам себе. Это не так, поэтому отношение «быть отцом» не является рефлексивным.

2. Антирефлексивность: Отношение RR является антирефлексивным, если для л...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое свойство из перечисленных присуще отношению «быть отцом» на множестве людей?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет