📄 A false document ❌ A false symbol

falsum

9.9

A symbol in logic that always means false

noun

Specialized

: falsedad

In classical logic, the falsum symbol is used to indicate a contradiction in a proof.

Examples

The proof reached falsum, showing that the original assumption must be false.
When a statement leads to falsum, it is considered logically inconsistent.
The statement was proven to be falsum.
In logic, falsum is represented by a specific symbol.
In classical logic, the falsum symbol indicates that a statement is inherently false.
When deriving a conclusion leads to falsum, it demonstrates that the initial assumptions are flawed.
The theorem proved falsum, indicating that the premises could not logically hold true.

Synonyms

falsehood

vsfalsum

46 4.3

A statement that is not true

is a formal logical symbol meaning always false, not merely an untrue claim

contradiction

vsfalsum

Specialized

10 5.6

A statement whose parts cannot both be true

is an abstract formal constant representing absolute falsehood

contradiction in terms

vsfalsum

6 6.8

A statement that says two things that cannot both be true

is the formal symbol standing for absolute contradiction in logic

falsity

vsfalsum

6 7.9

A statement or idea that is not true

is a fixed logical constant denoting an always false value

Antonyms

truth

∞ 1.0

A fact that shows how things really are

Surface Forms

falsum singular

falsums plural

Etymology

Falsum in logic comes from the same Latin root falsus, 'false', and you can remember it like a red light that always means 'no'. So when a proof reaches falsum, it shows a contradiction or that an assumption is not true.