• 家

否定

否定声明$\mathrm{P.}$是不是$\mathrm{P.}$。

象征$〜$用于表示否定。

否定$\mathrm{P.}$不是$\mathrm{P.}$并写为$〜\mathrm{P.}$。

如果是陈述$\mathrm{P.}$是的，那是它的否定$〜\mathrm{P.}$一定是假的。（反之亦然）。