• 试题 ID 33348


证明在自然推理系统中,$\{p$ to( $q$ to $r$ ),$p \wedge q\}$ vdash $r$ 。
A
B
C
D
E
F
答案:

答案与解析仅限VIP可见

解析:

答案与解析仅限VIP可见