Start a new topic
Add Reply
Hi I have just started learning discrete structures, propositional and predicate logic
I have no idea where to start on this problem.
Prove (b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J) and then
(b(3)=J -> b(1)=S ^ b(2)=C) ^ (b(3)=C -> b(1)=J ^ b(2)=S)
Any hints on where to start would be much appreciated!!
THANKS
Discrete structures - logic problem
Page 1 of 1
Discrete structures - logic problem
#1
swimchelle
- New D.I.C Head
-
- Group: New Members
- Posts: 1
- Joined: 24-September 08
Dream Kudos: 0
Posted 25 May 2009 - 12:31 AM
Was This Post Helpful?
0
MultiQuote
#2
IngeniousHax
- |>|20-514<|{3|2
-
- Group: Members
- Posts: 701
- Joined: 28-March 09
Dream Kudos: 0
Posted 25 May 2009 - 09:48 AM
Do you have values for b? or is that all the information you have?
Was This Post Helpful?
0
#3
Dantheman
- D.I.C Regular
-
- Group: Members
- Posts: 445
- Joined: 27-May 09
Dream Kudos: 0
Posted 28 May 2009 - 03:28 PM
swimchelle, on 25 May, 2009 - 12:31 AM, said:
Hi I have just started learning discrete structures, propositional and predicate logic
I have no idea where to start on this problem.
Prove (b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J) and then
(b(3)=J -> b(1)=S ^ b(2)=C) ^ (b(3)=C -> b(1)=J ^ b(2)=S)
Any hints on where to start would be much appreciated!!
THANKS
I have no idea where to start on this problem.
Prove (b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J) and then
(b(3)=J -> b(1)=S ^ b(2)=C) ^ (b(3)=C -> b(1)=J ^ b(2)=S)
Any hints on where to start would be much appreciated!!
THANKS
I have a good understanding of propositional logic (studied it in Discrete Math, Mathematical Logic, and Logic classes), but I have no idea what you wrote. I understand that
^ is a conjunction
v is a disjunction
-> is implication
= is equivalence
but everything else makes absolutely no sense. For example what is b(2) supposed to mean?
Was This Post Helpful?
0
#4
JayFCox
- New D.I.C Head
-
- Group: Members
- Posts: 41
- Joined: 31-May 09
Dream Kudos: 0
Posted 31 May 2009 - 10:42 AM
Dantheman, on 28 May, 2009 - 03:28 PM, said:
swimchelle, on 25 May, 2009 - 12:31 AM, said:
Hi I have just started learning discrete structures, propositional and predicate logic
I have no idea where to start on this problem.
Prove (b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J) and then
(b(3)=J -> b(1)=S ^ b(2)=C) ^ (b(3)=C -> b(1)=J ^ b(2)=S)
Any hints on where to start would be much appreciated!!
THANKS
I have no idea where to start on this problem.
Prove (b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J) and then
(b(3)=J -> b(1)=S ^ b(2)=C) ^ (b(3)=C -> b(1)=J ^ b(2)=S)
Any hints on where to start would be much appreciated!!
THANKS
I have a good understanding of propositional logic (studied it in Discrete Math, Mathematical Logic, and Logic classes), but I have no idea what you wrote. I understand that
^ is a conjunction
v is a disjunction
-> is implication
= is equivalence
but everything else makes absolutely no sense. For example what is b(2) supposed to mean?
I think he's slightly misunderstanding the problem.
b(2) doesn't mean anything more than what's stated. b2 either is equal to S or C!
Just take
(b(1)=J ^ b(2)=S ^ b(3)=C) v (b(1) = S ^ b(2)=C ^ b(3)=J)
as "the truth".
So, Either
b(1) is J and b(2) is S and b(3) isC
or
b(1) is S and b(2) is C and b(3) is J
From that, prove
1. if b(1) is J then b(2) is S and b(3) is C
and
2. if b(2) is S then b(2) is C and b(3) is J
Hope this helps,
Jay
Was This Post Helpful?
1
#5
Dantheman
- D.I.C Regular
-
- Group: Members
- Posts: 445
- Joined: 27-May 09
Dream Kudos: 0
Posted 06 June 2009 - 07:58 AM
Oh. Well, in that case I can't see what can be the problem. The question basically gives the answer right away.
Look at the value of b3, then look if it matches any given conditions. Can't get any simpler than that.
Look at the value of b3, then look if it matches any given conditions. Can't get any simpler than that.
Was This Post Helpful?
0
Page 1 of 1
| 
