Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07161.jsonl.gz/1145

Question de l'un d'entre vous
Question:
Bonjour,
J'ai une question niveau "forme" de preuve. Par exemple, quand est-ce qu'on utilise les |- (v dash) ? Dans mon exercice pour l'exemple, le côté gauche en haut pour la preuve par induction, je peux laisser comme ça ou je mets le v dash ?
Réponse:
Généralement, le vdash pour le jugement est utilisé pour donner un contexte à ce qu'on évalue.
Dans le cours par exemple, vous avez des exemples de preuve d'induction où l'hypothèse est mise à gauche. On peut l'interpréter en: "En sachant ça alors ça". Ce sera beaucoup plus concret par la suite quand on manipulera des langages de programmations, où le contexte jouera le rôle de mémoire.
Dans ces exemples de preuves, vous n'avez pas besoin d'utiliser le vdash. Vous avez juste besoin de préciser que vous considérez l'hypothèse comme vraie au moment de montrer de prouver le cas inductif.