推演规则
_
rule of inference
дедуктивное правило
пословный:
| 推演 | 规则 | ||
1) правила, порядок, законы, установления; регламент, устав; положение (о чем-л.)
2) норма; образец
3) моральные нормы; этикет, приличия; приличный; культурный, воспитанный
|