theorem Th15: :: NELSON_1:21

for L being Nelson_Algebra
for x, y, z being Element of L st - x < - y holds
- (z => x) < - (z => y)