What is the proper way to write this statement mathematically? "All people are smokers or non-smokers but not both." H=humans, S=smoker, NS=non-smoker

Raegan Bray 2022-07-15 Answered
Properly Translate Propositional Statement to Discrete Math
What is the proper way to write this statement mathematically? "All people are smokers or non-smokers but not both."
H = h u m a n s , S = s m o k e r , N S = n o n s m o k e r
You can still ask an expert for help

Want to know more about Discrete math?

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question

Answers (1)

Seromaniaru
Answered 2022-07-16 Author has 12 answers
Step 1
How do you represent the "not both" part? You don't. In the statement you wrote, x could be both S and NS and it would be true. You need this addition:
x H : ( x S x N S ) ¬ ( x S x N S )
Step 2
The confusing thing with this problem is that "smoker" and "non-smoker" are mutually exclusive sets in natural language. They are also mutually exclusive in math if you define NS as ¬ S, which would be an intuitive and absolutely correct thing to do in a different context. But in the context of this problem, we do not have this definition explicitly. In fact, because the problem explicitly says "but not both" we are guided to choose S and NS as two distinct sets, as you have done.
Did you like this example?
Subscribe for all access

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

You might be interested in

asked 2021-08-15
How many elements are in the set { 0, { { 0 } }?
asked 2020-11-09
Use proof by Contradiction to prove that the sum of an irrational number and a rational number is irrational.
asked 2021-07-28

Let A, B, and C be sets. Show that (AB)C=(AC)(BC)
image

asked 2021-08-18

Discrete Mathematics Basics

1) Find out if the relation R is transitive, symmetric, antisymmetric, or reflexive on the set of all web pages.where (a,b)R if and only if 
I)Web page a has been accessed by everyone who has also accessed Web page b.
II) Both Web page a and Web page b lack any shared links.
III) Web pages a and b both have at least one shared link.

asked 2022-07-18
Al has 75 days to master discrete mathematics. He decides to study at least one hour every day, but no more than a total of 125 hours. Assume Al always studies in one hour units. Show there must be a sequence of consecutive days during which he studies exactly 24 hours.
asked 2022-07-02
Let G be a connected graph and suppose that f : V ( G ) Z is a function with the property that f ( u ) + f ( v ) 0 mod 3 for every edge uv. To prove that if G is not bipartite, then f ( v ) 0 mod 3 for all v V ( G )
asked 2022-05-14
Prove that if A B, and A is uncountable, then B is uncountable"
I think that for an answer we could reason with cardinality as follows Suppose that B is countable, then B ∣≤∣ N .
But if A B, then | A | | B | | N that is untrue if A is uncountable, since any uncountable set should have higher cardinality then natural numbers.

New questions

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question