Got stuck while trying out how to apply inference rules (introduction and elimination) for the following examples:
From $\lnot(P\land Q)$ and $P$ infer $\lnot Q$
From $P\lor Q$ and $Q$ infer $\lnot P$
Could you please demonstrate how this can be done?
Thanks a lot in advance!