Meaning of this statement (logic)

  • Thread starter Thread starter autodidude
  • Start date Start date
  • Tags Tags
    Logic
autodidude
Messages
332
Reaction score
0
This is from Velleman's 'How To Prove It' book (not homework! Reading through it myself)

Let S stand for the statement 'Steve is happy' and G for 'George is happy'. What English sentences are represented by the following:

a) [S ⋁ (G ⋀ ¬S)] ⋁ ¬G

I interpret it as saying 'either Steve is happy or George is happy and Steve is unhappy, or George is unhappy'.

But I'm more interested what it actually means...

...if George is NOT unhappy, meaning he IS happy, then Steve is unhappy. If he is not unhappy, can Steve be happy? Does 'Steve is happy' alone imply that George is also happy? Or can we not say anything about that?
 
Physics news on Phys.org
hi autodidude! :smile:
autodidude said:
a) [S ⋁ (G ⋀ ¬S)] ⋁ ¬G

either draw a venn diagram, or use the distributive law :wink:
 
autodidude said:
This is from Velleman's 'How To Prove It' book (not homework! Reading through it myself)

Let S stand for the statement 'Steve is happy' and G for 'George is happy'. What English sentences are represented by the following:

a) [S ⋁ (G ⋀ ¬S)] ⋁ ¬G

I interpret it as saying 'either Steve is happy or George is happy and Steve is unhappy, or George is unhappy'.

But I'm more interested what it actually means...

...if George is NOT unhappy, meaning he IS happy, then Steve is unhappy. If he is not unhappy, can Steve be happy? Does 'Steve is happy' alone imply that George is also happy? Or can we not say anything about that?



The statement in (a) is a tautology as its true-false table gets only true values. Thus, we could perhaps

translate it into common language as Steven is happy or not, George is happy or not...

DonAntonio
 

Thread 'Here's a Statistics problem for game of Polo (or Hockey if you like)'

Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
View full post »

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »

Similar threads

B Traditional logic and its usefulness in the past
Replies
21
Views
2K
I On the meaning of logical implication within specific context/models
Replies
22
Views
3K
Tell if this Argument is valid (Propositional Logic)?
Replies
1
Views
3K
B Trying to Understand George Boole's "Laws of Thought"
Replies
5
Views
2K
Physics Unsure of my future in physics
Replies
2
Views
2K
I Question regarding quantifier statement
Replies
10
Views
1K
I Negation of statement involving cardinalities
Replies
10
Views
2K
How to motivate ‘unless’ = ‘if not’, with etymology?
Replies
7
Views
3K
I The truth value of ##P(x)## → ##Q(x)##
Replies
16
Views
3K
Arguments in sentential logic and contradictions/tautologies.
Replies
7
Views
7K

Hot Threads

Recent Insights

Back
Top