Приклад двійкового предиката

Увімкнено логіка, речення граматично складаються з підмета, це той, про кого йдеться, і присудка, в якому щось стверджується про підмет. Для вивчення в математичній логіці предикат - це твердження, яке робиться у твердженні і класифікується відповідно до твердження, яке стосується одного, двох або більше предметів.

Коли присудок заявляє характеристику чи дію суб’єкта, він називається присудком унітарний, монарний або одинарний, оскільки висловлювання стосується лише одного предмета (людини, тварини, речі чи ідеї) та його атрибута:

Хуан розумний
Аліса схожа на модель
Роберто їсть.
Хосе працює

На граматичному рівні одинарні предикати - це атрибутивні речення, в яких щось стверджується про підмет (перші два речення зверху); а також рефлексивні речення, тобто ті, в яких вчинена дія потрапляє на предмет (третє та четверте речення).

двійкові речення - це ті, в яких є два підметиs, які пов’язані через дію дієслова. Ці відносини можуть бути декількох типів, і їх спільною характеристикою є те, що ці два суб’єкти підпорядковані порядку взаємовідносин

, які можуть бути виражені граматично різними способами.

Як складений предмет: Коли є складений предмет і дія дієслова є взаємною між суб’єктами, наприклад:

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

Як безпосередній об'єкт: Посилається на дію, яку суб'єкт чинить на іншого суб'єкта або об'єкт:

Карлос любить Алісію.
Роберто зустрічає Хосе.

Як порівняльні: Коли ми порівнюємо або встановлюємо рівність атрибута чи характеристики предмета, з рівністю іншого предмета:

Карлос вищий за Алісію.
Роберто такий же хороший робітник, як і Хосе.

Вказівка ​​на обставинні або ієрархічні відносини. Тобто, коли ми виражаємо, що дія суб’єкта a виконується суб’єктом b, вказуючи на ієрархічний зв’язок:

Так, Карлос порадиться з Алісією.
Роберто зробить те, що наказав Карлос.

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

Хуан та Алісія біжать.
Роберто і Хосе високі.

У цих випадках, щоб розрізнити, чи є предикат унітарним чи двійковим, означає подумати, якщо дія є взаємною (двійковою) або загальною, кожен робить це сам по собі (унарний):

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

Його використання в логіці. Використання двійкових предикатів у логіці форми дозволяє порівняти якості або атрибути трьох або більше людей за допомогою серії порівнянь. Вони можуть бути між окремими людьми, від універсалій до індивідів (дедукція), або від індивідів до універсалій (індукція):

Фізичні особи:

Приміщення 1 (двійковий присудок): Хуан пов’язаний з Ана
Приміщення 2 (двійковий присудок): Ана споріднена з Роміною
Завершення: Хуан - родич Роміни

Від універсального до особливого:

Приміщення 1 (двійковий присудок): Котячі належать до групи м’ясоїдних
Приміщення 2 (двійковий присудок): Кішки належать до групи котячих
Приміщення 3 (одиничний присудок): Манчітас - кішка
Завершення: Манчітас - м’ясоїд

Від окремих людей до універсальних:

Приміщення 1 (одиничний присудок): моя собака їсть м’ясо.
Приміщення 2 (одиничний присудок): Собака мого сусіда їсть м’ясо.
Приміщення 3 (бінарний присудок): Тварини, які їдять м’ясо, утворюють групу м’ясоїдних.
Завершення: (Бінарний присудок): Собаки належать до групи м’ясоїдних.

10 прикладів двійкового предиката:

1.

Маріана вища за Кармен.
Марісоль вища за Маріану.
Марісоль вища за Кармен.

2.

Фільм був цікавої тематики.
Роберто побачив фільм.
Роберто побачив цікаву тему.

3.

Хуан виконує накази Педро.
Естебан виконує накази Хуана.
Естебан виконує накази Педро.

4.

М'ясо містить білок.
Жозефіна їсть м’ясо.
Жозефіна їсть білок.

5.

Письмо є частиною мови.
Даніела вчиться писати.
Даніела вчиться писати.

6.

Логіка є частиною філософії.
Філософія вважається мистецтвом.
Габріель вивчає логіку.
Габріель вивчає філософію.
Габріель вивчає мистецтво.

7.

Бритва використовує електрику.
Електрика - це вид енергії.
Бритва використовує енергію.

8.

Птахи - це літаючі тварини.
Летючі миші літають.
Кажани - це птахи.

9.

Висловлювання є предикатами.
Деякі предикати можуть бути істинними.
Деякі предикати можуть бути хибними.
Деякі твердження можуть бути правдивими.
Деякі твердження можуть бути хибними.

10.

Сонце віддає тепло.
Спека підвищує температуру.
Сонце підвищує температуру.