Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Inference rules for propositional logic apply to propositional logic as well
Modus Ponens, Modus tollens etc.
New (sound) inference rules for use with quantifiers:
Modus Ponens, Modus Tollens
Generalized Modus Ponens (GMP)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License