En estos ejemplos se ha utilizado el símbolo trinquete (⊢) como sustituto de formula_30 o formula_31.