אנגלית ⇄ גרמנית סינית רוסית +

introduction rule
.בינה	Einführungsregel f (in der Logik)