predykat
Sign in to saveconcept of mathematical logic
Wikidata facts
- Subclass of
- relation
Show 3 more facts
- facet of
- mathematical logic
- different from
- mathematical property
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Polski
Predykat – wieloznaczny termin mogący oznaczać: 1. * funktor zdaniotwórczy od x argumentów nazwowych; 2. * funkcję zdaniową argumentów nazwowych; 3. * wyrażenie opisujące pewne własności lub relacje. W rachunku predykatów pierwszego rzędu (rachunku kwantyfikatorów) występują symbole P, Q, R itd. reprezentujące predykaty jednoargumentowe. W terminologii gramatycznej predykatom jako funktorom zdaniotwórczym swobodnie odpowiadają osobowe formy czasownika.
Abstract from DBpedia / Wikipedia · CC BY-SA