Question

Hi can you please help me understand how to you standard form or the truth table to see if the argument is valid or invalid

Answer 1

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

`\begin{gathered} P\rightarrow Q \\ \text{ \textasciitilde}Q\text{ } \\ -------- \\ \therefore\text{ \textasciitilde}Q\text{ } \end{gathered}`

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.