Déduction pour calcul des prédicats - l'IRIF
Exercice 5 (Correction) Énoncer et démontrer la correction de la règle ?g du système G. Exercice 6 (Réversibilité). Montrez que les règles ?g, ?d du ...
Exercice 5 (Correction) Énoncer et démontrer la correction de la règle ?g du système G. Exercice 6 (Réversibilité). Montrez que les règles ?g, ?d du ...