Usuario:Juandavid/Tabla de equivalencias

TABLA DE EQUIVALENCIAS

1)S_b^xA(x)≡A(b)

2)S^x_yA(x)≡A(y) sustituir y ∗x

3)∀xA(x)≡S_y^xA(x)=∀yA(y)

4)∃xA(x)≡S_y^xA(x)=∃yA(y)

5)∀xA(x)≡∀xA(x)∧S_a^xa(x)

6)∃xA(x)≡∃A(x)∨S_a^xa(x)

7)∀x(A(x)∧B(x))≡∀xA(x)∧∀xB(x)

8)∃x[Ax∨Bx]≡∃xA(x)∨∃xB(x)

9)∀x(A(x)∨B)≡∀xA((x)∨∀xB)

10)∃x(A(x)∧B)≡∃xAx∧B

11)∀x∀y(Ax,y)≡∀y∀xA(x,y)

12)∃x∃yA(x,y)≡∃y∃xA(x,y)

13)¬∀xA(x)≡∃x¬A(x)

14)¬∃xA(x)≡∀x¬A(x)

15)∀xA≡A no depende de x

16)∃xA≡A

17)∀xA(x)∨∀xB(x)⇒∀x(A(x)∨B(x))

18)∃x(A(x)∧B(x))⇒∃xA(x)∧∃xB(x)rangleF