A necessary truth is a statement that is true in all possible worlds and cannot be false. It is a proposition that is true by virtue of the meaning of the terms involved, regardless of empirical evidence or personal opinion. Examples include mathematical truths like 2+2=4 and logical principles like the law of noncontradiction.