Verdad de razón

Una verdad de razón o verdad analítica es una proposición que predica algo sobre una entidad, tal que la definición de dicha entidad implica lógicamente el predicado. Es decir, una verdad de razón es una forma más o menos explícita de tautología que involucra algún predicado de primer orden. Por ejemplo:
Ver en Wikipedia.org