Lambert's law (logic)