lógica proposicional Synonym