Related Questions

From which rule does the modus ponens are derived?
Which is a lifted version of modus ponens?
What is meant by generalized in statement “backpropagation is a generalized delta rule” ?