Section outline

  • Objectifs : Comprendre une définition d'un ensemble décrit par des règles d'inférence, Utiliser des règles d'inférence pour construire un arbre de dérivation ou une preuve directe d'appartenance à un ensemble, Comprendre un argument de preuve par induction sur une définition par règle d'inférence