Loading [MathJax]/jax/output/HTML-CSS/jax.js

条件とは何か

例えば、ある数 x を含む事柄 p(x) を「2x27x+3 の値は 0 である」、つまり p(x):2x27x+3=0 としてみよう。

x の値が決まらないと、p(x) の真偽も決まらないので、p(x) は命題ではない。しかし、例えば x1 を代入したもの、つまり p(1)p(1):21271+32=0 となり偽と決まるので命題である。また、x3 を代入したもの、つまり p(3)p(3):23273+30=0 となり真と決まるので、これもやはり命題である。このように

変数・条件

x の内容が決まれば命題となる事柄 p(x) のことを、x変数 (variable)とする条件 (condition)という。

変数は1つとは限らず、複数ある場合もある。例えば p(x,y):xy は、2つの変数 x,y が確定して初めて命題となる。以下では、簡単のため、変数が1つの条件について説明していくが、変数がいくつかある条件でも基本的には同じである。