Exempel på binärt predikat

På logik, meningarna är grammatiskt sammansatta av ett ämne, som är den som pratar om, och ett predikat där något bekräftas om ämnet. För sin studie i matematisk logik är predikatet det uttalande som görs i ett uttalande och klassificeras enligt uttalandet som påverkar ett, två eller flera ämnen.

När ett predikat anger en egenskap eller handling av ämnet kallas det ett predikat enhetlig, monary eller unary, eftersom uttalandet endast involverar ett enda ämne (person, djur, sak eller idé) och dess attribut:

Juan är smart
Alice ser ut som en modell
Roberto äter.
Jose arbetar

På grammatisk nivå är unara predikat attributiva meningar, där något bekräftas om ämnet (de två första meningarna ovanifrån); såväl som reflekterande meningar, det vill säga de där den utförda åtgärden faller på ämnet (tredje och fjärde meningarna).

De binära meningar är de där det finns två ämnens, som är relaterade genom verbets handling. Detta förhållande kan vara av flera slag, och deras gemensamma särdrag är att de två ämnena är föremål för en ordningsförhållande, som kan uttryckas grammatiskt på olika sätt.

Som ett sammansatt ämne: När det finns ett sammansatt ämne och verbets handling är ömsesidigt mellan ämnena, till exempel:

Carlos och Alicia älskar varandra.
Roberto och José träffas.

Som direkt objekt: Avser den handling som ämnet utövar mot ett annat ämne eller objekt:

Carlos älskar Alicia.
Roberto träffar José.

Som jämförelser: När vi jämför eller fastställer likheten mellan ett attribut eller en egenskap hos ett ämne och ett annat ämnes:

Carlos är högre än Alicia.
Roberto är en lika bra arbetare som José.

Indikerar ett omständligt eller hierarkiskt förhållande. Det vill säga när vi uttrycker att handlingen av subjekt a utförs av subjekt b, vilket indikerar en hierarkisk relation:

Ja Carlos kommer att rådfråga Alicia.
Roberto kommer att göra vad Carlos beställer.

Men inte alla uttalanden som har två ämnen före verbet har ett binärt predikat. När verbet är kopulativt, intransitivt eller transitivt som fungerar som intransitivt, uppfyller de en attributiv funktion, så vi står inför ett enhetligt predikat:

Juan och Alicia springer.
Roberto och José är långa.

I dessa fall, att skilja om predikatet är enhetligt eller binärt, är att tänka om åtgärden är ömsesidig (binär) eller att det är gemensamt, var och en gör det själv (unary):

Juan och Alicia älskar varandra (Juan älskar Alicia, och Alicia älskar Juan, de älskar varandra; är ett binärt predikat)
Juan och Alicia springer (Juan springer och Alicia springer, var och en för sig; är ett enhetligt predikat)

Dess användning i logik. Med hjälp av binära predikat i formlogik kan du jämföra kvaliteter eller attribut för tre eller flera personer genom en serie jämförelser. Dessa kan vara mellan individer, från universal till individ (deduktion) eller från individer till universal (induktion):

Individer:

Lokal 1 (binärt predikat): Juan är släkt med Ana
Lokal 2 (binärt predikat): Ana är släkt med Romina
Avslutning: Juan är en släkting till Romina

Från universellt till särskilt:

Lokal 1 (binärt predikat): Felines tillhör gruppen köttätare
Lokal 2 (binärt predikat): Katter tillhör gruppen kattdjur
Lokal 3 (enhetspredikat): Manchitas är en katt
Avslutning: Manchitas är en köttätare

Från individer till universal:

Lokal 1 (enhetspredikat): min hund äter kött.
Lokal 2 (enhetspredikat): Min granns hund äter kött.
Lokal 3 (binärt predikat): Djur som äter kött bildar gruppen köttätare.
Avslutning: (Binärt predikat): Hundar tillhör gruppen köttätare.

10 exempel på binärt predikat:

1.

Mariana är högre än Carmen.
Marisol är högre än Mariana.
Marisol är högre än Carmen.

2.

Filmen var av ett intressant ämne.
Roberto såg filmen.
Roberto såg ett intressant ämne.

3.

Juan följer Pedros order.
Esteban följer Juan's order.
Esteban följer Pedros order.

4.

Kött innehåller protein.
Josefina äter kött.
Josefina äter protein.

5.

Att skriva är en del av ett språk.
Daniela lär sig att skriva.
Daniela lär sig att skriva.

6.

Logik är en del av filosofin.
Filosofi anses vara en konst.
Gabriel studerar logik.
Gabriel studerar filosofi.
Gabriel studerar en konst.

7.

Rakkniven använder el.
Elektricitet är en form av energi.
Rakkniven använder energi.

8.

Fåglar är flygande djur.
Fladdermöss flyger.
Fladdermöss är fåglar.

9.

Uttalanden är predikat.
Vissa predikat kan vara sanna.
Vissa predikat kan vara falska.
Vissa uttalanden kan vara sanna.
Vissa påståenden kan vara falska.

10.

Solen avger värme.
Värme ökar temperaturen.
Solen ökar temperaturen.