keionleungkeion7588 keionleungkeion7588 26-05-2023 Computers and Technology contestada pay attention to the subproofs to figure out how we did it! here's the argument: p1: ~(~p&~q) p2: r->~q c: r->p