Question $4$

$0$ pts

Solve the following proof using the $18$ inference and equivalence rules.

$($You can type the proof into the answer window below or insert an image or document using Upload image or Upload document function above.$)$

$AB$

$C$

$(BvvD)E$

$E\frac{,}{}(AvvC)$

$9.$

$0.$

Edit View Insert Format Tools Table

$12$ pt $vv$ Paragraph $vv|B,B-U_{v}v{Q}_{v}v{T}^{2}vv|vdots$