Значение предпосылки - это метод проверки. Мы знаем значение утверждения, если знаем условия, при которых утверждение является истинным или ложным.