Binært predikateksempel

På logikksetningene er grammatisk sammensatt av et emne, som er den som snakker om, og et predikat der noe blir bekreftet om emnet. For studiet i matematisk logikk er predikatet utsagnet som blir gjort i en uttalelse og er klassifisert i henhold til utsagnet som berører ett, to eller flere fag.

Når et predikat angir en egenskap eller handling av motivet, kalles det et predikat enhetlig, monary eller unary, siden uttalelsen bare involverer et enkelt emne (person, dyr, ting eller idé) og dets attributt:

Juan er smart
Alice ser ut som en modell
Roberto spiser.
Jose jobber

På grammatisk nivå er unare predikater attributtsetninger, der noe bekreftes om emnet (to første setninger ovenfra); så vel som reflekterende setninger, det vil si de der handlingen som utføres faller på emnet (tredje og fjerde setning).

De binære setninger er de der det er to emners, som er relatert gjennom virkningen av verbet. Dette forholdet kan være av flere typer, og deres felles kjennetegn er at de to fagene er underlagt en rekkefølge, som kan uttrykkes grammatisk på forskjellige måter.

Som et sammensatt emne: Når det er et sammensatt subjekt og verbets handling er gjensidig mellom fagene, for eksempel:

Carlos og Alicia elsker hverandre.
Roberto og José møtes.

Som direkte objekt: Viser til handlingen som motivet utøver mot et annet emne eller objekt:

Carlos elsker Alicia.
Roberto møter José.

Som komparativer: Når vi sammenligner eller etablerer likheten til et attributt eller en karakteristikk av emnet, med det for et annet emne:

Carlos er høyere enn Alicia.
Roberto er en like god arbeider som José.

Angir et forhold eller hierarkisk forhold. Det vil si når vi uttrykker at handlingen til subjekt a utføres av subjekt b, noe som indikerer et hierarkisk forhold:

Ja Carlos vil konsultere Alicia.
Roberto vil gjøre det Carlos bestiller.

Imidlertid er ikke alle utsagn som har to emner før verbet, et binært predikat. Når verbet er kopulativt, intransitivt eller transitivt som fungerer som intransitivt, oppfyller de en attributiv funksjon, så vi står overfor et enhetlig predikat:

Juan og Alicia løper.
Roberto og José er høye.

I disse tilfellene, å skille om predikatet er enhetlig eller binært, er å tenke om handlingen er gjensidig (binær) eller at det er vanlig, hver og en gjør det av seg selv (unarisk):

Juan og Alicia elsker hverandre (Juan elsker Alicia, og Alicia elsker Juan, de elsker hverandre; er et binært predikat)
Juan og Alicia løper (Juan løper og Alicia løper, hver for seg; er et enhetlig predikat)

Dens bruk i logikk. Ved å bruke binære predikater i formlogikk kan du sammenligne kvalitetene eller attributtene til tre eller flere personer gjennom en serie sammenligninger. Disse kan være mellom individer, fra universaler til individer (deduksjon), eller fra individer til universelle (induksjon):

Enkeltpersoner:

Lokaleområde 1 (binært predikat): Juan er i slekt med Ana
Lokale 2 (binært predikat): Ana er i slekt med Romina
Konklusjon: Juan er en pårørende til Romina

Fra universell til spesiell:

Lokaleområde 1 (binært predikat): Felines tilhører gruppen rovdyr
Lokale 2 (binært predikat): Katter tilhører gruppen av katter
Forutsetning 3 (enhetspredikat): Manchitas er en katt
Konklusjon: Manchitas er et kjøtteter

Fra enkeltpersoner til universelle:

Lokaleområde 1 (enhetspredikat): hunden min spiser kjøtt.
Lokale 2 (enhetspredikat): Hunden til naboen min spiser kjøtt.
Forutsetning 3 (binært predikat): Dyr som spiser kjøtt utgjør gruppen rovdyr.
Konklusjon: (Binært predikat): Hunder tilhører gruppen rovdyr.

10 eksempler på binært predikat:

1.

Mariana er høyere enn Carmen.
Marisol er høyere enn Mariana.
Marisol er høyere enn Carmen.

2.

Filmen var av et interessant emne.
Roberto så filmen.
Roberto så et interessant tema.

3.

Juan følger Pedros ordre.
Esteban følger Juan sine ordrer.
Esteban følger Pedros ordre.

4.

Kjøtt inneholder protein.
Josefina spiser kjøtt.
Josefina spiser protein.

5.

Skriving er en del av et språk.
Daniela lærer å skrive.
Daniela lærer å skrive.

6.

Logikk er en del av filosofien.
Filosofi regnes som en kunst.
Gabriel studerer logikk.
Gabriel studerer filosofi.
Gabriel studerer en kunst.

7.

Barberhøvelen bruker strøm.
Elektrisitet er en form for energi.
Barberhøvelen bruker energi.

8.

Fugler er flygende dyr.
Flaggermus flyr.
Flaggermus er fugler.

9.

Uttalelser er predikater.
Noen predikater kan være sanne.
Noen predikater kan være falske.
Noen uttalelser kan være sanne.
Noen påstander kan være falske.

10.

Solen gir fra seg varme.
Varme øker temperaturen.
Sola øker temperaturen.