Primer binarnega predikata

Vklopljeno logiko, stavki so slovnično sestavljeni iz subjekta, ki je tisti, o katerem govori, in iz predikata, v katerem je o subjektu nekaj potrjeno. Za preučevanje matematične logike je predikat izjava, ki je podana v izjavi in ​​je razvrščena glede na izjavo, ki vpliva na enega, dva ali več predmetov.

Ko predikat navaja značilnost ali delovanje subjekta, se imenuje predikat enotni, monarhični ali unarni, ker izjava vključuje samo enega subjekta (osebo, žival, stvar ali idejo) in njen atribut:

Juan je pameten
Alice je videti kot model
Roberto poje.
Jose dela

Na slovnični ravni so unarski predikati atributni stavki, v katerih je potrjeno nekaj o subjektu (prva dva stavka od zgoraj); pa tudi odsevni stavki, torej tisti, v katerih je izvedena akcija padla na subjekt (tretji in četrti stavek).

The binarni stavki so tisti, v katerih sta dva subjektas, ki so povezane z delovanjem glagola. To razmerje je lahko več vrst in njihova skupna značilnost je, da sta subjekta predmet razmerja med seboj, ki jih lahko slovnično izrazimo na različne načine.

Kot sestavljena tema: Kadar je sestavljeni subjekt in je delovanje glagola med subjekti vzajemno, na primer:

Carlos in Alicia se imata rada.
Roberto in José se srečata.

Kot neposredni objekt: Nanaša se na dejanje, ki ga izvaja subjekt na drug subjekt ali predmet:

Carlos ima rad Alicijo.
Roberto spozna Joséja.

Kot primerjalne: Ko primerjamo ali ugotovimo enakost lastnosti ali značilnosti predmeta z enakostjo drugega predmeta:

Carlos je višji od Alicije.
Roberto je tako dober delavec kot José.

Navedba posrednega ali hierarhičnega razmerja. Se pravi, ko izrazimo, da dejanje subjekta a izvaja subjekt b, kar kaže na hierarhično razmerje:

Da, Carlos se bo posvetoval z Alicijo.
Roberto bo naredil, kar je Carlos naročil.

Vendar nimajo vsi stavki, ki imajo pred glagolom dva subjekta, binarni predikat. Ko je glagol kopulativni, neprehodni ali prehodni in deluje kot neprehoden, izpolnjuje atributno funkcijo, zato se soočamo z enotnim predikatom:

Juan in Alicia tečeta.
Roberto in José sta visoka.

V teh primerih ločimo, ali je predikat enoten ali binaren, če pomislimo, ali je dejanje vzajemno (binarno) ali skupno, vsak to naredi sam (unarno):

Juan in Alicia se imata rada (Juan ljubi Alicijo in Alicia ljubi Juana, imata se rada; je binarni predikat)
Juan in Alicia tečeta (Juan teče in Alicia teče, vsak zase; je enotni predikat)

Njegova uporaba v logiki. Uporaba binarnih predikatov v logiki obrazca vam omogoča, da primerjate lastnosti ali lastnosti treh ali več ljudi z vrsto primerjav. Ti so lahko med posamezniki, od univerzalnega do določenega (odbitek) ali od posebnega do univerzalnega (indukcija):

Posamezniki:

Prostor 1 (binarni predikat): Juan je soroden Ani
Prostor 2 (binarni predikat): Ana je sorodna Romini
Zaključek: Juan je sorodnik Romine

Od univerzalnega do posebnega:

Prostor 1 (binarni predikat): Mačke spadajo v skupino mesojedcev
Prostor 2 (binarni predikat): Mačke spadajo v skupino mačk
Prostor 3 (predikat enote): Manchitas je mačka
Zaključek: Manchitas je mesojede živali

Od posameznikov do univerzalnih:

Prostor 1 (predikat enote): moj pes je meso.
Prostor 2 (predikat enote): Pes mojega soseda je meso.
Prostor 3 (binarni predikat): Živali, ki jedo meso, tvorijo skupino zveri.
Zaključek: (Binarni predikat): Psi spadajo v skupino mesojedcev.

10 primerov binarnega predikata:

1.

Mariana je višja od Carmen.
Marisol je višja od Mariane.
Marisol je višja od Carmen.

2.

Film je bil zanimive teme.
Roberto si je ogledal film.
Roberto je videl zanimivo temo.

3.

Juan sledi Pedrovemu ukazu.
Esteban sledi Juanovemu ukazu.
Esteban sledi Pedrovemu ukazu.

4.

Meso vsebuje beljakovine.
Josefina je meso.
Josefina jedo beljakovine.

5.

Pisanje je del jezika.
Daniela se nauči pisanja.
Daniela se nauči pisati.

6.

Logika je del filozofije.
Filozofija velja za umetnost.
Gabriel študira logiko.
Gabriel študira filozofijo.
Gabriel študira umetnost.

7.

Britvica uporablja elektriko.
Elektrika je oblika energije.
Britvica uporablja energijo.

8.

Ptice so leteče živali.
Netopirji letijo.
Netopirji so ptice.

9.

Izjave so predikati.
Nekateri predikati so lahko resnični.
Nekateri predikati so lahko napačni.
Nekatere trditve so morda resnične.
Nekatere trditve so lahko napačne.

10.

Sonce oddaja toploto.
Toplota povečuje temperaturo.
Sonce povečuje temperaturo.