Пример двоичного предиката

На логикапредложения грамматически состоят из подлежащего, о котором идет речь, и сказуемого, в котором что-то утверждается о подлежащем. Для изучения математической логики предикат - это утверждение, которое делается в утверждении и классифицируется в соответствии с утверждением, которое затрагивает один, два или более субъектов.

Когда предикат устанавливает характеристику или действие субъекта, это называется предикатом. унитарный, монарный или унарный, поскольку утверждение касается только одного предмета (человека, животного, предмета или идеи) и его атрибута:

Хуан умен
Алиса похожа на модель
Роберто ест.
Хосе работает

На грамматическом уровне унарные предикаты представляют собой атрибутивные предложения, в которых что-то утверждается о подлежащем (первые два предложения сверху); а также рефлексивные предложения, то есть те, в которых выполняемое действие относится к субъекту (третье и четвертое предложения).

В бинарные предложения - это те, в которых есть два субъектаs, которые связаны действием глагола. Эти отношения могут быть нескольких типов, и

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

Как составной предмет: Когда есть составное подлежащее и действие глагола взаимно между подлежащими, например:

Карлос и Алисия любят друг друга.
Встреча Роберто и Хосе.

Как прямой объект: Относится к действию, которое субъект оказывает на другой субъект или объект:

Карлос любит Алисию.
Роберто встречает Хосе.

В качестве сравнительных: Когда мы сравниваем или устанавливаем равенство атрибута или характеристики объекта с признаками другого субъекта:

Карлос выше Алисии.
Роберто такой же хороший работник, как и Хосе.

Обозначение косвенных или иерархических отношений. То есть, когда мы выражаем, что действие субъекта a выполняется субъектом b, указывая на иерархические отношения:

Да, Карлос посоветуется с Алисией.
Роберто сделает то, что прикажет Карлос.

Однако не все утверждения, в которых перед глаголом есть два подлежащих, имеют бинарный предикат. Когда глагол копулятивный, непереходный или переходный, который работает как непереходный, они выполняют атрибутивную функцию, поэтому мы сталкиваемся с унитарным предикатом:

Хуан и Алисия убегают.
Роберто и Хосе высокие.

В этих случаях, чтобы различать, является ли предикат унитарным или двоичным, нужно подумать, является ли действие взаимным (двоичным) или общим, каждое из которых выполняет это само (унарное):

Хуан и Алисия любят друг друга (Хуан любит Алисию, а Алисия любит Хуана, они любят друг друга; это бинарный предикат)
Хуан и Алисия бегут (Хуан бежит и Алисия бежит, каждый по отдельности; унитарный предикат)

Его использование в логике. Использование бинарных предикатов в логике форм позволяет сравнивать качества или атрибуты трех или более людей посредством серии сравнений. Они могут быть между индивидами, от универсалий к индивидам (дедукция) или от индивидов к универсалиям (индукция):

Физические лица:

Помещение 1 (бинарный предикат): Хуан связан с Аной
Помещение 2 (бинарный предикат): Ана связана с Ромина
Вывод: Хуан - родственник Ромина

От универсального к частному:

Помещение 1 (бинарный предикат): животные из семейства кошачьих принадлежат к группе хищников.
Помещение 2 (бинарный предикат): Кошки принадлежат к группе кошачьих
Помещение 3 (предикат единицы): Manchitas - это кошка
Вывод: Manchitas - плотоядное животное

От индивидуалов к универсальным:

Помещение 1 (предикат единицы): моя собака ест мясо.
Помещение 2 (предикат единицы): Собака моего соседа ест мясо.
Помещение 3 (бинарный предикат): Животные, которые едят мясо, образуют группу хищников.
Вывод: (Бинарный предикат): Собаки принадлежат к группе хищников.

10 примеров бинарного предиката:

1.

Марьяна выше Кармен.
Марисоль выше Марианы.
Марисоль выше Кармен.

2.

Фильм был на интересную тему.
Роберто посмотрел фильм.
Роберто увидел интересную тему.

3.

Хуан следует приказам Педро.
Эстебан следует приказам Хуана.
Эстебан следует приказам Педро.

4.

Мясо содержит белок.
Жозефина ест мясо.
Жозефина ест белок.

5.

Письмо - это часть языка.
Даниела учится письму.
Даниела учится писать.

6.

Логика - это часть философии.
Философия считается искусством.
Габриэль изучает логику.
Габриэль изучает философию.
Габриэль изучает искусство.

7.

Бритва использует электричество.
Электричество - это форма энергии.
Бритва расходует энергию.

8.

Птицы - летающие животные.
Летучие мыши летают.
Летучие мыши - птицы.

9.

Утверждения - это предикаты.
Некоторые предикаты могут быть верными.
Некоторые предикаты могут быть ложными.
Некоторые утверждения могут быть правдой.
Некоторые утверждения могут быть ложными.

10.

Солнце излучает тепло.
Тепло увеличивает температуру.
Солнце повышает температуру.