5.2341

El sentido de una función de verdad de p es una función del sentido de p.