Bináris predikátum példa

Tovább logika, a mondatok nyelvtanilag egy alanyból állnak, amelyről beszél, és egy állítmányról, amelyben valami megerősítést nyer a témáról. Matematikai logikai tanulmányaihoz az állítmány az az állítás, amely egy állításban készült, és egy, két vagy több tantárgyat érintő állítás szerint van besorolva.

Amikor az állítmány a szubjektum egyik jellemzőjét vagy műveletét állítja, azt predikátumnak nevezzük egységes, monáris vagy unáris, mivel az állítás csak egyetlen témát (személyt, állatot, dolgot vagy ötletet) érint és annak attribútumát:

Juan okos
Alice modellnek tűnik
Roberto eszik.
Jose dolgozik

Nyelvtani szinten az unáris predikátumok attribútív mondatok, amelyekben valami megerősítést nyer az alanyról (első két mondat fentről); valamint reflektív mondatok, vagyis azok, amelyekben az elvégzett cselekvés az alanyra esik (a harmadik és a negyedik mondat).

A bináris mondatok azok, amelyekben két alany vans, amelyek az ige működésével kapcsolódnak egymáshoz. Ez a kapcsolat többféle lehet, és

közös jellemzőjük, hogy a két alanyra a kapcsolati sorrend vonatkozik, amely nyelvtanilag többféle módon kifejezhető.

Összetett tantárgyként: Ha van összetett alany, és az ige cselekedete kölcsönös az alanyok között, például:

Carlos és Alicia szeretik egymást.
Roberto és José találkoznak.

Közvetlen tárgyként: Az alany által más alanyra vagy tárgyra kifejtett műveletre utal:

Carlos szereti Aliciát.
Roberto találkozik Joséval.

Összehasonlításként: Ha összehasonlítjuk vagy megállapítjuk a szubjektum tulajdonságainak vagy tulajdonságainak egyenlőségét egy másik szubjektummal:

Carlos magasabb, mint Alicia.
Roberto ugyanolyan jó munkás, mint José.

Feltételes vagy hierarchikus kapcsolat jelzése. Vagyis amikor kifejezzük, hogy az a szubjektum akcióját b szubjektum hajtja végre, hierarchikus kapcsolatot jelölve:

Igen, Carlos konzultálni fog Aliciával.
Roberto megteszi, amit Carlos parancsol.

Azonban nem minden állításnak van bináris állítmánya, amelynek az ige előtt két tárgya van. Amikor az ige kopulatív, intranszitív vagy transzitív, amely intranszitívként működik, akkor egy attribútív funkciót töltenek be, ezért egységes állítmány előtt állunk:

Juan és Alicia fut.
Roberto és José magasak.

Ezekben az esetekben annak megkülönböztetésére, hogy az állítmány egységes vagy bináris, azt kell gondolni, hogy a cselekvés kölcsönös (bináris) vagy közös-e, mindegyik önmagában (unárikusan) csinálja:

Juan és Alicia szeretik egymást (Juan szereti Aliciát, Alicia pedig Juanot, szeretik egymást; bináris állítmány)
Juan és Alicia futnak (Juan fut és Alicia fut, mindegyikük a saját; egységes állítmány)

Használata a logikában. A bináris predikátumok használata az űrlaplogikában lehetővé teszi három vagy több ember tulajdonságainak vagy tulajdonságainak összehasonlítását összehasonlítások sorozatával. Ezek lehetnek egyének között, az egyetemesektől az egyénekig (dedukció), vagy az egyénektől az egyetemesekig (indukció):

Magánszemélyek:

1. feltétel (bináris állítmány): Juan rokonságban áll Anával
2. előfeltétel (bináris állítmány): Ana rokonságban áll Rominával
Következtetés: Juan Romina rokona

Univerzálistól egészen különlegessé:

1. feltétel (bináris állítmány): A felines a ragadozók csoportjába tartozik
2. előfeltétel (bináris állítmány): A macskák a macskafélék csoportjába tartoznak
3. előfeltétel (egység állítmány): Manchitas egy macska
Következtetés: A Manchitas húsevő

Egyénektől az egyetemesekig:

1. feltétel (egység állítmány): a kutyám húst eszik.
2. előfeltétel (egység predikátum): A szomszédom kutyája húst eszik.
3. előfeltétel (bináris állítmány): A húst fogyasztó állatok a húsevők csoportját alkotják.
Következtetés: (Bináris állítmány): A kutyák a húsevők csoportjába tartoznak.

10 példa a bináris állítmányra:

1.

Mariana magasabb, mint Carmen.
Marisol magasabb, mint Mariana.
Marisol magasabb, mint Carmen.

2.

A film érdekes téma volt.
Roberto látta a filmet.
Roberto érdekes témát látott.

3.

Juan követi Pedro parancsát.
Esteban teljesíti Juan parancsát.
Esteban követi Pedro parancsait.

4.

A hús fehérjét tartalmaz.
Josefina húst eszik.
Josefina fehérjét eszik.

5.

Az írás egy nyelv része.
Daniela megtanulja az írást.
Daniela megtanul írni.

6.

A logika a filozófia része.
A filozófia művészetnek számít.
Gabriel logikát tanul.
Gabriel filozófiát tanul.
Gabriel művészetet tanul.

7.

A borotva áramot használ.
A villamos energia egyfajta energia.
A borotva energiát használ.

8.

A madarak repülő állatok.
A denevérek repülnek.
A denevérek madarak.

9.

Az állítások predikátumok.
Néhány predikátum igaz lehet.
Egyes állítmányok hamisak lehetnek.
Néhány állítás igaz lehet.
Egyes állítások hamisak lehetnek.

10.

A nap hőt áraszt.
A hő növeli a hőmérsékletet.
A nap növeli a hőmérsékletet.