this is a mixed hypothetical statement.
there are 4 forms, 2 are valid 2 are not.
let the antecedent of the first statement be t, and consequent be e.
~p = not p
thus we get
t } e
~e
:; ~t
This is modus tollens literally the way that denies by denying, which is a valid argument.
Determine whether the following argument is correct. If it's not correct, explain what is wrong with ther argument and change the minor premise to make a correct argument.
If a triangle is equilateral, then it has three equal sides. Triangle ABC doesn't have three equal sides. Therefore, triangle ABC isn't equilateral.
2 answers
Sounds like a logical argument.