杭州紫金港培训学校(紫金港专升本)杭州紫金港培训学校(紫金港专升本)
同等学力申硕学科综合(计算机科学与技术)

要证明 A1, A2 \Rightarrow C \to B,用附加前提证明法时…

第 6 题单选题模拟题较易

要证明 A1,A2⇒C→BA_1, A_2 \Rightarrow C \to BA1​,A2​⇒C→B,用附加前提证明法时,正确的做法是( )

推理规则析取范式与合取范式主析取范式主合取范式归结推理命题逻辑公理系统
回到课节:第 3 节 命题逻辑:主范式与推理演算
我要提问免费报名咨询