Did I correctly translate the premises?

Question

Premises: A car in the garage has an engine problem and Every car in the garage has been sold.
Conclusion: A car has been sold has an engine problem.

Are my premises and proof correct?

Because it is correct $\exists x (Px \land Qx)$. See Restricted quantifier — Mauro ALLEGRANZA, Oct 04 '21 at 07:36

ryang · Accepted Answer · 2021-10-04T10:16:16.880

1

The second premise ought to instead be: $$\forall x(P(x)\to R(x)).$$

This Answer explains why $∃x(P(x)∧Q(x)),$ yet $∀x(P(x)→R(x)).$

edited Oct 04 '21 at 10:16

answered Oct 04 '21 at 06:59

ryang

38,879
14
81
179

Did I correctly translate the premises?

1 Answers1