Predicate

Meghatározás

A 'predicate' (predikátum) egy olyan logikai kifejezés, amely állítást tesz, és amelynek a valóságtartalma igaz vagy hamis lehet. A predikátumok gyakran olyan változókat tartalmaznak, amelyeket meghatározott módon értékelünk.

Szinonimák

• állítás
• kijelentés
• kifejezés

Rokon értelmű szavak

• megállapítás
• tézis
• premissza

Ellentétes értelmű szavak

• tagadás
• negáció
• ellentmondás

Példamondatok

• A 'nagyobb, mint' egy matematikai predikátum.
• A logikai rendszerünkben minden predikátumnak megvan a saját valóságtartalma.
• A 'Pi egy irracionális szám' kijelentés egy predikátum.
• Az előző állítások predikátumai igazak voltak az adott környezetben.