Влечь

Материал из Энциклопедии.

Перейти к: навигация, поиск

Влечь {RDF}

Entail

Семантическое отношение между выражениями, которое имеет место всякий раз, когда истинность первого гарантирует истинность второго. Равносильно, логически невозможно, чтобы первое выражение было истинным, а второе ложным. Точно так же равносильно, что когда некоторая интерпретация удовлетворяет первое выражение, она удовлетворяет и второе.

Личные инструменты