I Found something for my solution but Again I need some help




.
.
.
.
10.F(a, b) ^ S(b) ----> UF(a, b)

Now I need to find F(a,b) then I can use ^ intro 5.2 and F(a,b)

So I can find achieve UF(a,b)


But my question is how I can carry F(a,b) can I assump it or is this a way to derive it from another way

can you help me solve the following?

-(-P v -Q) therefore (P & Q)