Binārā predikāta piemērs

Ieslēgts loģikateikumus gramatiski veido tēma, par kuru runā, un predikāts, kurā kaut kas tiek apstiprināts par tēmu. Matemātiskās loģikas izpētei predikāts ir apgalvojums, kas izteikts paziņojumā un tiek klasificēts atbilstoši apgalvojumam, kas ietekmē vienu, divus vai vairākus priekšmetus.

Kad predikāts norāda subjekta īpašību vai darbību, to sauc par predikātu vienots, monārs vai unārs, tā kā apgalvojums attiecas tikai uz vienu subjektu (personu, dzīvnieku, lietu vai ideju) un tā atribūtu:

Huans ir gudrs
Alise izskatās pēc modeļa
Roberto ēd.
Hosē strādā

Gramatiskā līmenī unāri predikāti ir atribūti teikumi, kuros tiek apstiprināts kaut kas par subjektu (pirmie divi teikumi no augšas); kā arī atstarojošie teikumi, tas ir, tie, kuros veiktā darbība attiecas uz tēmu (trešais un ceturtais teikums).

The binārie teikumi ir tie, kuros ir divi subjektis, kas ir saistīti ar darbības vārda darbību. Šīs attiecības var būt vairāku veidu, un to kopīgā iezīme ir tā, ka abi subjekti ir pakļauti attiecību kārtībai, kuru gramatiski var izteikt dažādi.

Kā salikts priekšmets: Ja ir salikts priekšmets un darbības vārda darbība ir savstarpēja, piemēram:

Karloss un Alīsija mīl viens otru.
Roberto un Hosē satiekas.

Kā tiešs objekts: Attiecas uz darbību, ko subjekts veicis citam subjektam vai objektam:

Karloss mīl Aliciju.
Roberto satiek Hosē.

Kā salīdzinoši: Kad mēs salīdzinām vai konstatējam subjekta vai cita subjekta atribūta vai raksturlieluma vienlīdzību:

Karloss ir garāks par Alīsiju.
Roberto ir tikpat labs strādnieks kā Hosē.

Norāda netiešas vai hierarhiskas attiecības. Tas ir, kad mēs izsakām, ka subjekta a darbību veic subjekts b, norādot hierarhiskas attiecības:

Jā Karloss konsultēsies ar Aliciju.
Roberto darīs to, ko Karloss pavēlēja.

Tomēr ne visiem apgalvojumiem, kuriem pirms darbības vārda ir divi priekšmeti, nav binārā predikāta. Ja darbības vārds ir kopulatīvs, intransitīvs vai transitīvs, kas darbojas kā intransitīvs, tie pilda atribūtu funkciju, tāpēc mēs saskaramies ar vienotu predikātu:

Huans un Alīsija skrien.
Roberto un Hosē ir gara auguma.

Šajos gadījumos, lai atšķirtu, vai predikāts ir vienots vai binārs, jādomā, vai darbība ir abpusēja (binārā) vai kopīga, katrs to dara pats (unāri):

Huans un Alīsija mīl viens otru (Huans mīl Alīsiju, un Alīsija mīl Huanu, viņi mīl viens otru; ir binārs predikāts)
Huans un Alīsija skrien (Huans skrien un Alisija skrien, katrs pats par sevi; ir vienots predikāts)

Tās izmantošana loģikā. Bināro predikātu izmantošana formas loģikā ļauj salīdzināt trīs vai vairāk cilvēku īpašības vai īpašības, izmantojot virkni salīdzinājumu. Tie var būt starp indivīdiem, sākot no universāla līdz konkrētam (dedukcija) vai no konkrēta līdz universālam (indukcija):

Privātpersonas:

1. pieņēmums (binārs predikāts): Huans ir saistīts ar Anu
2. priekšnoteikums (binārs predikāts): Ana ir saistīta ar Rominu
Secinājums: Huans ir Rominas radinieks

No universāla līdz konkrētam:

1. pieņēmums (binārs predikāts): Felines pieder plēsēju grupai
2. priekšnoteikums (binārs predikāts): kaķi pieder kaķu grupai
3. priekšnoteikums (vienības predikāts): Manchitas ir kaķis
Secinājums: Manchitas ir plēsējs

No indivīdiem līdz universāliem:

1. pieņēmums (vienības predikāts): mans suns ēd gaļu.
2. priekšnoteikums (vienības predikāts): mana kaimiņa suns ēd gaļu.
3. priekšnoteikums (binārs predikāts): Dzīvnieki, kuri ēd gaļu, veido plēsēju grupu.
Secinājums: (Binārais predikāts): suņi pieder plēsēju grupai.

10 binārā predikāta piemēri:

1.

Mariana ir garāka par Karmenu.
Marisols ir garāks par Marianu.
Marisola ir garāka par Karmenu.

2.

Filma bija interesanta tēma.
Roberto redzēja filmu.
Roberto redzēja interesantu tēmu.

3.

Huans izpilda Pedro pavēles.
Estebans izpilda Huana pavēles.
Estebans izpilda Pedro pavēles.

4.

Gaļa satur olbaltumvielas.
Josefina ēd gaļu.
Josefina ēd olbaltumvielas.

5.

Rakstīšana ir valodas sastāvdaļa.
Daniela iemācās rakstīt.
Daniela mācās rakstīt.

6.

Loģika ir filozofijas sastāvdaļa.
Filozofija tiek uzskatīta par mākslu.
Gabriels studē loģiku.
Gabriels studē filozofiju.
Gabriels studē mākslu.

7.

Skuveklis izmanto elektrību.
Elektrība ir enerģijas veids.
Skuveklis izmanto enerģiju.

8.

Putni lido dzīvniekus.
Sikspārņi lido.
Sikspārņi ir putni.

9.

Paziņojumi ir predikāti.
Daži predikāti var būt patiesi.
Daži predikāti var būt nepatiesi.
Daži apgalvojumi var būt patiesi.
Daži apgalvojumi var būt nepatiesi.

10.

Saule izdala siltumu.
Siltums paaugstina temperatūru.
Saule paaugstina temperatūru.