When the formal system is intended to be a logical system, the expressions are meant to be interpreted as statements, and the rules, known to be inference rules, are typically intended to be truth-preserving.
Cando o sistema formal ten o propósito de ser un sistema lóxico, as expresións deben ser interpretadas como asercións matemáticas, e as regras, coñecidas como regras de inferencia, normalmente son preservadoras da verdade.