The variable x represents students, F(x) means "x is a freshman", and M(x) means "x is a math major" a) some freshme are math majors? exists x:F(x) Rightarrow M(x). b) Every math major is a freshman? forall x:M(x) Rightarrow M(x). c) No math major is a freshman? ¬ forall x:M(x) Rightarrow F(x)

asigurato7

asigurato7

Answered question

2022-07-16

Writing statements into symbols Discrete Math.
The variable x represents students, F(x) means "x is a freshman", and M(x) means "x is a math major"
a) some freshme are math majors? x : F ( x ) M ( x )
b) Every math major is a freshman? x : M ( x ) M ( x )
c) No math major is a freshman? ¬ x : M ( x ) F ( x )

Answer & Explanation

Kitamiliseakekw

Kitamiliseakekw

Beginner2022-07-17Added 23 answers

Step 1
(a) Some freshmen are math majors ∼ There exist x such that (x is a Freshman and x is a math major): F ( F ( x ) M ( x ) )
Step 2
(b) Every math major is a freshman. ∼ For all x (if x is a math major, then x is a Freshman.) x ( M ( x ) F ( x ) )
Step 3
(c): No math major is a freshman. ∼ There does not exist an x such that (x is a math major and x is a freshman).
¬ x ( M ( x ) F ( x ) ) x ( ¬ M ( x ) ¬ F ( x ) ) x ( M ( x ) ¬ F ( x ) )

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?