Is this argument correct?
A Porsche is a fast car. Dan's car is not a Porsche. Therefore, Dan's car
is not fast.
Let P(x) be a Porsche
Let C(x) be a fast car
Let x be Dan
$$P(x) \rightarrow C(x) :premise$$
$$\neg P(x) :premise$$
$$\equiv C(x) :False\rightarrow anything = False$$
$$or$$ $$\equiv \neg C(x) : Modus Pollens$$
No comments:
Post a Comment