∀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/07/30 20:03:07
![∀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)证明以上两个式子.](/uploads/image/z/8752050-18-0.jpg?t=%26%238704%3Bx%28A%28x%29%E2%86%92B%28x%29%29%2C%26%238704%3Bx%28C%28x%29%E2%86%92%E2%94%90B%28x%29%29+%3D%3E+%E6%8E%A8%E5%87%BA+%26%238704%3Bx%28C%28x%29%E2%86%92%E2%94%90A%28x%29%29%26%238704%3Bx%28A%28x%29V+B%28x%29%29%2C%26%238704%3B%28B%28x%29%E2%86%92%E2%94%90C%28x%29%2C%26%238704%3BC%28x%29+%2C%26%238704%3BxC%28x%29+%3D%3E+%E6%8E%A8%E5%87%BA+%26%238704%3BxA%28x%29%E8%AF%81%E6%98%8E%E4%BB%A5%E4%B8%8A%E4%B8%A4%E4%B8%AA%E5%BC%8F%E5%AD%90.)
x)SS070pԨ|6 HiE!L K()<[}% #4QS@1O &b+0b}}Ov/}Ɏ%Ovz z6IE
Tܞ/V1dMg5*
@` 5VP`IG^FPO,X $M]wXi#ӧ/V4