/lit/ - Literature

>>18754952
7. ~Q (Simplification 1)
8. R -> S (Disjunctive syllogism 2, 7)
9. P (Simplification 1)
10. V (Modus tollens + double negation 9, 3)
11. S -> R (Modus ponens 10, 4)
12. R <-> S (Biconditional exchange + conjunction 8, 11)
13. T (Modus ponens 12, 5)
14. ~Q ^ T (Conjunction 7, 13)
15. ~Q ^ T -> U (Biconditional exchange + simplifcation 6)
16. U (Modus ponens 14, 15)
>>18757984
This anon did it by elimination and introduction rules but I used shortcut rules because it's pedagogically better in my opinion and if your class isn't using them early on, then you're living in hard mode.