appunti/Logica/Primo ordine/2020-05-22 Equivalenza logica.pdf