Mis on Diskreetne Matemaatika
samaselt väärad laused konstandiga 0.
PREDIKAADID P(3) = 1 ehk tõene
Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat.
(Predikaatlause) Omistades predikaatmuutujale mõne muu täisarvulise väärtuse:
Predikaatlause tõeväärtus oleneb väärtustatud muutuja(te)
tõeväärtus(t)est. P(5) ≡ (5 > 2) ∧ (5 < 4) = 0
Kui predikaadi muutujad asendada mingite konkreetsete väärtustega ehk
lubatud väärtustehulgast, siis predikaat muutub lauseks (ehk omandab P(5) = 0 ehk vale
tõeväärtuse).
Predikaate tähistatakse suurtähtedega; temas sisalduvaid muutujaid