Příklad binárního predikátu

Na logika, věty jsou gramaticky složeny z subjektu, o kterém mluví, a predikátu, ve kterém je něco potvrzeno o subjektu. Pro studium matematické logiky je predikát tvrzení, které je učiněno ve výkazu a je klasifikováno podle tvrzení, které ovlivňuje jeden, dva nebo více předmětů.

Když predikát uvádí charakteristiku nebo akci subjektu, nazývá se predikát unitární, monární nebo unární, protože výrok zahrnuje pouze jeden předmět (osobu, zvíře, věc nebo nápad) a jeho atribut:

Juan je chytrý
Alice vypadá jako modelka
Roberto jí.
Jose pracuje

Na gramatické úrovni jsou unární predikáty atributivní věty, ve kterých je o předmětu něco potvrzeno (první dvě věty shora); stejně jako reflexní věty, tj. věty, ve kterých provedená akce spadá na předmět (třetí a čtvrtá věta).

The binární věty jsou ty, ve kterých jsou dva předmětys, které souvisejí prostřednictvím působení slovesa. Tento vztah může mít několik typů a jejich společnou charakteristikou je, že oba subjekty podléhají řádu vztahů, které lze vyjádřit gramaticky různými způsoby.

Jako složený předmět: Když existuje složený předmět a akce slovesa je mezi předměty vzájemná, například:

Carlos a Alicia se milují.
Roberto a José se setkají.

Jako přímý objekt: Odkazuje na akci vyvíjenou subjektem na jiný subjekt nebo předmět:

Carlos miluje Alicii.
Roberto se setká s Josém.

Jako srovnávací: Když porovnáme nebo stanovíme rovnost atributu nebo charakteristiky subjektu s tím, který má jiný subjekt:

Carlos je vyšší než Alicia.
Roberto je stejně dobrý pracovník jako José.

Označující nepřímý nebo hierarchický vztah. To znamená, když vyjádříme, že akci subjektu a provádí subjekt b, což naznačuje hierarchický vztah:

Ano, Carlos se poradí s Alicií.
Roberto udělá to, co si Carlos objedná.

Ne všechny výroky, které mají před slovesem dva předměty, však mají binární predikát. Když je sloveso kopulativní, nepřechodné nebo přechodné, které funguje jako nepřechodné, splňují atributivní funkci, takže čelíme jednotnému predikátu:

Juan a Alicia utíkají.
Roberto a José jsou vysokí.

V těchto případech rozlišit, zda je predikát jednotný nebo binární, je myslet si, zda je akce vzájemná (binární) nebo běžná, každý to dělá sám (unární):

Juan a Alicia se milují (Juan miluje Alicii a Alicia miluje Juana, milují se navzájem; je binární predikát)
Juan a Alicia běží (Juan běží a Alicia běží, každý sám; je jednotný predikát)

Jeho použití v logice. Použití binárních predikátů v logice formulářů vám umožňuje porovnat kvality nebo atributy tří nebo více lidí prostřednictvím řady srovnání. Mohou to být mezi jednotlivci, od univerzálů k jednotlivcům (dedukce), nebo od jednotlivců k univerzálům (indukce):

Jednotlivci:

Předpoklad 1 (binární predikát): Juan je příbuzný Ana
Předpoklad 2 (binární predikát): Ana je příbuzná s Rominou
Závěr: Juan je příbuzný Rominy

Od univerzálního po konkrétní:

Předpoklad 1 (binární predikát): Feliny patří do skupiny masožravců
Předpoklad 2 (binární predikát): Kočky patří do skupiny kočkovitých šelem
Předpoklad 3 (predikát jednotky): Manchitas je kočka
Závěr: Manchitas je masožravec

Od jednotlivců po univerzální:

Předpoklad 1 (predikát jednotky): můj pes jí maso.
Předpoklad 2 (predikát jednotky): Pes mého souseda jí maso.
Předpoklad 3 (binární predikát): Zvířata, která jedí maso, tvoří skupinu masožravců.
Závěr: (Binární predikát): Psi patří do skupiny masožravců.

10 příkladů binárního predikátu:

1.

Mariana je vyšší než Carmen.
Marisol je vyšší než Mariana.
Marisol je vyšší než Carmen.

2.

Film byl zajímavého tématu.
Roberto viděl film.
Roberto viděl zajímavé téma.

3.

Juan plní Pedrovy rozkazy.
Esteban plní Juanovy rozkazy.
Esteban plní Pedrovy rozkazy.

4.

Maso obsahuje bílkoviny.
Josefina jí maso.
Josefina jí bílkoviny.

5.

Psaní je součástí jazyka.
Daniela se učí psát.
Daniela se učí psát.

6.

Logika je součástí filozofie.
Filozofie je považována za umění.
Gabriel studuje logiku.
Gabriel studuje filozofii.
Gabriel studuje umění.

7.

Břitva používá elektřinu.
Elektřina je forma energie.
Břitva využívá energii.

8.

Ptáci jsou létající zvířata.
Netopýři létají.
Netopýři jsou ptáci.

9.

Výpisy jsou predikáty.
Některé predikáty mohou být pravdivé.
Některé predikáty mohou být nepravdivé.
Některá tvrzení mohou být pravdivá.
Některá tvrzení mohou být nepravdivá.

10.

Slunce vydává teplo.
Teplo zvyšuje teplotu.
Slunce zvyšuje teplotu.