🤔 Intuitional Logic §

= minimal logic with one extra rule

Extra rule §

(EFQ) $\frac{\perp }{A}$ -> if we got a $\perp$, we can conclude any A