???????? ????????????? ???????? — ???????? ???????? _en ????????? ?????????? ????????, ???????????? ?????????????.

????????, ?????????? ????, ??? ????:

?????? ???? ?????? ??? ????

??, ?? ?????, ????????? ???????, ???:

??? ???? ?????? ??? ??????? ?????? ????

????????? ???????????? ?????? ????????? ????? ?????? ???? ??????????? : «??? As ???????? Bs», «?? ???? As ?? ???????? Bs», «????????? As ???????? Bs» ? «????????? As ?? ???????? Bs».

?????? ??? ???????????? ????? ??????????? ? ????? ???????????? ????????? . ????????? ??? ??????????? ???? ??????????? ???????? ?? ??? ???????? («?????????» ? «??????» ? ?????? ??????????? ? «???» ? «???? ?? ????» ?? ??????), ??? ?? ????? ???? ????????? ???????????? ? ????? ?????????? ???????????? ??????.

??????, ??? ????? ??????? ???????????? ?????? — ???????? ?????? ??????? ?? ??????? ??????????? ?? ?????? ??????, ? ?????????? ???? ?????????? ???????????? ???????? ??????? «??????-??????-????» ? «??????-??-??????? ????-??????-????». ???, ?? ????, ???????? ????????, ??????? ?????????? ??? ?????????????? ??????, ?????? ????????, ?????????? ????? ?????. ????? ???????, ??????????? «??????-?? ???? ?????? ?????? ????» ???????? ?? ?? ?????????? ????? , ??? ? ??????????? «?????-?? ??? ???????» ? ???????? ?????:

????????? As ???????? Bs

??? Cs ???????? Ds

??? ???? ?? ????????????? ????????????????.

?????? ?????????? ???????????, ????????? ???????? ? ?????? ???????????????, ???? «?????????? ???????» ( ) ???????? ????? (1879 ?.). ??? ?????????? ????????????? ??????????? ?????? ??????? ???????, ? ??????? ?????????????? ??????????????? ? ??????? ?????????? ??????????. ????? ????????? ????????? ? ????, ??? ??? ?????? ???? ????? ?????????????, ??? ???????????? ?????????? ??????????, ??????, ?????? ??????, ???????????? ??????? ?????, ??????? ?????? «?????????? ???????» ????? ?? ??? ????????? ??????????.

????????? ??????????? ?????????? ?????????? , ????? ?????? ??????????, ??? ????????? ??????????? ???????? ?????????????:

??????-?? ???? ?????? ?????? ????

????? ????????, ??? «?????? ???? ?????? ??????-?? ????». ?? ????

??? ?????? ???? «m» ?????????? ??? «c», ?????, ??? «m» ?????? «c»,

${\displaystyle \forall m\,(\,{\text{????}}(m)\rightarrow \exists c\,({\text{???}}(c)\land {\text{??????}}(m,c))\,)}$

? ???? ?????? ??????????.

?? ?? ?? ????? ??????????? ????? ????????, ??? ?????????? ?????-?? ???, «???????? ?????? ??? ????»:

?????????? ??? «c», ?????, ??? ??? ?????? ???? «m», «m» ?????? «c».

${\displaystyle \exists c\,(\,{\text{???}}(c)\land \forall m\,({\text{????}}(m)\rightarrow {\text{??????}}(m,c))\,)}$

???? ?????? ???????? ????????????? ???????? ????????? ??????? ?????????? ????????? ????????????? ? ??????????? .

??????????

• Suppes, Patrick. . — D. Van Nostrand, 1957. — ISBN 978-0-442-08072-3 .
• Hamilton, A. G. . — Cambridge University Press, 1978. — ISBN 0-521-29291-3 .
• Halmos, Paul. Logic as Algebra / Paul Halmos, Steven Givant. — MAA, 1998. — ISBN 0-88385-327-2 .