Is modus ponens deductive logic?

Modus Ponens is very simple. lets say you have this example If today is Monday, then tomorrow is Tuesday. Today is Monday Therefore tomorrow is Tuesday. That is a valid argument because of modus...

It is a valid argument form in which: If X, then Y. X. Therefore, Y. Example: If my dog is old, he will die soon. My dog is old. Therefore, he will die soon.

1)p->q2)not p or q 3)p4)not p and p or q5)contrudiction or q6)q

Logic is the science of correct thinking. A classic definition is new and necessary reasoning. It's new because you didn't know the item before, and necessary because a correctly formulated syllogism...