Calcul propositionnel

Proposition singuli`eres et logique propositionnelle ... Cet exercice fait appel `a des notions de calcul des prédicats non-monadiques (les relations,.