réfutation

Désignations

français	réfutation (correct,feminine noun) DEF: Tentative de prouver l'impossibilité d'un but ou d'une conclusion hypothétique. Aussi, preuve de fausseté. CONT: Complétude pour la réfutation : le groupe de règles d'inférence réduit à la seule règle ""principe de résolution"" est dit complet pour la réfutation.
anglais	refutation (correct) CONT: The refutation theorem ensures that, if we assume the negation of a sentence and derive a contradiction, there is a direct proof of the original sentence. DEF: disproving: an attempt to prove the impossibility of a hypothesized conclusion (theorem) or goal. synonyme : disproving (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Preuve de fausseté.
anglais: Proof by contradiction.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-215ffc1bc2f4d95c/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.