用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。
答：由上表可知， ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
下列有关审计独立性的说法中，体现审计工作上的独立性的有()。
矩阵组织形式的主要特点有()。
局部审计的优点有()。
按审计的主体，可将审计分为()。
下列关于内部控制测试的说法中，准确的有()。
