Conservation des Conséquences

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La propriété d'une traduction, d'une mise en correspondance ou d'une extension entre systèmes logiques qui garantit que les conséquences dans un système correspondent aux conséquences dans l'autre, de sorte qu'aucune conséquence n'est introduite ou perdue de manière fallacieuse par la traduction.