Una fbf B es consecuencia semántica de otra fbf A syss no hay una interpretación, I, en la que A es verdadera para I y B es falsa para I, o más brevemente, syss todos los modelos de A son modelos de B. (v. interpretación, modelo)