Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that $((p\lor q)\land(p\lor(\lnot q)))\rightarrow p$

Please could someone give me some feed back on this proof? Does it look correct?

= $\lnot ((p\lor q)\land(p\lor(\lnot q)))\lor p$

= $ (\lnot(p\lor q) \lor \lnot(p\lor(\lnot q)))\lor p$

= $((\lnot p\land \lnot q)\lor(\lnot p\land \lnot(\lnot q)))\lor p$

= $((\lnot p\land \lnot q)\lor(\lnot p\land q))\lor p$

= $(\lnot p(\lnot q \lor q)))\lor p$ <----- Is this step correct?

= $(\lnot p(T))\lor p$ $\equiv true $

Thanks a million

share|cite|improve this question
@amWhy has already pointed out the actual error, but I’ll note in addition that the fourth line duplicates the third. – Brian M. Scott Jan 17 '13 at 17:36
Unless you're required to stick with a particular proof formalism, a plain truth table proof might be shorter and simpler. – Henning Makholm Jan 17 '13 at 18:07
(Though not shorter and simpler than amWhy's answer) – Henning Makholm Jan 17 '13 at 18:15
up vote 5 down vote accepted

The step in question should be, using the distributive law: $$((\lnot p\land \lnot q)\lor(\lnot p\land q))\lor p$$ $$\equiv (\lnot p \land (\lnot q \lor q)) \lor p)$$

$$\equiv (\lnot p \land T) \lor p$$ $$\equiv \lnot p \lor p \equiv T$$

share|cite|improve this answer
Thanks very much – bosra Jan 17 '13 at 17:32
You're welcome: everything else looks good; just be sure to include your "justifications" for each step (DeMorgan's Law, etc.) in your final proof. – amWhy Jan 17 '13 at 17:44
Will do thanks.. – bosra Jan 17 '13 at 17:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.