A little logic from Paul

From 1 Cor 15:12-19

12But if it is preached that Christ has been raised from the dead, how can some of you say that there is no resurrection of the dead? 13If there is no resurrection of the dead, then not even Christ has been raised. 14And if Christ has not been raised, our preaching is useless and so is your faith. 15More than that, we are then found to be false witnesses about God, for we have testified about God that he raised Christ from the dead. But he did not raise him if in fact the dead are not raised. 16For if the dead are not raised, then Christ has not been raised either. 17And if Christ has not been raised, your faith is futile; you are still in your sins. 18Then those also who have fallen asleep in Christ are lost. 19If only for this life we have hope in Christ, we are to be pitied more than all men.

R = "There is a resurrection of the dead"
C = "Christ has been raised from the dead"

(1) ~R > ~C
(2) ~ ~C i.e. (≡C)
Therefore,
(3) ~ ~R i.e. (≡R)
The dead will be raised! Praise God!