Wikipédia en français - L'encyclopé...
Téléchargez ce dictionnaire
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é
.