Steg 1 av 128%

Predikat och variabler

Ett predikat är en påståendemall med variabler. P(x) kan betyda 'x är jämnt.' Det blir en utsaga först när vi substituerar ett specifikt värde för x.

Predicate: P(x) = 'x is a prime number'

  • P(3) is true
  • P(4) is false
  • P(x) alone is neither true nor false — it depends on x

Predicates extend propositional logic by adding variables and quantifiers.

Ledtrådar

Testa din förståelse

Är P(x) = 'x > 5' en utsaga i sig själv?