Describir: Prueba formal de validez