Will "All A is B" always imply "If A then B?"
If so, can we say that the following follows the form of Modus Ponens?
All dogs are mammals.
Toby is a dog.
So, Toby is a mammal.
Can I rewrite the above to be:
If it is a dog, it is a mammal.
Toby is a dog.
So, Toby is a mammal.
When I rewrote it, it seems to follow the textbook definition of Modus Ponens, but I was wondering if it was ok to classify the original one as Modus Ponens as well. I have only very recently started studying philosophy, so I apologize if my terminology is incorrect/making some very fundamental misunderstandings.