Skip to main content

Most of the time, a proposition ϕ is a contradiction if assuming there is a proof of false, hence if the hypothetical judgement ϕ ⊢ ⊥ is valid. (from nLab).

References:
nLab
Wikipedia