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