appunti/Logica/Primo ordine/2020-05-25 Sostituzioni.pdf