Non provable formulas

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(First list of non provable formulas.)

Revision as of 20:49, 19 April 2012

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)

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Non_provable_formulas&oldid=549"
Personal tools