https://123dok.org/document/zgw6vn3v-matematica-discreta-lezione-novembre-elementi-matematica-proposizioni-predicati.html