(in logic) a statement that is necessarily false.

• （逻辑学）必然虚假的陈述。