sentence2: Esses termos formais são manipulados pelas regras da matemática e da lógica, e quaisquer resultados são então interpretados ou traduzidos de volta ao domínio do problema.
sentence1: يمكن معالجة هذه المصطلحات الرسمية بقوانين الرياضيات والمنطق، كما يمكن تفسير أي نتائج للعودة إلى لب المشكلة.