Predikat

Predikat er et uttrykk som inneholder en eller flere plassholdere og blir sant eller usant når vi erstatter plassholderne med verdier «○ er et partall» «○ liker ●» er begge predikat. Her kan vi putte inn verdier og vi får et utsagn som er sant eller usant. ∃xGx kan tolkes slik: - Det finnes en x slik at Gx, Det finnes en x slik at x er en god person, Det finnes en god person ∀xGx kan tolkes slik: - For alle x, er det slik at Gx, For alle x, x er en god person, Alle er gode personer