数学 选择题 标准 ★ 精品

命题符号化与真值表 — 数学选择题

离散数学(计算机类) 命题逻辑 AI 三重审校通过

题目
设 p:系统重启,q:程序报错。将命题“除非系统重启,程序才报错”符号化,并判断该公式在赋值 p=F、q=T 下的真值。下列说法正确的是( ) A. 符号化为 q→p,在 p=F、q=T 时该公式为假 B. 符号化为 q→p,在 p=F、q=T 时该公式为真 C. 符号化为 p→q,在 p=F、q=T 时该公式为假 D. 符号化为 ¬p→¬q,在 p=F、q=T 时该公式为假