Верификация, импликация, антецедент, консеквент. А еще инвариантность.
Я не хвастаюсь. Я жалуюсь.