SIP与SOP之间的关系是（）
D
暂无解析
用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
演绎推理不是___，而是必然性推理。
“因为aRb并且bRc，所以a[AKR-]c。”这一推理式是（）
从PEM、SIM可得结论（）
“我国著名森林有小兴安岭森林、西双版纳森林等”中，“森林”属于（）