https://123dok.org/document/yj7md5dp-esercizio-utilizzando-funzione-predicato-interpretati-naturali-predicati-enunciati.html