Non provable formulas

From LLWiki
Revision as of 16:21, 31 August 2012 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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}}

Personal tools