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.

Why?