Có từ tiếng Đức nào bạn chưa hiểu không? 🌱
quy tắc thay thế- Quy tắc suy luận trong đó một biểu thức được thay bằng một biểu thức khác có giá trị tương đương.
Schlussregel, bei der ein Ausdruck durch einen gleichwertigen ersetzt wird
quy tắc thay thế- Quy tắc của một ngữ pháp học (cú pháp), theo đó nói chung một dãy ký hiệu, và thường cũng có thể chỉ một ký hiệu đơn lẻ, được thay bằng một dãy ký hiệu khác.
Regel einer Grammatik (Syntax), nach der im Allgemeinen eine Folge von Symbolen, oft aber auch nur ein Einzelsymbol durch eine Folge von Symbolen ersetzt wird