5.2341

Le sens d’une fonction de vérité de p est une fonction du sens de p.