The difference between "if" and "and" in symbolic logic Let M(x,y) be “x has sent y an e-mail messa

Jayla Christensen

Jayla Christensen

Answered question

2022-06-14

The difference between "if" and "and" in symbolic logic
Let M(x,y) be “x has sent y an e-mail message” and T(x,y) be “x has telephoned y,” where the domain consists of all students in your class. Assume that all e-mail messages that were sent are received. Use quantifiers to express each of these statements.
1. There is a student in your class who has not received an e-mail message from anyone else in the class and who has not been called by any other student in the class.
2. Every student in the class has either received an email message or received a telephone call from another student in the class.
The answer in book for 1 is:
x y ( x y ( ¬ M ( y , x ) ¬ T ( y , x ) ) )
and the answer for 2 is:
x ( y ( x y ( M ( y , x ) T ( y , x ) ) ) ) .
My problem is with parts x y
and x y ..
When should I use "→" or "∧" after x y ? I don't understand the difference in their literature in the question. When I want to use "if" in any other question, the answer is "and" and vice versa.

Answer & Explanation

EreneDreaceaw

EreneDreaceaw

Beginner2022-06-15Added 20 answers

Step 1
“There is a student who is furry and violet and handsome” is a simple statement of three properties of a particular existent (albeit unnamed) student s ( F s ( V s H s ) ) ;
because there is nothing hypothetical or conditional about this statement (the student's colour and looks are not dependent on their furriness), replacing the first ∧ with → will muck up the translation.
“Every furry student is violet and handsome”, on the other hand, states that if a student is furry, then they must also be violet and handsome s ( F s ( V s H s ) ) ; notice that the statement makes no claim about non-furry students, or that furry students even exist. If → is replaced with ∧, the meaning will become “Every student is furry and violet and handsome”.
Step 2
In your second exercise x y ( x y ( M ( y , x ) T ( y , x ) ) ) ,, we are merely exhibiting two properties of y (who is claimed to exist), the first property being that y is distinct from x.
In your first exercise x y ( x y ( ¬ M ( y , x ) ¬ T ( y , x ) ) ) ,, we are exhibiting a property of y for the case where y is distinct from x. Changing the → to ∧ will, by additionally asserting that no student ever emails or calls themself, result in a stronger statement than was given.
Kapalci

Kapalci

Beginner2022-06-16Added 9 answers

Step 1
Suppose we have a property P.
- When P to hold somewhere, we translate it as ( y ) P ( y ).
If we want to exclude a group G of people, we can leave ( y ) P ( y ) alone…but then the risk is that someone in G will satisfy P and make our statement spuriously true. (You can check that, on the other hand, someone in G failing P is irrelevant.)
The condition ( y G ) P ( y ) does not suffer from that problem: in G, it is always false, so the existential will only be satisfied outside of G. In (2), we want M ( y , x ) T ( y , x ) to hold for some y…except our original student x. So G = { x } and y G y x.
Thus we write ( y x ) ( M ( y , x ) T ( y , x ) )
Step 2
When we want P to hold for everyone, we translate it as ( y ) P ( y ).
To exclude a group G of people, here the risk is that someone in G will fail P and force our statement false. The condition P ( y ) ( y G ) does not suffer from that problem: in G, it is always true; outside, it still requires P.
In (1),G is the same as (2), but now P ( y ) = ¬ M ( y , x ) ¬ T ( y , x ). So we write ( y = x ) ( ¬ M ( y , x ) T ( y , 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?