假言/联言、选言/直言、模态命题

——新版系统课（先赞后看，三连也行）