Predikát prvního řádu - First-order predicate
v matematická logika, a predikát prvního řádu je predikát který bere jako argumenty pouze jednotlivé konstanty nebo proměnné.[1] Porovnat predikát druhého řádu a predikát vyššího řádu.
To nelze zaměňovat s a jednomístný predikát nebo monad, což je predikát, který bere pouze jeden argument. Například výraz „je planeta“ je predikát jednoho místa, zatímco výraz „je otec“ je a dvoumístný predikát.
Viz také
Reference
- ^ Flew, Antony (1984), Slovník filozofie: revidované druhé vydání, Macmillan, str. 147, ISBN 9780312209230.
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |