i'm supposed to prove (p → q) ∧ (¬p → r) ⇒ (q ∨ r) with a truth table and im stuck. i've created most of the truth table by hand. but i do no know how to prove or disprove it.

any help is much appreciated.

Printable View

- May 14th 2012, 08:59 PMnehal234propositional logic: prove or disprove
i'm supposed to prove (p → q) ∧ (¬p → r) ⇒ (q ∨ r) with a truth table and im stuck. i've created most of the truth table by hand. but i do no know how to prove or disprove it.

any help is much appreciated. - May 14th 2012, 10:17 PMSorobanRe: propositional logic: prove or disprove
Hello, nehal234!

I don't understand your difficulty.

Quote:

i'm supposed to prove (p → q) ∧ (¬p → r) ⇒ (q ∨ r) with a truth table and im stuck.

i've created most of the truth table by hand. . Most if it? . . . What does that mean?

But i do no know how to prove or disprove it. . Do you understand what a truth table does?

- May 15th 2012, 12:05 AMnehal234Re: propositional logic: prove or disprove
i see how you have used ⇒ and → to be the same. this makes it clear for me.

thanks