Usuario:Juandavid/Tabla de equivalencias

De Wikilibros, la colección de libros de texto de contenido libre.

TABLA DE EQUIVALENCIAS[editar]

1)SbxA(x)≡A(b)

2)SxyA(x)≡A(y) sustituir yx

3)∀xA(x)≡SyxA(x)=∀yA(y)

4)∃xA(x)≡SyxA(x)=∃yA(y)

5)∀xA(x)≡∀xA(x)∧Saxa(x)

6)∃xA(x)≡∃A(x)∨Saxa(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)∀xy(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