Teorema

Teorema. Son enunciados cuya validez se somete a prueba; enunciados derivados de enunciados denominados axiomas [v].  En una demostración formal de validez las premisas cumplen la función de premisas. Una vez empleadas las reglas de inferencia, todas las demás fórmulas cumplirían a su vez la función de teorema.