Created page with "Pour des raisons de simplicité d'exposition et de lecture, nous traiterons dans ce chapitre le ''symbole d'appartenance'', le ''symbole de conséquence'' et le ''tel que'' co..."
Pour des raisons de simplicité d'exposition et de lecture, nous traiterons dans ce chapitre le ''symbole d'appartenance'', le ''symbole de conséquence'' et le ''tel que'' comme s'il s'agissait de quantificateurs et de connecteurs de propositions en logique classique.