Salva veritate
http://dbpedia.org/resource/Salva_veritate an entity of type: WikicatConceptsInLogic
Deux expressions sont substituables salva veritate si elles peuvent être interchangées sans altérer la valeur de vérité des énoncés où elles apparaissent. Ce critère renvoie à la condition logique d'intersubstituabilité. La locution latine salva veritate se traduit littéralement par «avec (ou par) la vérité indemne», avec un ablatif de manière salva signifiant «sauvetage», «salut» ou «bien-être» et veritate signifiant «réalité» ou «vérité». La substitution salve veritate de termes coréférentiels peut échouer en contexte opaque.
rdf:langString
The literal translation of the Latin "salva veritate" is "with (or by) unharmed truth", using ablative of manner: "salva" meaning "rescue," "salvation," or "welfare," and "veritate" meaning "reality" or "truth". Thus, Salva veritate (or intersubstitutivity) is the logical condition by which two expressions may be interchanged without altering the truth-value of statements in which the expressions occur. Substitution salva veritate of co-extensional terms can fail in opaque contexts.
rdf:langString
rdf:langString
Salva veritate
rdf:langString
Salva veritate
xsd:integer
3775601
xsd:integer
1076046336
rdf:langString
Deux expressions sont substituables salva veritate si elles peuvent être interchangées sans altérer la valeur de vérité des énoncés où elles apparaissent. Ce critère renvoie à la condition logique d'intersubstituabilité. La locution latine salva veritate se traduit littéralement par «avec (ou par) la vérité indemne», avec un ablatif de manière salva signifiant «sauvetage», «salut» ou «bien-être» et veritate signifiant «réalité» ou «vérité». La substitution salve veritate de termes coréférentiels peut échouer en contexte opaque.
rdf:langString
The literal translation of the Latin "salva veritate" is "with (or by) unharmed truth", using ablative of manner: "salva" meaning "rescue," "salvation," or "welfare," and "veritate" meaning "reality" or "truth". Thus, Salva veritate (or intersubstitutivity) is the logical condition by which two expressions may be interchanged without altering the truth-value of statements in which the expressions occur. Substitution salva veritate of co-extensional terms can fail in opaque contexts.
xsd:nonNegativeInteger
3379