règle d'inférence

Wikipédia en français - L'encyclopédie libre

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.

Pour la suite, voir Wikipédia.org…

© Cet article se sert du contenu de Wikipédia^® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.