Prevodi za „predykat“ u rečniku poljski » nemački

predykat <gen ‑u, pl ‑y> [predɨkat] N m LING

predykat

Prädikat nt

Jednojezični primeri (nisu ih verifikovali PONS urednici)

poljski

Każde zdanie rachunku predykatów pierwszego rzędu można sprowadzić do postaci preneksowej.

pl.wikipedia.org

Predykat cru classé został przyznany zarówno winu białemu, jak i czerwonemu.

pl.wikipedia.org

Asercja wskazuje, że programista zakłada, że ów predykat jest w danym miejscu prawdziwy.

pl.wikipedia.org

Na tym polega nasz realizm i jest on integralnym założeniem semantyki predykatu «prawdziwe»”.

pl.wikipedia.org

Dostępne są również predykaty standardowe, którymi można wpływać na przebieg procesu uzgadniania.

pl.wikipedia.org

Arystoteles stworzył zupełny system tak zwanej teorii sylogizmu, która obecnie stanowi część klasycznego rachunku predykatów.

pl.wikipedia.org

Stanowi z jednej strony uogólnienie klasycznego rachunku predykatów, a z drugiej strony jest to system zawierający najszerzej ujęty współczesny rachunek nazw.

pl.wikipedia.org

Dany predykat n – argumentowy denotuje dany ciąg n – członowy wtedy i tylko wtedy, gdy jest o nim prawdziwy.

pl.wikipedia.org

Strona (diateza) – kategoria gramatyczna, która sygnalizuje różnice w hierarchizacji argumentów predykatu wyrażane za pomocą środków formalnych, tj. składniowych i morfologicznych.

pl.wikipedia.org

Siła rachunku predykatów z kwantyfikatorami rozgałęzionymi jest większa niż logiki pierwszego rzędu, ale mniejsza niż logiki drugiego rzędu.

pl.wikipedia.org