PTTC.PNG
Skip to main content.

влечь

Дата последнего изменения:2016.07.06
Сообщить об ошибке
  влечь
Семантическое отношение между выражениями, которое имеет место всякий раз, когда истинность первого гарантирует истинность второго. Равносильно, логически невозможно, чтобы первое выражение было истинным, а второе ложным. Точно так же равносильно, что когда некоторая интерпретация удовлетворяет первое выражение, она удовлетворяет и второе.
[http://www.elbib.ru/index.phtml?page=elbib/rus/methodology/xmlbase/glossary_XML/term_rus]
EN

FR

Тематики

  • XML

EN

  • entail

 

Внимание!

Закрыть