Non provable formulas

This page is a stub and needs more content.

---

$A \with (B\plus C) \not\limp (A\with B)\plus (A\with C)$

$(A\plus B)\with (A\plus C) \not\limp A\plus (B\with C)$

$(A\tens B)\parr C \not\limp A\tens (B\parr C)$

$A \not\limp \oc{A}$

$\oc{\wn{\oc{A}}} \not\limp A$

$\oc{\wn{\oc{A}}} \not\limp \oc{A}$

$\oc{\wn{A}} \not\limp \wn{\oc{A}}$

$\wn{\oc{A}} \not\limp \oc{\wn{A}}$