查看原题
证明在自然推理系统中,$\{p$ to( $q$ to $r$ ),$p \wedge q\}$ vdash $r$ 。
                        
不再提醒