1. Главная
  2. Библиотека
  3. Логика
  4. [ egin{array}{l} ext { 2. } mathrm{P} ext { - множеств...
Решение задачи на тему

[ egin{array}{l} ext { 2. } mathrm{P} ext { - множество всех людей. } \ mathrm{R}={(mathrm{x}, mathrm{y}) ext { êх, } mathrm{y} hat{mid} mathrm{P} ext { и х является матерью } mathrm{y}} . \ mathrm{S}={(mathrm{x}, mathrm{y}) ext { êx, } mathrm{y}

  • Логика
  • #Основы формальной логики
  • #Теория множеств
[ egin{array}{l} ext { 2. } mathrm{P} ext { - множество всех людей. } \ mathrm{R}={(mathrm{x}, mathrm{y}) ext { êх, } mathrm{y} hat{mid} mathrm{P} ext { и х является матерью } mathrm{y}} . \ mathrm{S}={(mathrm{x}, mathrm{y}) ext { êx, } mathrm{y}

Условие:

$
\begin{array}{l}
\text { 2. } \mathrm{P} \text { - множество всех людей. } \\
\mathrm{R}=\{(\mathrm{x}, \mathrm{y}) \text { êх, } \mathrm{y} \hat{\mid} \mathrm{P} \text { и х является матерью } \mathrm{y}\} . \\
\mathrm{S}=\{(\mathrm{x}, \mathrm{y}) \text { êx, } \mathrm{y} \hat{\mid} \mathrm{P} \text { и } \mathrm{x}-\text { дочь } \mathrm{y}\} .
\end{array}
$

Описать явно отношение $\mathrm{R}^{-1} \cdot \mathrm{~S}$ ?

Решение:

Чтобы описать отношение R-1 · S, сначала разберёмся с тем, что представляют собой отношения R и S.

  1. Определение отношений:
  • Отношение R состоит из пар (x, y), где x является матерью y. То есть, если (x, y) ∈ R, то x — это мать y.
  • Отношение S состоит из пар (x, y), где x — это дочь y. То есть, если (x, y) ∈ S, то x — это дочь y.
  1. Обратное отношение R-1:
  • Обратное отношение R-1 состоит из пар (y, x), где x ...

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