809 views
0 votes
0 votes

Every student in this class has studied calculus
If S(x) represents the statement that person x is in this class, C(x) which is the statement “x has studied calculus.”
we see that our statement can beexpressed as

x(S(x) C(x) )

Some student in this class has visited Mexico

M(x), which is the statement “x has visited Mexico.” S(x) to represent “x is a student in this class.” 

x(S(x) M(x))

In 1st example Implication is taken  Why in 2nd Example and is taken 

why not S(x) ->M(x)

 

3 Answers

0 votes
0 votes

For the second Statement  ∃x(S(x) M(x))  the student has to be in the class and has visited Mexico. Since ∃x is used, the result turns out to be true even if one student has visited Mexico. Suppose the student is not in the class then also the result turns out to be true if x (S(x) ->M(x)).

0 votes
0 votes

If you will replace ^ symbol with -> in 2nd example, you will found out like ∃x(S(x) -> M(x)) which means there exist a student,if student belong to the class then it must have visited Mexico, this is wrong actually , we should go like this, "There exist a student(some student /at least one or more) who belong to the class and he has visited Mexico" so it will go like this as x(S(x) ∧ M(x))

0 votes
0 votes
in second statement x refers to domain of only students it is true only for domain of students however for first domain is not specified so it is true for those who are not student of the class i hope this clearly demarks the difference between the two

Related questions

0 votes
0 votes
0 answers
1
0 votes
0 votes
1 answer
2
Çșȇ ʛấẗẻ asked Mar 20, 2023
369 views
how to write if and only if symbolic form explain in detail????
0 votes
0 votes
0 answers
3
curious mind asked Jan 1, 2023
310 views
A relation R1 : aRb iff (a congruent b) modulo 5 and relation R2 : aRb iff (a congruent b modulo 7). What will be R1 U R2 ?
1 votes
1 votes
1 answer
4
dutta18 asked Dec 9, 2022
347 views
How to do this Boolean multiplication? And which Boolean law is applicable here ?( P' + Q ) ( Q' + P )