Binært prædikateksempel
Logik / / July 04, 2021
På logik, sætningerne er grammatisk sammensat af et emne, som er den, der taler om, og et predikat, hvori noget bekræftes om emnet. For studiet i matematisk logik er prædikatet det udsagn, der fremsættes i en erklæring og klassificeres i henhold til udsagnet, der berører et, to eller flere emner.
Når et predikat angiver en karakteristik eller handling af emnet, kaldes det et predikat enhed, monary eller unary, da udsagnet kun involverer et enkelt emne (person, dyr, ting eller idé) og dets attribut:
Juan er smart
Alice ligner en model
Roberto spiser.
Jose arbejder
På det grammatiske niveau er unære prædikater attributiv sætninger, hvori noget bekræftes om emnet (første to sætninger ovenfra); såvel som reflekterende sætninger, det vil sige dem, hvor den udførte handling falder på emnet (tredje og fjerde sætning).
Det binære sætninger er dem, hvor der er to emners, som er beslægtede gennem verbets handling. Dette forhold kan være af flere typer, og deres fælles kendetegn er, at de to emner er underlagt en rækkefølge af forholdet, som kan udtrykkes grammatisk på forskellige måder.
Som et sammensat emne: Når der er et sammensat subjekt, og verbets handling er gensidig mellem emnerne, for eksempel:
Carlos og Alicia elsker hinanden.
Roberto og José mødes.
Som direkte objekt: Henviser til den handling, som emnet udøver mod et andet emne eller objekt:
Carlos elsker Alicia.
Roberto møder José.
Som komparativer: Når vi sammenligner eller fastlægger lighed mellem en attribut eller karakteristik af emnet og et andet emnes:
Carlos er højere end Alicia.
Roberto er lige så god en arbejder som José.
Angiver et forhold eller hierarkisk forhold. Det vil sige, når vi udtrykker, at handlingen af subjekt a udføres af subjekt b, hvilket indikerer et hierarkisk forhold:
Ja Carlos vil høre Alicia.
Roberto vil gøre, hvad Carlos beordrer.
Imidlertid er ikke alle udsagn, der har to emner før verbet, et binært predikat. Når verbet er kopulativt, intransitivt eller transitivt, der fungerer som intransitivt, udfylder de en attributiv funktion, så vi står over for et enhedspredikat:
Juan og Alicia løber.
Roberto og José er høje.
I disse tilfælde er det at tænke, om handlingen er gensidig (binær) eller at være fælles, hver for sig (unary) for at skelne, om prædikatet er enhed eller binært.
Juan og Alicia elsker hinanden (Juan elsker Alicia, og Alicia elsker Juan, de elsker hinanden; er et binært predikat)
Juan og Alicia løber (Juan løber og Alicia løber, hver for sig; er et enhedspredikat)
Dens anvendelse i logik. Brug af binære prædikater i formlogik giver dig mulighed for at sammenligne kvaliteterne eller attributterne for tre eller flere personer gennem en række sammenligninger. Disse kan være mellem individer, fra universelle til individer (deduktion) eller fra individer til universelle (induktion):
Enkeltpersoner:
Lokale 1 (binært predikat): Juan er relateret til Ana
Lokale 2 (binært predikat): Ana er relateret til Romina
Konklusion: Juan er en slægtning til Romina
Fra universel til særlig:
Lokale 1 (binært predikat): Felines tilhører gruppen kødædere
Lokale 2 (binært predikat): Katte tilhører gruppen af katte
Lokale 3 (enhedsprædikat): Manchitas er en kat
Konklusion: Manchitas er en kødædende
Fra enkeltpersoner til universal:
Lokale 1 (enhedsprædikat): min hund spiser kød.
Lokale 2 (enhedsprædikat): Min nabo's hund spiser kød.
Lokale 3 (binært predikat): Dyr, der spiser kød, udgør gruppen af kødædere.
Konklusion: (Binært predikat): Hunde tilhører gruppen kødædere.
10 eksempler på binært prædikat:
1.
Mariana er højere end Carmen.
Marisol er højere end Mariana.
Marisol er højere end Carmen.
2.
Filmen var af et interessant emne.
Roberto så filmen.
Roberto så et interessant emne.
3.
Juan følger Pedros ordrer.
Esteban følger Juan's ordrer.
Esteban følger Pedros ordrer.
4.
Kød indeholder protein.
Josefina spiser kød.
Josefina spiser protein.
5.
Skrivning er en del af et sprog.
Daniela lærer at skrive.
Daniela lærer at skrive.
6.
Logik er en del af filosofien.
Filosofi betragtes som en kunst.
Gabriel studerer logik.
Gabriel studerer filosofi.
Gabriel studerer en kunst.
7.
Barbermaskinen bruger elektricitet.
Elektricitet er en form for energi.
Barbermaskinen bruger energi.
8.
Fugle er flyvende dyr.
Flagermus flyver.
Flagermus er fugle.
9.
Erklæringer er prædikater.
Nogle prædikater kan være sande.
Nogle prædikater kan være falske.
Nogle udsagn kan være rigtige.
Nogle påstande kan være falske.
10.
Solen afgiver varme.
Varme øger temperaturen.
Solen øger temperaturen.