以下哪个蕴涵与蕴涵 ¬r→s 等价?
A. ¬s→r
B. ¬s→¬r
C. r→¬s
D. s→¬r
令 I 表示“Lois 工作晚了”,令 j 表示“John工作晚了“,令 e 表示“他们在家吃饭”,则命题“若 Lois 或 John 没有工作晚,则他们在家吃饭。”的逻辑表达式是:
A. ¬(I∨j)→e
B. (¬I∧¬j)→e
C. ¬(I∧j)→e
D. e→(¬I∧¬j)
设有命题变量:m 表示“你是团队的一员”、t 表示“你上了下午的课”,用中文表达复合命题m→¬t
A. 你是团队的一员,仅当你上了下午的课
B. 你是团队的一员,仅当你没上下午的课
C. 如果你不上下午的课,那么你是团队的一员
D. 如果你上了下午的课,那么你是团队中的一员