A Latin phrase that translates literally as "without loss of truth".
Used occasionally when talking about logical systems. Rules of inference must preserve the truth of a statement while manipulating it -- that is to say, when using inference it's okay to use (abc) in place of (zyx) if and only if (abc) means the same in every situation as (xyz).
salva veritate does not imply that that which is not salva veritate is false, only that it is not interchangeable (with x).