Per visualizzare il file, fai click su questo link: Lez_3_LogicProp_2.pdf