Let us first translate the argument to symbolic form. So, let be:
P: The car is a Corvette
Q: The car is fast
~Q: The car is not fast
Then, the argument in the symbolic form will be
[tex]\begin{gathered} P\rightarrow Q \\ \text{ \textasciitilde}Q\text{ } \\ -------- \\ \therefore\text{ \textasciitilde}Q\text{ } \end{gathered}[/tex]
Now, let us see if the argument is valid or invalid.
The argument is in the form of the Modus Tollendo Tollens inference rule.
The modus tollendo tollens is an application of the general truth that, if a statement is valid, so is its counterposition.
Therefore, the argument is valid.
