Discrete math

[stiff current]

can anyone please explain what Question 2b (ii) is saying

[honest estuary]

You apply (a) to the new expression "[(r \/ p2) -> q]"

so basically you gonna get "(*)" but with r in place of "p1"

[stiff current]

oh i see

[stiff current]

what does it mean by "new expression"

[honest estuary]

nothing more than it being new relative to the previous item, it's another expression constructed in (b) that you didn't have before

[stiff current]

the new expression being
[(r v p2) -> q] <-> [(r -> q) /\ (p2 -> q)]

or do we apply the [(r v p3) -> q] from (i)?

[honest estuary]

it's p3 in place of p2

but this is the expression you get from applying the (a) equivalence to the new expression [(r v p3) -> q]

r in place of the old "p1", p3 in place of the old "p2"

[stiff current]

so we basically have to prove its logical equivalence by applying (i) to the LHS of (a) but this time we replace the "p1" of (a) with "r"

thats what you said up there nvm