命题符号化与真值表 — 数学选择题
题目
设 p：网络连接正常，q：系统自动更新。将自然语言命题“除非网络连接正常，系统才自动更新”符号化为公式 G，则下列说法正确的是（ ）
A. G 符号化为 ¬p→¬q，且在赋值 p=F、q=T 下 G 的真值为假
B. G 符号化为 p→q，且在赋值 p=F、q=T 下 G 的真值为假
C. G 符号化为 ¬p→¬q，且在赋值 p=F、q=T 下 G 的真值为真
D. G 符号化为 q→p，且在赋值 p=F、q=T 下 G 的真值为真