A philosophical concept, usually applied in terms of logical proof.

A thing which is necessarily true is required, by its nature, to be absolutely and uncontroverably true. Examples of this concept include:
  1. Triangles cannot be circles (triangles are geometric figures with three sides and angles totalling 180 degrees, while circles have no angles and no sides)
  2. Liquids cannot simultaneously be gas (liquids are a specific state of matter which require a set energy level that depends on the substance, and gasses are another state of matter, usually of a higher energy level and greater molecular mobility than liquid)

Edit: It has been brought to my attention that number two could be argued, by using the phenomenon of the fluid matter state, but I maintain that having another state of matter that exists separately of the two named does not discredit the idea that they are distinct.