El entrañamiento es una relación semántica entre proposiciones. Puesto que la propiedad semántica de una proposición es su valor de verdad, el entrañamiento se define mediante el valor de verdad de las proposiciones que se ponen en relación.

A => B si y solo si v(A) = 1 entonces v(B) = 1