Binaarne predikaatnäide

Peal loogika, laused koosnevad grammatiliselt subjektist, kellest räägitakse, ja predikaadist, milles subjekti kohta midagi kinnitatakse. Matemaatilise loogika uurimiseks on predikaat lause, mis on tehtud avalduses ja mis on klassifitseeritud vastavalt ühele, kahele või enamale subjektile avaldusele.

Kui predikaat väljendab subjekti omadust või tegevust, nimetatakse seda predikaadiks unitaarne, monaarne või unaarne, kuna lause hõlmab ainult ühte teemat (inimest, looma, asja või ideed) ja selle atribuuti:

Juan on tark
Alice näeb välja nagu modell
Roberto sööb.
Jose töötab

Grammatilisel tasandil on unaarsed predikaadid atribuutsed laused, milles kinnitatakse midagi subjekti kohta (kaks esimest lauset ülalt); samuti peegeldavaid lauseid, see tähendab neid, milles teostatud tegevus langeb subjektile (kolmas ja neljas lause).

The binaarsed laused on need, milles on kaks subjektis, mis on seotud verbi tegevuse kaudu. See suhe võib olla mitut tüüpi ja nende ühine omadus on see, et need kaks subjekti alluvad suhtekorrale, mida saab grammatiliselt väljendada mitmel viisil.

Liitmaterjalina: Kui on liitsubjekt ja verbi tegevus on subjektide vahel vastastikune, näiteks:

Carlos ja Alicia armastavad teineteist.
Roberto ja José saavad kokku.

Otsese objektina: Viitab subjekti teisele subjektile või objektile tehtud tegevusele:

Carlos armastab Aliciat.
Roberto kohtub Joséga.

Võrdlusena: Kui me võrdleme või tuvastame subjekti atribuudi või tunnuse võrdsust teise subjekti omadusega:

Carlos on pikem kui Alicia.
Roberto on sama hea töötaja kui José.

Kaudse või hierarhilise suhte näitamine. See tähendab, et kui me väljendame, et subjekti a toimingu teostab subjekt b, mis näitab hierarhilist suhet:

Jah, Carlos konsulteerib Aliciaga.
Roberto teeb seda, mida Carlos tellib.

Kuid mitte kõigil väidetel, millel on enne verbi kaks teemat, on binaarne predikaat. Kui verb on kopulatiivne, intransitiivne või transitiivne, mis toimib intransitiivsena, täidavad nad omistavat funktsiooni, seega seisame silmitsi ühtse predikaadiga:

Juan ja Alicia jooksevad.
Roberto ja José on pikad.

Nendel juhtudel, et eristada, kas predikaat on ühene või binaarne, tähendab mõelda, kas tegevus on vastastikune (binaarne) või see, mis on tavaline, teeb igaüks seda ise (unaarne):

Juan ja Alicia armastavad teineteist (Juan armastab Aliciat ja Alicia armastab Juani, nad armastavad üksteist; on binaarne predikaat)
Juan ja Alicia jooksevad (Juan jookseb ja Alicia jookseb, kumbki omaette; on ühtne predikaat)

Selle kasutamine loogikas. Binaarsete predikaatide kasutamine vormiloogikas võimaldab võrrelda kolme või enama inimese omadusi või omadusi võrdluste sarja kaudu. Need võivad olla üksikisikute vahel, universaalsest konkreetseks (deduktsioon) või konkreetsest universaalseks (induktsioon):

Üksikisikud:

Eeldus 1 (binaarne predikaat): Juan on seotud Anaga
Eeldus 2 (binaarne predikaat): Ana on seotud Rominaga
Järeldus: Juan on Romina sugulane

Universaalsest konkreetseks:

Eeldus 1 (binaarne predikaat): Feliinid kuuluvad kiskjate rühma
Eeldus 2 (binaarne predikaat): kassid kuuluvad kasside rühma
Eeldus 3 (ühiku predikaat): Manchitas on kass
Järeldus: Manchitas on kiskja

Üksikisikutest universaalseteni:

Eeldus 1 (ühiku predikaat): minu koer sööb liha.
Eeldus 2 (ühiku predikaat): Mu naabri koer sööb liha.
Eeldus 3 (binaarne predikaat): liha söövad loomad moodustavad kiskjate rühma.
Järeldus: (Binaarne predikaat): koerad kuuluvad kiskjate rühma.

10 binaarse predikaadi näidet:

1.

Mariana on pikem kui Carmen.
Marisol on Marianast pikem.
Marisol on Carmenist pikem.

2.

Film oli huvitava teemaga.
Roberto nägi filmi.
Roberto nägi huvitavat teemat.

3.

Juan täidab Pedro korraldusi.
Esteban täidab Juani korraldusi.
Esteban täidab Pedro korraldusi.

4.

Liha sisaldab valku.
Josefina sööb liha.
Josefina sööb valku.

5.

Kirjutamine on osa keelest.
Daniela õpib kirjutama.
Daniela õpib kirjutama.

6.

Loogika on osa filosoofiast.
Filosoofiat peetakse kunstiks.
Gabriel õpib loogikat.
Gabriel õpib filosoofiat.
Gabriel õpib kunsti.

7.

Pardel kasutab elektrit.
Elekter on energia vorm.
Raseerija kasutab energiat.

8.

Linnud on lendavad loomad.
Nahkhiired lendavad.
Nahkhiired on linnud.

9.

Laused on predikaadid.
Mõned predikaadid võivad olla tõesed.
Mõned predikaadid võivad olla valed.
Mõni väide võib olla tõsi.
Mõni väide võib olla vale.

10.

Päike annab soojust.
Kuumus tõstab temperatuuri.
Päike tõstab temperatuuri.