Visitor

Views

LIFLC ? Logique classique TD4 ? Déduction naturelle - CNRS

Exercice 2 : Correction de la déduction naturelle. 1. On considère des règles (?i ) et (?e) de la déduction naturelle. Montrer que pour toute.