Discrete Math: Proving something is logically equivalent

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 11K views
sjung915
Messages
4
Reaction score
0

Homework Statement


Show that (p ∧ q) → r and (p → r) ∧ (q → r) are not
logically equivalent.


Homework Equations


a → b = [itex]\neg[/itex]a v b



The Attempt at a Solution


I'm sorry. I'm completely stumped on how to go about this problem. I'm not asking for the solution since I want to know how to do this instead of just getting the answer. Any help would be appreciated. Thank you.
Here is what I had just so no one thinks I didn't try.

(p ∧ q) → r
=> [itex]\neg[/itex] ( p [itex]\wedge[/itex] q ) [itex]\vee[/itex] r
=> ([itex]\neg[/itex]p [itex]\wedge[/itex] [itex]\neg[/itex]q ) [itex]\vee[/itex] r
=> (switched it around) r [itex]\vee[/itex] ([itex]\neg[/itex]p [itex]\wedge[/itex] [itex]\neg[/itex]q )
=> (distributed) (r [itex]\vee[/itex] [itex]\neg[/itex]p ) [itex]\wedge[/itex] ( r v [itex]\neg[/itex] q)
=> ([itex]\neg[/itex]p v r ) [itex]\wedge[/itex] ([itex]\neg[/itex]q v r )
=> (p -> r ) [itex]\wedge[/itex] (q -> r)

It said disprove but somehow I'm getting that they are L.E.
 
Last edited:
Physics news on Phys.org
If you want to prove they are not equivalent then just figure out how you can assign true and false values to p, q and r so that the two sides give you different values.
 
Dick said:
If you want to prove they are not equivalent then just figure out how you can assign true and false values to p, q and r so that the two sides give you different values.

That makes sense. Here is what I got, please correct me if I'm wrong.

Let
p = true
q = false
r = false
then (p ∧ q) → r is true.
and (p → r) ∧ (q → r) is false.
Hence it's not L.E.

Any mistakes?
 
sjung915 said:
That makes sense. Here is what I got, please correct me if I'm wrong.

Let
p = true
q = false
r = false
then (p ∧ q) → r is true.
and (p → r) ∧ (q → r) is false.
Hence it's not L.E.

Any mistakes?

Looks ok to me. true → false is false. false → false is true.
 
Last edited:
As far as the original logic goes...

sjung915 said:
=> [itex]\neg[/itex] ( p [itex]\wedge[/itex] q ) [itex]\vee[/itex] r
=> ([itex]\neg[/itex]p [itex]\wedge[/itex] [itex]\neg[/itex]q ) [itex]\vee[/itex] r

Your problem is here.
not (p and q) = (not p OR not q)