https://gatorway.site/essay-letter/critical-insight/attachment/modus_ponens_logical_form