Commune
Règle d'inférence
méthode formelle d'obtention d'une conclusion à partir d'hypothèses
Règle d'inférence
Dans un système logique, les règles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement