Por ejemplo, si A fuese verdadero, entonces B también tendría que ser verdadero (dado).