1. ## very quick question

P(x): x car is convertible.
Q(x): x car is fun to drive.

for this statement: "A convertible car is fun to drive"

which one is correct: $\forall x(P(x) \rightarrow Q(x))$ OR $\exists x(P(x) \wedge Q(x))$ and why?

Thanks

2. Originally Posted by zpwnchen
P(x): x car is convertible.
Q(x): x car is fun to drive.
for this statement: "A convertible car is fun to drive"
which one is correct: $\forall x(P(x) \rightarrow Q(x))$ OR $\exists x(P(x) \wedge Q(x))$
$\forall x(P(x) \rightarrow Q(x))$
"A convertible car is fun to drive" is a universal statement.
Therefore, it is a hypothetical.

3. Thank you