Usuario:Juandavid/Tabla de equivalencias
Apariencia
TABLA DE EQUIVALENCIAS
[editar]
1)SbxA(x)≡A(b)
2)SxyA(x)≡A(y) sustituir y ∗x
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)∀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