EasyChair Smart Slide
Validity Under Assumptions and Modus Ponens
Validity Under Assumptions and Modus Ponens