Wat is het verschil tussen modus ponens en modus tollens (deductieve redeneervormen? En het verschil tussen progressief en regressief redeneren?

- Modus ponens: propositie is als P dan Q, assumptie is P, conclusie is Q. - Modus tollens: propositie is als P dan Q, assumptie is niet Q, conclusie is niet P. - Progressief: van premissen naar de conclusie. - Regressief: van assumptie en beslissing naar regel.