Do I Need to Include All Variables in This Boolean Logic Statement?

  • Thread starter Thread starter rokimomi
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary

Discussion Overview

The discussion revolves around the translation of a specific Boolean logic statement derived from a natural language proposition involving conditions related to academic performance. Participants explore whether all components of the statement need to be included and how to accurately represent the logical relationships among the propositions.

Discussion Character

  • Homework-related
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant questions whether the part about doing exercises is necessary, suggesting that the implication p → r might suffice to convey the message.
  • Another participant asserts that the exercise component has a truth value that affects the overall truth of the statement, indicating it should be included.
  • There is a proposal to express the logic as ((p ∧ q) ∨ (p ∧ ¬q)) → r, with a later comment suggesting this might simplify to p → r, potentially losing the nuance of the original statement.
  • One participant expresses a desire to simplify the logic to "if p then q," indicating a possible misunderstanding of the original statement's intent.
  • Another participant reflects on the use of "but" in the original statement, suggesting it may be confusing, but acknowledges that it is standard English usage that conveys a specific logical relationship.
  • There is a consensus among some participants that translating the statement word for word into logic is a valid approach.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of including all variables in the Boolean logic statement. While some argue for the inclusion of all components due to their truth values, others suggest that a simplified version may suffice. The discussion remains unresolved regarding the optimal representation of the original statement.

Contextual Notes

Participants have not reached a consensus on whether the exercise component is essential for the logical representation. The implications of the conjunction "but" and its effect on the logical structure are also debated without a definitive resolution.

rokimomi
Messages
7
Reaction score
0

Homework Statement



let p, q, and r be the following propositions

p: You get an A on the final exam.
q: You do every exercise in this book
r: You get an A in this class

translate: You get an A on the final, but you don't do every exercise in this book; nevertheless, you get an A in this class.

Homework Equations





The Attempt at a Solution



Do I have to include the part about doing exercises at all? Since it's sufficient enough to have p[tex]\rightarrow[/tex]r to convey the message? What I'm worried about is if they want us to include it anyways so someone can go from this logic to English again. How would I include q then?

I would assume that
 
Physics news on Phys.org
Do I have to include the part about doing exercises at all?
Yes, because it has a truth value and therefore affects the truth value of the whole sentence.
But is a conjunction, so logically/grammatically it works the same way as an and.
 
How about ((p[tex]\wedge[/tex]q)[tex]\vee[/tex](p[tex]\wedge[/tex][tex]\neg[/tex]q))[tex]\rightarrow[/tex]r

Is there any way to convey this simpler?
 
rokimomi said:
How about ((p[tex]\wedge[/tex]q)[tex]\vee[/tex](p[tex]\wedge[/tex][tex]\neg[/tex]q))[tex]\rightarrow[/tex]r

Is there any way to convey this simpler?
Using distrbutive properties, you end up with :
(p[tex]\wedge[/tex]([tex]\neg[/tex]q[tex]\vee[/tex]q))[tex]\rightarrow[/tex]r, which is back to p[tex]\rightarrow[/tex]r, which again means a loss of the but clause.
 
Wait, wasn't that my goal though? Something that simplifies to "if p then q".

Hm, I am rereading it again, and I am getting the feeling that I should just word for word put it into logic. So

(p[tex]\wedge[/tex][tex]\neg[/tex]q) [tex]\rightarrow[/tex] r

So is their use of "but" just to confuse me?
 
Last edited:
rokimomi said:
So is their use of "but" just to confuse me?
Probably.

Hm, I am rereading it again, and I am getting the feeling that I should just word for word put it into logic.
That's my usual assumption with these types of problems.
 
Oh wow, I over-read your comment about "but" the first time through. Sorry bout that and thanks for the help.
 
rokimomi said:
Hm, I am rereading it again, and I am getting the feeling that I should just word for word put it into logic. So

(p[tex]\wedge[/tex][tex]\neg[/tex]q) [tex]\rightarrow[/tex] r

Yeah, exactly right.

rokimomi said:
So is their use of "but" just to confuse me?

No, it's standard english. 'But' is the right conjunction to use, because the clause that comes after it is a negative, and tends to have the effect of lessening the impact of the first. It was your job to figure out that this sentence given in proper english is logically equivalent to:

"You get an A in the final exam and you do NOT do every exercise in the book..."

and you did figure it out. If somebody had said either wording to you, you would have understood what he meant.
 

Similar threads

  • · Replies 22 ·
Replies
22
Views
4K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K