Чтобы выразить термин "кровное родство" для двоюродных братьев x и y с использованием заданных предикатов, нам нужно понять, что такое двоюродные братья. Двоюродные братья - это дети братьев и сестёр родителей.

Давайте разберем это по шагам:

1. Определим родителей: Чтобы x и y были двоюродными братьями, необходимо, чтобы один из родителей x был братом или сестрой одного из родителей y.
2. Используем предикаты: Мы можем использовать предикат P для обозначения родителей. Пусть z1 и z2 - родители x и y соответственно. Тогда можно записать:
• P(z1, m1, x) - z1 является отцом x, m1 - матерью x;
• P(z2, m2, y) - z2 является отцом y, m2 - матерью y.
3. Определим родственные связи: Теперь нам нужно, чтобы z1 и z2 были братьями или сестрами. Это можно выразить следующим образом:
• Если z1 - брат z2, то M(z1) и P(z1, m1, x) и P(z2, m2, y);
• Если z1 - сестра z2, то не M(z1) и P(z1, m1, x) и P(z2, m2, y).

Таким образом, полное выражение для двоюродных братьев x и y можно записать так:

Существует z1 и z2:

1. P(z1, m1, x) и P(z2, m2, y);
2. (M(z1) и P(z1, z2)) или (не M(z1) и P(z2, z1)).

Таким образом, мы выразили кровное родство двоюродных братьев через указанные предикаты.