1
$\begingroup$

Got stuck while trying out how to apply inference rules (introduction and elimination) for the following examples:

  1. From $\lnot(P\land Q)$ and $P$ infer $\lnot Q$

  2. From $P\lor Q$ and $Q$ infer $\lnot P$

Could you please demonstrate how this can be done?

Thanks a lot in advance!

  • 0
    This is a common homework problem, if this is indeed originated from a homework assignment, it is common to use the [homework] to signal the community on that. Don't worry, it's will still get answered even if it is homework.2011-12-12
  • 1
    I think I can guess your rules for introduction and elimination of "^", "V", "->" and "<->". But, what are you introduction and elimination rules for negation, "¬", exactly? There do exist different negation rules in different natural deduction systems.2011-12-14
  • 0
    the OP keeps asking these kinds of (very basic) questions, as has been observed in another comment elsewhere. The problem is that he refuses to provide further information on his deduction method or book reference.2011-12-16

3 Answers 3