ステップ 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.

ヒント

理解度チェック

Is P(x) = 'x > 5' a proposition by itself?