|
"Schlussregel der formalen Logik"@de
"inference rule that may be applied to only a particular segment of an expression"@en
"kaidah penalaran yang hanya berlaku pada bagian tertentu dari suatu ekspresi"@id
"regla de transformación que puede ser aplicada únicamente a un segmento particular de una expresión"@es
"regola di inferenza logica"@it
"regulă de inferență ce poate fi aplicată doar unui anumit segment al unei expresii"@ro
"règle d'inférence qui s'applique à une portion d'expression"@fr
|