否定

5个基本命题联结词之一，用符号表示。符号读作“并非”，是自然语言中的联结词“并非”的抽象。用p表示任意命题，p表示对p的否定，读作“并非p”(或“非p”)，称作否定式。p的真假由p的真假决定，当p的值为真时，p的值为假，p的值为假时，p的值为真，即p真当且仅当p假。