theorem Th37: :: NELSON_1:59

for L being Nelson_Algebra
for a, b being Element of L holds - (a "\/" b) = (- a) "/\" (- b)