Bonjour à tous alors voila j'ai un devoir a faire et je bloque a un petit endroit..
voici l'énoncer:
Montrer que le système composé de la règle (Axiome) et des deux règles proposées au dessus est correct et complet pour des séquents composés de formules construites uniquement en utilisant des variables propositionnelles et la barre de Sheffer.
en pièce jointe il y a les 2 nouvelles règles, j'ai montrer que les 2 était correct il me reste plus qu'a montrer que c'est complet mais je vois pas comment faire
merci de votre aide
-----