4.24

The names are the simple symbols, I indicate them by single letters ( x , y , z ).

The elementary proposition I write as function of the names, in the form “ f ⁡ x ”, “ φ ⁡ ( x , y ) ”, etc.

307