contestada

For the following proof, you may use both primitive rules and derived rules.

Use our system of natural deduction to demonstrate that the following sentence
is a logical truth. You may use both primitive rules and derived rules.
~ (AVB) < ~B