多项选择题
联言推理分解式可以符号化为()
A.p∧q→pB.(p∧q)∨p→pC.p∧q→qD.(p∧q)∨q→pE.(p∨q)∧q→p
多项选择题 逻辑方法中的扩展性推理包括()
单项选择题 男人和女人,这两个概念外延之间的关系是()
单项选择题 ((p→q)∧¬q)→¬p,这个公式表示的假言推理是()