# Question on Predicate Logic "If Then" and "x if y" Here is the question I have: “There exists a res

Question on Predicate Logic "If Then" and "x if y"
Here is the question I have: “There exists a restaurant that, if it is midnight, then this restaurant would not be open.” and “Not all restaurant are open if it is midnight.” Assume the set of all restaurant as the universe of discourse.
I assume P(x) is the case that the restaurant will not be open and A is the event that it is midnight.
And I got $\exists x\left(A\to P\left(x\right)\right)$ for both sentences. Is there anything I did wrong? Since the question assumes there will be two individual answers for the statements, and have a sub-question requiring me to prove these two logic notation to be logically equivalent.
You can still ask an expert for help

## Want to know more about Discrete math?

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

Nirdaciw3
Step 1
And i got $"\exists x\left(A\to P\left(x\right)\right)"$ for both sentence, Is there anything i did wrong?
The first statement reads: “There exists a restaurant that, if it is midnight, then that restaurant would not open” which is indeed .
Step 2
The second statement reads: “Not all restaurant open if it is midnight” which is also "If it is midnight, then not all restaurants open," which is slightly different. The immediate translation is:
Those are the distinct answers you were expected to obtain first, and then you may show equivalence by applying rules of equivalence.
###### Did you like this example?
kramberol
Step 1
You are correct.
The second sentence literally says
$A\to \mathrm{¬}\mathrm{\forall }x\mathrm{¬}P\left(x\right),$,
which is logically equivalent to
$A\to \mathrm{\exists }xP\left(x\right),$
Step 2
which is logically equivalent to
$\mathrm{\exists }x\phantom{\rule{thickmathspace}{0ex}}\left(A\to P\left(x\right)\right),$,
which is literally what the first sentence says.