From Wikipedia, the free encyclopedia
This article is within the scope of WikiProject Mathematics mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Mathematics Wikipedia:WikiProject Mathematics Template:WikiProject Mathematics mathematics articles Low This article has been rated as Low-priority on the project's priority scale .
F
S
=
∀
y
∀
z
[
R
(
y
,
f
x
(
y
)
)
∧
¬
S
(
f
x
(
y
)
,
z
)
]
.
{\displaystyle F^{S}=\forall y\forall z[R(y,f_{x}(y))\wedge \neg S(f_{x}(y),z)].}
Step by step:
F
:=
∀
y
∃
x
[
R
(
y
,
x
)
∧
¬
∃
z
S
(
x
,
z
)
]
{\displaystyle F:=\forall y\exists x[R(y,x)\wedge \neg \exists zS(x,z)]}
F
:=
∀
y
∃
x
[
R
(
y
,
x
)
∧
∀
z
¬
S
(
x
,
z
)
]
{\displaystyle F:=\forall y\exists x[R(y,x)\wedge \forall z\neg S(x,z)]}
F
:=
∀
y
∃
x
∀
z
[
R
(
y
,
x
)
∧
¬
S
(
x
,
z
)
]
{\displaystyle F:=\forall y\exists x\forall z[R(y,x)\wedge \neg S(x,z)]}
F
:=
∀
y
∀
z
[
R
(
y
,
f
x
(
y
)
)
∧
¬
S
(
f
x
(
y
)
,
z
)
]
{\displaystyle F:=\forall y\forall z[R(y,f_{x}(y))\wedge \neg S(f_{x}(y),z)]}
79.212.0.144 (talk ) 18:22, 12 April 2016 (UTC) [ reply ]
![{\displaystyle F^{S}=\forall y\forall z[R(y,f_{x}(y))\wedge \neg S(f_{x}(y),z)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03ae9bad424dbb52935cb471d8edf598f0849dd8)
![{\displaystyle F:=\forall y\exists x[R(y,x)\wedge \neg \exists zS(x,z)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d3321fbf9a9a846d204f2c88df22a227925a749)
![{\displaystyle F:=\forall y\exists x[R(y,x)\wedge \forall z\neg S(x,z)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b32475b29128f8e682f726b80e7093121e512e30)
![{\displaystyle F:=\forall y\exists x\forall z[R(y,x)\wedge \neg S(x,z)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b36dba31d29fcab245dcc8510aec2f2ae9559c3)
![{\displaystyle F:=\forall y\forall z[R(y,f_{x}(y))\wedge \neg S(f_{x}(y),z)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee3e27fc2d314796d8f0f58395b1f4ae92d75ea8)