Question $15$

Complete this formal proof in BOOL following all conventions from the textbook. You have

to figure out the way we are looking for: pay attention to the subproof lines!

$|$

$||$

$11$

$11$

$1$

$1$

$1$

$1$

$(P$&$Q)vQ$