La expresión formula_61 denota cualquier proposición o función proposicional.