14092CÁLCULO PROPOSICIONALPTptVocabulário Controlado da USP active approved CÁLCULO PROPOSICIONALCÁLCULO PROPOSICIONALBT60145LÓGICA SIMBÓLICAPT