Dvejetainio tarinio pavyzdys

Įjungta logika, sakiniai yra gramatiškai sudaryti iš subjekto, apie kurį kalbama, ir predikato, kuriame kažkas patvirtinama apie subjektą. Tiriant matematinę logiką, predikatas yra teiginys, padarytas sakinyje ir klasifikuojamas pagal teiginį, kuris veikia vieną, du ar daugiau subjektų.

Kai predikatas nurodo subjekto savybę ar veiksmą, jis vadinamas predikatu vienetinis, monarinis ar unarinis, nes teiginys apima tik vieną subjektą (asmenį, gyvūną, daiktą ar idėją) ir jo atributą:

Juanas yra protingas
Alisa atrodo kaip modelis
Roberto valgo.
Chosė dirba

Gramatikos lygmeniu unariniai predikatai yra atributiniai sakiniai, kuriuose kažkas patvirtinama apie subjektą (pirmieji du sakiniai iš viršaus); taip pat atspindintys sakiniai, tai yra tie, kuriuose atliktas veiksmas tenka subjektui (trečias ir ketvirtas sakiniai).

The dvejetainiai sakiniai yra tie, kuriuose yra du dalykais, kurie yra susiję veiksmažodžio veiksmu. Šie santykiai gali būti kelių tipų ir jų bendra ypatybė yra ta, kad abiem subjektams taikoma santykių tvarka, kurią galima gramatiškai išreikšti įvairiais būdais.

Kaip sudėtinis subjektas: Kai yra sudėtinis subjektas ir veiksmažodis tarp subjektų yra abipusis, pavyzdžiui:

Carlosas ir Alicia myli vienas kitą.
Roberto ir José susitinka.

Kaip tiesioginis objektasNurodo veiksmą, kurį subjektas atliko kitam subjektui ar objektui:

Carlosas myli Aliciją.
Roberto susitinka su José.

Kaip lyginamieji: Kai palyginame ar nustatome subjekto požymio ar savybės lygybę su kitu subjektu:

Carlosas yra aukštesnis nei Alicia.
Roberto yra toks pat geras darbininkas kaip José.

Nurodant aplinkybes ar hierarchinius santykius. Tai yra, kai mes išreiškiame, kad subjekto a veiksmą atlieka subjektas b, nurodydamas hierarchinį santykį:

Taip Carlosas konsultuosis su Alicia.
Roberto padarys tai, ką liepia Carlosas.

Tačiau ne visi teiginiai, turintys du dalykus prieš veiksmažodį, neturi dvejetainio tarinio. Kai veiksmažodis yra kopuliacinis, intransityvus ar transityvus, kuris veikia kaip intranzityvus, jie atlieka atributinę funkciją, todėl susiduriame su vieningu predikatu:

Juanas ir Alicia bėga.
Roberto ir José yra aukšti.

Šiais atvejais norint atskirti, ar predikatas yra vienetinis ar dvejetainis, reikia galvoti, ar veiksmas yra abipusis (dvejetainis), ar tas, kuris yra įprastas, kiekvienas tai daro pats (nevienodas):

Juanas ir Alicia myli vienas kitą (Juanas myli Aliciją, o Alicia myli Juaną, jie myli vienas kitą; yra dvejetainis predikatas)
Juanas ir Alicia bėga (Juanas bėga, o Alicia bėga, kiekvienas atskirai; yra vienetinis tarinys)

Jo naudojimas logikoje. Dvejetainių predikatų naudojimas formos logikoje leidžia palyginti trijų ar daugiau žmonių savybes ar savybes atlikus palyginimus. Tai gali būti tarp individų, nuo universalių iki individų (išskaičiavimas) arba nuo individų iki universalių (indukcija):

Asmenys:

1 prielaida (dvejetainis tarinys): Juanas yra susijęs su Ana
2 prielaida (dvejetainis tarinys): Ana yra susijusi su Romina
Pabaiga: Juanas yra Rominos giminaitis

Nuo universalaus iki konkretaus:

1 prielaida (dvejetainis predikatas): felinai priklauso mėsėdžių grupei
2 prielaida (dvejetainis predikatas): katės priklauso kačių grupei
3 prielaida (vieneto predikatas): Manchitas yra katė
Pabaiga: Manchitas yra mėsėdis

Nuo individų iki visuotinių:

1 prielaida (vieneto predikatas): mano šuo valgo mėsą.
2 prielaida (vieneto predikatas): Mano kaimyno šuo valgo mėsą.
3 prielaida (dvejetainis predikatas): mėsą valgantys gyvūnai sudaro mėsėdžių grupę.
Pabaiga: (Dvejetainis predikatas): šunys priklauso mėsėdžių grupei.

10 dvejetainio predikato pavyzdžių:

1.

Mariana yra aukštesnė už Carmen.
Marisolis yra aukštesnis už Marianą.
Marisol yra aukštesnė už Carmen.

2.

Filmas buvo įdomios temos.
Roberto pamatė filmą.
Roberto pamatė įdomią temą.

3.

Juanas vykdo Pedro įsakymus.
Estebanas vykdo Juano įsakymus.
Estebanas vykdo Pedro įsakymus.

4.

Mėsoje yra baltymų.
Josefina valgo mėsą.
Josefina valgo baltymus.

5.

Rašymas yra kalbos dalis.
Daniela išmoksta rašyti.
Daniela mokosi rašyti.

6.

Logika yra filosofijos dalis.
Filosofija laikoma menu.
Gabrielius mokosi logikos.
Gabrielius studijuoja filosofiją.
Gabrielius studijuoja meną.

7.

Skustuvas naudoja elektrą.
Elektra yra energijos forma.
Skustuvas naudoja energiją.

8.

Paukščiai skraido gyvūnus.
Šikšnosparniai skrenda.
Šikšnosparniai yra paukščiai.

9.

Teiginiai yra predikatai.
Kai kurie predikatai gali būti teisingi.
Kai kurie predikatai gali būti klaidingi.
Kai kurie teiginiai gali būti teisingi.
Kai kurie teiginiai gali būti klaidingi.

10.

Saulė skleidžia šilumą.
Šiluma padidina temperatūrą.
Saulė padidina temperatūrą.