per formare proposizioni; tali funzioni sono assoggettabili a operazioni che le trasformano in simboli
