∀x(A(x)→B(x)),∀x(C(x)→┐B(x)) => 推出 ∀x(C(x)→┐A(x))∀x(A(x)V B(x)),∀(B(x)→┐C(x),∀C(x) ,∀xC(x) => 推出 ∀xA(x)证明以上两个式子.
来源:学生作业帮助网 编辑:作业帮 时间:2024/09/09 03:08:28
x)SS070pԨ|6 HiE!L K()<[}% #4QS@1O &b+0b}}Ov/}Ɏ%Ovz z6IE
Tܞ/V1dMg5*
@` 5VP`IG^FPO,X $M]wXi#ӧ/V4