Donor Statements - QBO

The second half involves proving a conditional (P ( Q), so I use a conditional introduction, which involves assuming the antecedent (P) and proving the consequent (Q). I actually prove Q by using a ( Intro. Thus, I assume the opposite of what I want to prove ((Q), … ................
................