Шаг 1 из 128%

Predicates and Variables

Предикат — это шаблон утверждения с переменными. P(x) может означать «x чётно». Он становится высказыванием только тогда, когда мы подставляем вместо 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.

Подсказки

Проверьте понимание

Является ли P(x) = 'x > 5' высказыванием само по себе?