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