Logical falsity elimination rule
= Logical falsity elimination rule
{title2=$\dfrac{\bot}{A}$}
From <logical falsity> infer any <proposition>. This rule permits a contradictory case inside a <disjunction elimination rule> proof to reach the common required conclusion.