Réorganisation des règles classiques
Plutôt qu'une seule règle Classical qui est en fait le tiers exclu, j'ai mis les trois règles habituelles : tiers exclu, double négation et raisonnement par l'absurde.
Plutôt qu'une seule règle Classical qui est en fait le tiers exclu, j'ai mis les trois règles habituelles : tiers exclu, double négation et raisonnement par l'absurde.