Summary: We prove some existence theorems regarding solutions to boundary value problems for systems of second-order discrete inclusions. For a certain class of right-hand sides, we present some lemmas showing that all solutions to discrete second-order inclusions satisfy an a priori bound. Then we apply these a priori bounds, in conjunction with an appropriate fixed point theorem for inclusions, to obtain the existence of solutions. The theory is highlighted with several examples.