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:

Los alimentos son comestiblesEs una proposición verdadera ya que algo no puede ser un alimento sin ser comestible (aunque es posible hablar de alimentos en mal estado que no sean comestibles, pero esa complicación se debe a otra complicación lingüística que aquí es intrascendente). La verdad de dicha proposición y de otras verdades de razón está indisolublemente unida a la identidad del sujeto (los alimentos) en su relación con sus predicados (ser comestible).
Las verdades de razón entendidas como proposiciones en las que la definición de sujeto involucra el predicado o lo atribuido por la proposición, son ciertas necesariamente como consecuencia directa del principio de identidad y del principio de no contradicción. 
Estas verdades se consideran meramente verdades formales o tautologías, toda vez que el lenguaje encuentra su significación a través de la semiótica y la gramática y ha perdido sentido metafísico.[1]​ Frente a estas verdades de razón o verdades formales se encuentran las verdades de hecho, cuyo contenido de verdad depende del hecho de experiencia. Tales son los contenidos de la ciencia en cuanto siempre tendrán que someterse al experimento cuando menos posible.