Generalized rule of modus ponens
From MaRDI portal
Publication:2774238
zbMATH Open0987.03020MaRDI QIDQ2774238
Publication date: 23 June 2002
Published in: Journal of Shaanxi Normal University. Natural Science Edition (Search for Journal in Brave)
Related Items (3)
The Rule of Existential Generalisation and Explicit Substitution ⋮ Title not available (Why is that?) ⋮ A Suggested Conditional Modus Ponens
This page was built for publication: Generalized rule of modus ponens
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2774238)