struggling proving lattice identity

mikharakiri_nospaum_at_yahoo.com
Date: 02/23/05 

Date: 22 Feb 2005 18:48:59 -0800

a >= c --> a/\(b\/c) >= (a/\b)\/c

Assuming that algebraic manipulations with equalities are easier, let's
rewrite it as:

a/\c=c --> a/\(b\/c)/\((a/\b)\/c) = (a/\b)\/c

and here I'm effectively stuck. I'm unable see how to rearrange terms
and apply lattice axioms.

Relevant Pages
Quantcast