 |
| Russian | English |
| закон транзитивности импликации | transitive law of implication (ssn) |
| импликация интерфейсов | interface implication (ssn) |
| левая часть правила импликации | left-hand side of an if-then rule (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |
| множество фактов или утверждений в части "если" правила импликации | set of facts or statements in the "if" part of an if-then rule (ssn) |
| отношение импликации | implication relation (ssn) |
| правило импликации | if-then rule (ssn) |
| часть предпосылки правила импликации | premise part of an if-then rule (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |
| часть условия правила импликации | condition part of an if-then rule (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |