条件 p(x) は，x に代入するごとに命題（真偽が決まる）になるものでしたね． 命題p(0)は真，命題p(π)は偽 という具合に． p(x)→q(x) は，x に何か代入しないと真偽が決まらないので，「条件」． 任意の x について「p(x)→q(x)」 とすると，「命題」になるの…