7752LógicaTTes-ESMATERIAS BUA active approved LógicaLógicaRT7751Lógica deónticaPT