"predikaatmuutujad" - 1 õppematerjal

Mis on Diskreetne Matemaatika

olemasolu kvantorit ehk eksistentsikvantorit ∃ : Kvantorimärgiga seotud muutujat (muutujaid) nimetatakse seotud ∃ x P ( x) muutujateks. ehk üldkujul: ∃x ( . . . mistahes lause muutuja x osalusel . . . ) Kvantorimärgiga mitteseotud predikaatmuutujad on vabad muutujad. Üldsuse kvantorit ∃ interpreteeritakse valemi lugemisel: "leidub" ehk "eksisteerib". näide: ∀x P (x, y) korral: x on seotud ja y on vaba muutuja. __