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

на логика, реченице су граматички састављене од субјекта, који је онај о коме се говори, и предиката у коме се нешто потврђује о субјекту. За своје проучавање математичке логике, предикат је исказ који се даје у изјави и класификује се према исказу који утиче на један, два или више предмета.

Када предикат наводи особину или радњу субјекта, назива се предикат унитарни, монархични или унарни, јер изјава укључује само једног субјекта (особу, животињу, ствар или идеју) и њен атрибут:

Хуан је паметан
Алице изгледа као модел
Роберто једе.
Јосе ради

На граматичком нивоу, унарни предикати су атрибутивне реченице, у којима се нешто потврђује о субјекту (прве две реченице одозго); као и рефлективне реченице, односно оне у којима је извршена радња пала на субјекта (трећа и четврта реченица).

Тхе бинарне реченице су оне у којима постоје два субјектас, који су повезани радњом глагола. Овај однос може бити неколико врста, и њихова заједничка карактеристика је да су два субјекта подређена поретку односа, који се граматички могу изразити на разне начине.

Као сложени предмет: Када постоји сложени субјект и радња глагола је обострана између субјеката, на пример:

Царлос и Алициа се воле.
Роберто и Јосе се упознају.

Као непосредни објекат: Односи се на радњу коју субјект врши на други субјект или објекат:

Царлос воли Алицију.
Роберто упознаје Јосеа.

Као упоредни: Када упоредимо или утврдимо једнакост атрибута или карактеристике предмета са оном другог предмета:

Карлос је виши од Алиције.
Роберто је добар радник као и Јосе.

Указивање на посредни или хијерархијски однос. Односно, када изразимо да радњу субјекта а врши субјект б, указујући на хијерархијски однос:

Да, Царлос ће се консултовати са Алицијом.
Роберто ће извршити оно што Царлос нареди.

Међутим, немају сви искази који имају два субјекта пре глагола бинарни предикат. Када је глагол копулативни, непрелазни или прелазни и делује као непрелазан, они испуњавају атрибутивну функцију, па смо суочени са унитарним предикатом:

Јуан и Алициа трче.
Роберто и Јосе су високи.

У овим случајевима разликовати да ли је предикат јединствени или бинарни, значи размислити да ли је радња узајамна (бинарна) или је она уобичајена, свака то чини сама (унарна):

Јуан и Алициа се воле (Јуан воли Алициа, а Алициа воли Јуан, воле се; је бинарни предикат)
Јуан и Алициа трче (Јуан трчи и Алициа трчи, свака за себе; је јединствени предикат)

Његова употреба у логици. Коришћење бинарних предиката у логици форме омогућава вам да упоредите особине или особине три или више људи кроз низ поређења. То могу бити између појединаца, од универзала до појединаца (одбитак) или од појединаца до универзалија (индукција):

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

Простор 1 (бинарни предикат): Јуан је у сродству са Аном
Простор 2 (бинарни предикат): Ана је у сродству са Ромином
Закључак: Јуан је рођак Ромине

Од универзалног до одређеног:

Простор 1 (бинарни предикат): Мачке припадају групи месождера
Простор 2 (бинарни предикат): Мачке припадају групи мачака
Простор 3 (јединични предикат): Манцхитас је мачка
Закључак: Манцхитас је месождер

Од појединаца до универзалних:

Простор 1 (предикат јединице): мој пас једе месо.
Простор 2 (предикат јединице): Пас мог комшије једе месо.
Простор 3 (бинарни предикат): Животиње које једу месо чине групу месождера.
Закључак: (Бинарни предикат): Пси припадају групи месождера.

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

1.

Маријана је виша од Кармен.
Марисол је виша од Маријане.
Марисол је виша од Цармен.

2.

Филм је био занимљиве теме.
Роберто је видео филм.
Роберто је видео занимљиву тему.

3.

Хуан се придржава Педрових наредби.
Естебан следи Хуанова наређења.
Естебан следи Педрово наређење.

4.

Месо садржи протеине.
Јосефина једе месо.
Јосефина једе протеине.

5.

Писање је део језика.
Даниела учи писање.
Даниела учи да пише.

6.

Логика је део филозофије.
Филозофија се сматра уметношћу.
Габријел проучава логику.
Габријел студира филозофију.
Габриел студира уметност.

7.

Бријач користи електричну енергију.
Електрична енергија је облик енергије.
Бријач користи енергију.

8.

Птице су летеће животиње.
Слепи мишеви лете.
Слепи мишеви су птице.

9.

Изјаве су предикати.
Неки предикати могу бити истинити.
Неки предикати могу бити лажни.
Неке изјаве су можда истините.
Неке тврдње могу бити нетачне.

10.

Сунце одаје топлоту.
Топлота повећава температуру.
Сунце повећава температуру.