ABSTRACT
We can test RAA by truth-table; but since RAA works differently from rules 1-13, we get its validity-formula in a different way. Still, we can see at once that its consequent must be not Q.
1 Why?
The antecedent of our validity-formula should sum up the conditions in which RAA says we may validly conclude this.