Príklad binárneho predikátu

On logika, vety sú gramaticky zložené z subjektu, o ktorom sa hovorí, a predikátu, v ktorom sa niečo o subjekte potvrdzuje. Pre štúdium matematickej logiky je predikátom výrok, ktorý sa robí vo výroku a klasifikuje sa podľa výroku, ktorý ovplyvňuje jeden, dva alebo viac predmetov.

Keď predikát uvádza charakteristiku alebo pôsobenie subjektu, nazýva sa predikát unitárne, monárne alebo unárne, pretože výrok zahŕňa iba jeden predmet (osobu, zviera, vec alebo myšlienku) a jeho atribút:

Juan je bystrý
Alica vyzerá ako modelka
Roberto je.
Jose pracuje

Na gramatickej úrovni sú unárnymi predikátmi prívlastkové vety, v ktorých je niečo potvrdené o predmete (prvé dve vety zhora); ako aj reflexívne vety, teda tie, v ktorých spadá uskutočnená činnosť na predmet (tretia a štvrtá veta).

The binárne vety sú tie, v ktorých sú dva predmetys, ktoré súvisia pôsobením slovesa. Tento vzťah môže mať niekoľko typov a ich spoločnou charakteristikou je, že tieto dva subjekty podliehajú vzájomnému vzťahu, ktoré je možné vyjadriť gramaticky rôznymi spôsobmi.

Ako zložený predmet: Ak existuje zložený predmet a pôsobenie slovesa je medzi predmetmi vzájomné, napríklad:

Carlos a Alicia sa majú radi.
Roberto a José sa stretnú.

Ako priamy objekt: Odkazuje na akciu, ktorú subjekt vyvinul na iný subjekt alebo predmet:

Carlos miluje Alíciu.
Roberto sa stretáva s Josém.

Ako porovnávacie: Keď porovnávame alebo zisťujeme rovnosť atribútu alebo charakteristiky predmetu s tým, ktorý je rovnocenný s iným predmetom:

Carlos je vyšší ako Alicia.
Roberto je rovnako dobrý pracovník ako José.

Naznačujúce nepriamy alebo hierarchický vzťah. To znamená, keď vyjadríme, že činnosť subjektu a je vykonávaná subjektom b, čo naznačuje hierarchický vzťah:

Áno, Carlos sa poradí s Aliciou.
Roberto urobí to, čo si objedná Carlos.

Nie všetky tvrdenia, ktoré majú pred slovesom dva predmety, však majú binárny predikát. Keď je sloveso kopulatívne, nepriechodné alebo prechodné, ktoré funguje ako nepriechodné, plní prívlastkovú funkciu, takže stojíme pred jednotným predikátom:

Juan a Alicia bežia.
Roberto a José sú vysokí.

V týchto prípadoch je pri rozlišovaní, či je predikát jednotný alebo binárny, potrebné myslieť na to, či je činnosť vzájomná (binárna) alebo bežná, čo robí každý sám (unárne):

Juan a Alicia sa milujú (Juan miluje Aliciu a Alicia miluje Juana, milujú sa navzájom; je binárny predikát)
Juan a Alicia bežia (Juan beží a Alicia beží, každý sám; je unitárny predikát)

Jeho použitie v logike. Použitie binárnych predikátov vo logike formulára vám umožňuje porovnať kvality alebo atribúty troch alebo viacerých ľudí pomocou série porovnaní. Môžu to byť jednotlivci, od univerzálov po jednotlivcov (dedukcia), alebo od jednotlivcov po univerzálie (indukcia):

Jednotlivci:

Predpoklad 1 (binárny predikát): Juan je príbuzný s Anou
Predpoklad 2 (binárny predikát): Ana je príbuzná Rominy
Záver: Juan je príbuzný Rominy

Od univerzálneho po konkrétne:

Predpoklad 1 (binárny predikát): Mačkovité šelmy patria do skupiny mäsožravcov
Predpoklad 2 (binárny predikát): Mačky patria do skupiny mačkovitých šeliem
Predpoklad 3 (jednotkový predikát): Manchitas je mačka
Záver: Manchitas je mäsožravec

Od jednotlivcov po univerzálne:

Predpoklad 1 (jednotkový predikát): môj pes je mäso.
Predpoklad 2 (predikát jednotky): Pes môjho suseda jedáva mäso.
Predpoklad 3 (binárny predikát): Zvieratá, ktoré jedia mäso, tvoria skupinu mäsožravcov.
Záver: (Binárny predikát): Psy patria do skupiny šeliem.

10 príkladov binárneho predikátu:

1.

Mariana je vyššia ako Carmen.
Marisol je vyššia ako Mariana.
Marisol je vyššia ako Carmen.

2.

Film mal zaujímavý námet.
Roberto videl film.
Roberto videl zaujímavú tému.

3.

Juan plní Pedrove príkazy.
Esteban plní Juanove príkazy.
Esteban plní Pedrove príkazy.

4.

Mäso obsahuje bielkoviny.
Josefina je mäso.
Josefina zje bielkoviny.

5.

Písanie je súčasťou jazyka.
Daniela sa učí písať.
Daniela sa učí písať.

6.

Logika je súčasťou filozofie.
Filozofia sa považuje za umenie.
Gabriel študuje logiku.
Gabriel študuje filozofiu.
Gabriel študuje umenie.

7.

Žiletka používa elektrinu.
Elektrina je forma energie.
Žiletka využíva energiu.

8.

Vtáky sú lietajúce zvieratá.
Netopiere lietajú.
Netopiere sú vtáky.

9.

Príkazy sú predikáty.
Niektoré predikáty môžu byť pravdivé.
Niektoré predikáty môžu byť nepravdivé.
Niektoré tvrdenia môžu byť pravdivé.
Niektoré tvrdenia môžu byť nepravdivé.

10.

Slnko vydáva teplo.
Teplo zvyšuje teplotu.
Slnko zvyšuje teplotu.