Provable formulas

Revision as of 19:46, 19 April 2012

This page is a stub and needs more content.

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

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

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

Revision as of 18:42, 19 April 2012 (view source) Olivier Laurent (Talk \| contribs) (List of provable formulas just started)		Revision as of 19:46, 19 April 2012 (view source) Olivier Laurent (Talk \| contribs) m (Link to Non provable formulas.) Newer edit →
Line 10:		Line 10:

	<math>(A\with B)\plus (A\with C) \limp A\with (B\plus C)</math>		<math>(A\with B)\plus (A\with C) \limp A\with (B\plus C)</math>
		+
		+	In many of the above cases the [[Non provable formulas\|converse implication does not hold]].